Верификация синхронно-автоматных программ
Аннотация
Предлагается синхронная модель автоматной программы. Разработана методика верификации синхронно-автоматных программ. Некоторые свойства проверяются автоматически. Есть возможность проверки пользовательских свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки.
Список литературы
1. Кубасов, С.В. Синхронная модель автоматной программы / С.В. Кубасов, В.А. Соколов // Моделирование и анализ информационных систем. - 2007. - T.14, №1. - С. 11-18.
2. Berry, G. The Esterel v5 Language Primer, version v5_91: Документация к программному обеспечению Esterel Compiler, version 5.91. Ecole des Mines de Paris (EMP), ARMINES, and INRIA / G. Berry and the Esterel Team. - 2000, 5 June.
3. Berry, G. The Esterel v5_91 System Manual: Документация к программному обеспечению Esterel Compiler, version 5.91. Ecole des Mines de Paris (EMP), ARMINES, and INRIA / G. Berry. - 2000, 5 June.
4. Bouali, A. Xeve: an Esterel Verification Environment : Version v1_3 : Rapport technique №0214 / Amar Bouali ; Inria, Institut National de Recherche en Informatique et en Automatique. - France, 1997. - 23 pages. - ISSN 0249-0803.
Рецензия
Для цитирования:
Кубасов С.В. Верификация синхронно-автоматных программ. Моделирование и анализ информационных систем. 2007;14(4):20-27.
For citation:
Kubasov S.V. Verification of Synchronous-automaton Programs. Modeling and Analysis of Information Systems. 2007;14(4):20-27. (In Russ.)
Просмотров:
471
Послать статью по эл. почте 