Mo Li and Shaoying Liu
CDFD, SOFL, functional scenarios, scenarios generation, specification inspection
Specification inspection is an important technique of formal engineering methods for software development. It helps to enhance the completeness and consistency of formal specifications. Functional scenarios can be used to effectively guide inspectors to inspect formal specifications step by step. In this paper, we describe an algorithm for generating scenarios based on a Condition Data Flow Diagram (CDFD) automatically. It includes decomposing a CDFD and transforming it to a scenario tree. We have built a prototype tool to support this algorithm. The tool reads the information of a CDFD saved in an XML file and generates all possible scenarios. Inspectors can select a single scenario each time for inspection.
Important Links:
Go Back
