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

Conference "Technologies Microsoft in the theory and programming practice"

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.