Применение автоматных моделей для тестирования автоматизированных систем управления; Технологии Microsoft в теории и практике программирования
| 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 |
| 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 |