Валидация автоматных спецификаций
https://doi.org/10.17586/2226-1494-2023-23-2-436-438
Аннотация
Изложен новый взгляд на обеспечение качества автоматных программ. При этом вместо термина «верификация автоматных программ» предложено использовать термины «верификация автоматных моделей» и «валидация автоматных спецификаций». Первый термин применим при наличии формальной спецификации, а второй — при ее отсутствии, что более характерно для практики. Это позволяет более осмысленно подходить к пониманию того, как обеспечивать качество автоматных программ .
Об авторе
А. А. Шалыто
Университет ИТМО
Россия
Россия
Шалыто Анатолий Абрамович — доктор технических наук, профессор, главный научный сотрудник, профессор,
Санкт-Петербург, 197101
sc 56131789500
Список литературы
1. Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем. СПб.: БХВ-Петербург, 2010. 560 с.
2. Янкин Ю.Ю., Шалыто А.А. Автоматное программирование ПЛИС в задачах управления электроприводом // Информационно-управляющие системы. 2011. № 1. С. 50–56.
3. Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб.: Наука, 2011. 244 с.
4. Кузьмин Е.В., Соколов В.А. Моделирование, спецификация и верификация «автоматных» программ // Программирование. 2008. Т. 34. № 1. С. 38–60.
5. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.: Наука, 2000. 780 с.
Рецензия
Для цитирования:
Шалыто А.А. Валидация автоматных спецификаций. Научно-технический вестник информационных технологий, механики и оптики. 2023;23(2):436-438. https://doi.org/10.17586/2226-1494-2023-23-2-436-438
For citation:
Shalyto A.A. Validation of state machine specifications. Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 2023;23(2):436-438. (In Russ.) https://doi.org/10.17586/2226-1494-2023-23-2-436-438
Просмотров:
9
Послать статью по эл. почте 