Evolution of UniTESK Test Development Technology
В. В. Кулямин, Alexander Konstantinovich Petrenko · Proceedings of the Institute for System Programming of RAS · 2014
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