|
|
|
|
| LEADER |
02124nab a2200313 c 4500 |
| 001 |
koha001002659 |
| 005 |
20230606112126.0 |
| 007 |
cr | |
| 008 |
230530|2003 ru s c rus d |
| 035 |
|
|
|a koha001002659
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Куфарева, Ирина Борисовна
|
| 245 |
1 |
0 |
|a Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента
|c И. Б. Куфарева, В. Н. Тренькаев
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 11 назв.
|
| 520 |
3 |
|
|a Рассматривается метод синтеза полных проверяющих тестов для автоматной сети, состоящей из двух компонент: проверяемого автомата и контекстного автомата. Предполагается, что неисправности возможны только в проверяемом автомате. Предлагается метод построения теста, обнаруживающего все неисправности заданного класса. Метод основан на использовании так называемого сетевого эквивалента проверяемой компоненты.
|
| 653 |
|
|
|a автоматные сети
|
| 653 |
|
|
|a конечные автоматы
|
| 653 |
|
|
|a проверяющие тесты
|
| 653 |
|
|
|a эквивалентность
|
| 653 |
|
|
|a редукция
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Тренькаев, Вадим Николаевич
|
| 773 |
0 |
|
|t Вестник Томского государственного университета
|d 2003
|g № 278. С. 122-128
|x 1561-7793
|w 0065-98160
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001002659
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1002659
|d 1002659
|
