Метод генерации тестовых сценариев в среде инсерционного моделирования

Колчин, А. В.; Котляров, В. П.; Дробинцев, П. Д.


	Наукова періодика України		Control systems & computers

Колчин А. В.
Метод генерации тестовых сценариев в среде инсерционного моделирования / А. В. Колчин, В. П. Котляров, П. Д. Дробинцев // Управляющие системы и машины. - 2012. - № 6. - С. 43-48, 63. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_6

Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.

Повний текст PDF - 695.327 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Колчин А.

Котляров В.

Дробинцев П.

Бібліографічний опис для цитування:

Колчин А. В. Метод генерации тестовых сценариев в среде инсерционного моделирования / А. В. Колчин, В. П. Котляров, П. Д. Дробинцев // Управляющие системы и машины. - 2012. - № 6. - С. 43-48, 63. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_6.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Колчин Олександр Валентинович (фізико-математичні науки)

Котляров Валерій Павлович (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача