Оценка полноты проверки при пассивном тестировании на основе автоматной модели
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 314, № 5: Управление, вычислительная техника и информатика.— 2009.— [С. 225-228] |
|---|---|
| Hovedforfatter: | |
| Andre forfattere: | |
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм расчета полноты проверки системы при пассивном тестировании, основанный на вырезании из мутационного автомата всех переходов, не отвечающих вход-выходной последовательности. Приведены оценки полноты пассивного тестирования протокола Simple Connection для различных длин входных последовательностей. |
| Udgivet: |
2009
|
| Serier: | Управление, вычислительная техника и информатика |
| Fag: | |
| Online adgang: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2009/v314/i5/48.pdf |
| Format: | Electronisk Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=175741 |
| Fysisk beskrivelse: | 1 файл (329 Кб) |
|---|---|
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм расчета полноты проверки системы при пассивном тестировании, основанный на вырезании из мутационного автомата всех переходов, не отвечающих вход-выходной последовательности. Приведены оценки полноты пассивного тестирования протокола Simple Connection для различных длин входных последовательностей. |