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

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

מידע ביבליוגרפי
Parent link:	Технологии Microsoft в теории и практике программирования.— 2012.— [С. 46-48]
מחבר ראשי:	Зебзеев А. Г. Алексей Григорьевич
מחבר תאגידי:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра интегрированных компьютерных систем управления (ИКСУ)
מחברים אחרים:	Журавлев Д. В. Денис Владимирович (научный руководитель), Громаков Е. И. Евгений Иванович
סיכום:	Заглавие с титульного листа. 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
שפה:	רוסית
יצא לאור:	2012
סדרה:	Автоматизированные системы управления и мехатроника
נושאים:	электронный ресурс труды учёных ТПУ автоматные модели тестирование автоматизированные системы управления АСУ
גישה מקוונת:	http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf
פורמט:	אלקטרוני Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147

אינטרנט

http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf