Referenced Items are not available for this document.
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:
EUROCON 2009, EUROCON '09. IEEE
Date of Conference: 18-23 May 2009
- Page(s):
- 1272 - 1279
- E-ISBN :
- 978-1-4244-3861-7
- Print ISBN:
- 978-1-4244-3860-0
- INSPEC Accession Number:
- 10791295
- Conference Location :
- St.-Petersburg
- Digital Object Identifier :
- 10.1109/EURCON.2009.5167801
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
