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