Formal specifications-based automation of system testing of hardware designs

Authors: M. M. Chupilko.

Source: Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)

Subject Terms: системное тестирование взаимосвязанных модулей аппаратуры, формальные спецификации, технология unitesk, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1081; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/8e0c2101309f45bca619a63630675925

АВТОМАТИЗАЦИЯ СИСТЕМНОГО ТЕСТИРОВАНИЯ МОДЕЛЕЙ АППАРАТУРЫ НА ОСНОВЕ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ

Authors: Чупилко, М.

Subject Terms: СИСТЕМНОЕ ТЕСТИРОВАНИЕ ВЗАИМОСВЯЗАННЫХ МОДУЛЕЙ АППАРАТУРЫ,ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ,ТЕХНОЛОГИЯ UNITESK

File Description: text/html

Availability: http://cyberleninka.ru/article/n/avtomatizatsiya-sistemnogo-testirovaniya-modeley-apparatury-na-osnove-formalnyh-spetsifikatsiy
http://cyberleninka.ru/article_covers/13967138.png

Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций

Source: Труды Института системного программирования РАН.

Subject Terms: СИСТЕМНОЕ ТЕСТИРОВАНИЕ ВЗАИМОСВЯЗАННЫХ МОДУЛЕЙ АППАРАТУРЫ,ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ,ТЕХНОЛОГИЯ UNITESK

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/avtomatizatsiya-sistemnogo-testirovaniya-modeley-apparatury-na-osnove-formalnyh-spetsifikatsiy
http://cyberleninka.ru/article_covers/13967138.png