Computing, Telecommunication and Control Информатика, телекоммуникации и управление 2687-0517 24 Elaboration of the toolsuite for automation of the static and dynamic software requirement checking Построение системы автоматизации статической и динамической проверки требований к программному продукту Tyutin Boris b.tyutin@gmail.com Nikiforov Igor igor.nikiforov@gmail.com Kotlyarov Vsevolod vpk@spbstu.ru Peter the Great St.Petersburg Polytechnic University 10 08 2012 4 152 119 123

The article features an automated test suite generation method based on formal system requirement representation using Use Case Maps notation. An automated requirement checking technology is reviewed. The benefits and restrictions of this technology are revealed and discussed.

 testing automation formal notation test code generation verification requirement management