| Summary: | In software testing, one of the most important issues is to validate the consistency of program and design. Usually, this kind of design information is expressed by software related documents, such as software requirements, software design, etc. Therefore, how to effectively extract the design information based on these documents is very important. In this paper, we first introduce the method of the analyzing class diagram model and method call diagram model from UML model of design document; secondly, we classify and summarize the inconsistency problems that may exist in the two types of models; thirdly, we design static and dynamic consistency algorithms for these models. Finally, we implement the CCoSaD (consistency checking of software and Design) tool and validate the effectiveness based on experiments.
|
|---|
