Elaboration of the toolsuite for automation of the static and dynamic software requirement checking

Computing, Telecommunications and Control

Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University

Since 2008

ISSN 2687-0517

Year: 2012 Issue: 4 (152)

5 131395

Previous issue All issues Next issue

5154

0

UDK: 004.4'22

Article type: Research Article

Publication schedule

№2 June 2024
№3 September 2024
№4 December 2024

Latest issues

Elaboration of the toolsuite for automation of the static and dynamic software requirement checking

Conference "Technologies Microsoft in the theory and programming practice"

Authors:

Tyutin Boris V. Nikiforov Igor V. Kotlyarov Vsevolod P.

Abstract:

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.