Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Methods of traversal of high-level multi-threaded models formalized in the Use Case Map computer language. Advantages and disadvantages of this approach compared to existing ones. Generation character lines that are used to test software systems.
| Рубрика | Программирование, компьютеры и кибернетика |
| Предмет | Software Engineering |
| Вид | статья |
| Язык | английский |
| Прислал(а) | Guba A.A. |
| Дата добавления | 28.02.2016 |
| Размер файла | 385,2 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Аналіз програмного забезпечення для проведення тестування в комп’ютерному класі. УТК (Універсальний тестовий комплекс). Асистент 2. OPEN TEST. Порівняння програм для тестування. Організація інтерактивного тестування за допомогою програми OPEN TEST.
реферат [30,3 K], добавлен 19.09.2008High Level Shader Language как высокоуровневый Си-подобный язык для написания шейдеров. Программа для работы с шейдерами, вид и краткое описание интерфейса. Характеристика особенностей создания трехмерных изображений. Структурные элементы программы.
курсовая работа [485,2 K], добавлен 16.01.2014The material and technological basis of the information society are all sorts of systems based on computers and computer networks, information technology, telecommunication. The task of Ukraine in area of information and communication technologies.
реферат [29,5 K], добавлен 10.05.2011Information security problems of modern computer companies networks. The levels of network security of the company. Methods of protection organization's computer network from unauthorized access from the Internet. Information Security in the Internet.
реферат [20,9 K], добавлен 19.12.2013Сутність та характерні особливості системного програмування. Історія розвитку комп'ютерних ігор. Створення програми, що реалізує гру "Lines" в середовищі С++ за допомогою автоматного підходу, її правила. Розробка і опис структурної і функціональної схем.
курсовая работа [610,4 K], добавлен 12.02.2014Написание игры "Lines" на языке Object Pascal в среде Delphi. Алгоритм работы программы. Описание метода генерации поля. Используемые константы и переменные. Форма приложения после старта игрового процесса. Основные элементы формы и обработки событий.
курсовая работа [225,0 K], добавлен 12.04.2012Виготовлення фотоформ на базі електронного насвітлювального устаткування. Впровадження в поліграфії скорочених технологічних схем. Використання "computer-to-plate" у малій друкарні. Системи управління якістю обробки кольорової графічної інформації.
реферат [1,4 M], добавлен 09.02.2011Системы на основе линейного текста или гипертекста. Формирование требований к электронному учебнику. Подбор теоретического материала с использованием материалов электронной библиотеки и возможностей Интернет. Система тестирования Master test 1.0.
дипломная работа [1,7 M], добавлен 22.09.2014Сравнительный анализ автоматизированных систем и инструментальных компьютерных сред для разработки и проведения тестирования. Возможности офисных программ для компьютерной реализации тестовых заданий. Создание теста в Test Designer и шаблоне Office Word.
курсовая работа [1,7 M], добавлен 26.07.2015Разработка Базы Данных для информационной системы архива. Обоснование выбора Entity-Attribute-Value в качестве метода проектирования БД. Модификация ROT с учетом наследования, модели Тенцера. Процесс генерации таблиц. Тестовые примеры (test cases).
дипломная работа [5,3 M], добавлен 19.01.2014
