Continuously improving the quality of software products and reducing the cycle time of their development is a crucial goal of software developers.
At ISS, we focus on detecting inconsistencies at early stages of the software development cycle by implementing automated consistency checking with requirements to reduce the cycle time. If these inconsistencies were to be detected at later stages, such as coding or system testing, much more time and effort would be required for correction, redesign, and verification.
We have conducted a number of successful verification projects from different subject domains including telecommunications, telematics, automotive control, and bus control.
The approach is based on so called formal methods (find our more about formal methods) and uses the verification of requirements presented in widely popular engineering languages (such as subsets of MSC, SDL, UML) independently of their implementations using automatic proof system. We use the VRS Tool for verification.
As the result, the verification process provides an average 10-15% (up to 50% in the best cases) decrease of the development cost of the specified level of quality with respect to checking consistency and completeness of specifications by hand. After detection MSC traces (which could be a base for test suite creation) will be generated to demonstrate counter-example of a failure for checked property.