Институт системного программирования им. В.П. Иванникова РАН


UniTESK: Component Model Based Testing.

Авторы

Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov.

Аннотация

UniTESK is a testing technology based on formal models or formal specifications of requirements to the behavior of software and hardware components. The most significant applications of UniTESK in industrial projects are described, the experience is summarized, and the prospective directions to the Component Model Based Testing development are estimated.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

Specification, verification, model-based testing, automated test generation

Издание

ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI-2013), Part II, 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verifica, 2013, p.573-589.

Научная группа

Технологии программирования

Все публикации за 2013 год Все публикации