Наукова періодика України Управляющие системы и машины


Колчин А. В. 
Метод генерации тестовых сценариев в среде инсерционного моделирования / А. В. Колчин, В. П. Котляров, П. Д. Дробинцев // Управляющие системы и машины. - 2012. - № 6. - С. 43-48, 63. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_6
Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.
  Повний текст PDF - 695.327 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Колчин А.
  • Котляров В.
  • Дробинцев П.

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

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

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Колчин Олександр Валентинович (фізико-математичні науки)
  • Котляров Валерій Павлович (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     

       Всі права захищені © Національна бібліотека України імені В. І. Вернадського