χSUDS-SDL: a tool for diagnosis and understanding software specifications

Available statistical data shows that the cost of repairing software faults rises dramatically in later development stages. It is important to reduce software faults in the early stages of software development, such as requirement and design specification. In particular, the new technology of generating implementation code from specification requires highly reliable design specifications. Much research has been done on verification and validation, such as model checking. We believe such approaches are similar to software testing. We apply our state-of-the-art technology in software coverage testing, program diagnosis and understanding to stages as early as software requirements and designs. Early analysis provides many benefits, including: 1) early detection and recovery of software faults; 2) visualization and simulation of the software specifications; 3) improvement of the confidence on the specification; 4) making programming on the specification level more possible; and 5) reduction of the number of introduced faults. This paper presents the technology and the accompanying tool suite to the diagnosis and understanding of software specifications. We use the simulation of the specifications to collect the execution trace for computing the coverage and slicing data. Our technology is based on both the control flow and the data flow of the executable specifications