Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента
Рассматривается метод синтеза полных проверяющих тестов для автоматной сети, состоящей из двух компонент: проверяемого автомата и контекстного автомата. Предполагается, что неисправности возможны только в проверяемом автомате. Предлагается метод построения теста, обнаруживающего все неисправности за...
| Published in: | Вестник Томского государственного университета № 278. С. 122-128 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001002659 |