Применение автоматных моделей для тестирования автоматизированных систем управления; Технологии Microsoft в теории и практике программирования

Bibliografiset tiedot
Parent link:Технологии Microsoft в теории и практике программирования.— 2012.— [С. 46-48]
Päätekijä: Зебзеев А. Г. Алексей Григорьевич
Yhteisötekijä: Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра интегрированных компьютерных систем управления (ИКСУ)
Muut tekijät: Журавлев Д. В. Денис Владимирович (научный руководитель), Громаков Е. И. Евгений Иванович
Yhteenveto:Заглавие с титульного листа.
It was shown that it is necessary to test program implementation with the guaranteed fault coverage. It was proposed to use timed finite state machine for program testing
Kieli:venäjä
Julkaistu: 2012
Sarja:Автоматизированные системы управления и мехатроника
Aiheet:
Linkit:http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf
Aineistotyyppi: Elektroninen Kirjan osa
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147