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

Detaylı Bibliyografya
Parent link:Технологии Microsoft в теории и практике программирования.— 2012.— [С. 46-48]
Yazar: Зебзеев А. Г. Алексей Григорьевич
Müşterek Yazar: Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра интегрированных компьютерных систем управления (ИКСУ)
Diğer Yazarlar: Журавлев Д. В. Денис Владимирович (научный руководитель), Громаков Е. И. Евгений Иванович
Özet:Заглавие с титульного листа.
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
Dil:Rusça
Baskı/Yayın Bilgisi: 2012
Seri Bilgileri:Автоматизированные системы управления и мехатроника
Konular:
Online Erişim:http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf
Materyal Türü: Elektronik Kitap Bölümü
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147
Diğer Bilgiler
Fiziksel Özellikler:1 файл (505 Кб)
Özet:Заглавие с титульного листа.
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