By Topic

An industrial technology of test automation based on verified behavioral models of requirement specifications for telecommunication applications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)

Applicability of formal methods in requirement capturing and analysis is determined to a great extent by how well the respective formalism matches the adopted engineering practice. Conventional notation of mathematical logic obviously has little chance to succeed as such formalization tool. A technology based on formalism of ldquobasic protocolsrdquo derived from the modeling languages UML/MSC which became a de facto standard in the current engineering practice is described in this paper. It allows for automated test generation for software which guarantees 100% coverage of thus formalized requirements. Suite optimization w.r.t. various criteria borrowed from practice is discussed, as well as potential directions for further research.

Published in:


Date of Conference:

18-23 May 2009