Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0", Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14

Bibliographic Details
Corporate Author: Национальный исследовательский Томский политехнический университет (ТПУ) Институт электронного обучения (ИнЭО) Кафедра технологий и педагогики электронного обучения (ТПЭО)
Other Authors: Громов М. Л., Дорофеева М. Ю. Маргарита Юрьевна, Евтушенко Н. В., Жигулин М. В., Кушик Н. Г., Шабалдин А. В., Шабалдина Н. В.
Summary:Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Intel Pentium IV.
Язык программирования: C++, среда разработки Visual Studio 2008.
Программа предназначена для синтеза проверяющих тестов для систем, поведение которых описано конечными автоматами, временными автоматами или композициями конечных автоматов.
Language:Russian
Published:
Subjects:
Online Access:http://www1.fips.ru/Archive/EVM/2014/2014.12.20/DOC/RUNW/000/002/014/661/807/document.pdf
Format: Electronic Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641426
Description
Summary:Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Intel Pentium IV.
Язык программирования: C++, среда разработки Visual Studio 2008.
Программа предназначена для синтеза проверяющих тестов для систем, поведение которых описано конечными автоматами, временными автоматами или композициями конечных автоматов.