Skip to Main Content
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.
EUROCON 2009, EUROCON '09. IEEE
Date of Conference: 18-23 May 2009