Evolution of UniTESK Test Development Technology

Abstract

The paper presents the basic principles of UniTESK technology intended for test construction based on formal models. It also summarizes experience of using UniTESK in large test development projects for software and hardware systems, including telecommunication protocols, basic and standard interfaces of operating systems, microprocessor units. The paper provides a vision of the future technology development for higher scalability of test suites constructed

Keywords

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