Specification Model Checking and Specification-Based Testing: Complementary Approaches to Quality in Design

摘要

This paper presents the advantages of using Specification Model Checking and Specification based testing for early stages of the development life cycle. These techniques provide opportunities for the early detection of defects in software requirements and design. Early detection and correction of defects can, in turn, reduce the time spent on implementing defective software models and improving the software quality.