004.4’24
Метод генерации тестовых сценариев в среде инсерционного моделирования / А. В. Колчин, В. П. Котляров, П. Д. Дробинцев //
УСиМ: Управляющие системы и машины : междунар. науч. журн. - . - N 6. - С. 43-48. - Библиогр. в конце ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/6)
УДК
004.4’24
004.415.5
004.415.28

Ключові слова: тестовый набор -- тестовий набір -- системы верификации -- системи верифікації -- семантическое соответствие -- семантична відповідність -- критерий покрытия -- критерій покриття --
Анотація:
Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.
Описано метод пошуку специфічних поводжень формальних моделей, що використовує задаваемую користувачем додаткову інформацію про поведінкових особливостях проектованої системи, і його застосування до автоматичного побудови тестових сценаріїв для програмних систем.
Додаткові точки доступу: