Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента	368 KB	Adobe Acrobat PDF	Read	Download

Title: Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента
Creator: Куфарева, Ирина Борисовна
|
Тренькаев, Вадим Николаевич
Date: 2003
Description: Рассматривается метод синтеза полных проверяющих тестов для автоматной сети, состоящей из двух компонент: проверяемого автомата и контекстного автомата. Предполагается, что неисправности возможны только в проверяемом автомате. Предлагается метод построения теста, обнаруживающего все неисправности заданного класса. Метод основан на использовании так называемого сетевого эквивалента проверяемой компоненты.