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

Dades bibliogràfiques
Parent link:Технологии Microsoft в теории и практике программирования.— 2012.— [С. 46-48]
Autor principal: Зебзеев А. Г. Алексей Григорьевич
Autor corporatiu: Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра интегрированных компьютерных систем управления (ИКСУ)
Altres autors: Журавлев Д. В. Денис Владимирович (научный руководитель), Громаков Е. И. Евгений Иванович
Sumari:Заглавие с титульного листа.
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
Idioma:rus
Publicat: 2012
Col·lecció:Автоматизированные системы управления и мехатроника
Matèries:
Accés en línia:http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf
Format: MixedMaterials Electrònic Capítol de llibre
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147