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

Bibliografiske detaljer
Parent link:	Технологии Microsoft в теории и практике программирования.— 2012.— [С. 46-48]
Hovedforfatter:	Зебзеев А. Г. Алексей Григорьевич
Institution som forfatter:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра интегрированных компьютерных систем управления (ИКСУ)
Andre forfattere:	Журавлев Д. В. Денис Владимирович (научный руководитель), Громаков Е. И. Евгений Иванович
Summary:	Заглавие с титульного листа. 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
Sprog:	russisk
Udgivet:	2012
Serier:	Автоматизированные системы управления и мехатроника
Fag:	электронный ресурс труды учёных ТПУ автоматные модели тестирование автоматизированные системы управления АСУ
Online adgang:	http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf
Format:	Electronisk Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147

Internet