Date of Award
Doctor of Philosophy
Dr. Laura K. Dillon
Dr. Robert B. France
Dr. Ajay Gupta
Dr. Wuwei Shen
Modeling, class diagrams, model checking, designmodel, implementation. computer science
Software design models are increasingly being used as part of the software development process as analysis and design artifacts and to automatically generate code that developers can further modify or extend, greatly expediting the software development process. This, however, has introduced the challenge of maintaining consistency between the design models and their implementation as they evolve during the development process. Traditional software testing and verification techniques have been well studied in the past, and they are an integral part of many software development projects, however, they are not well suited for consistency checking between a design model and its implementation. In this dissertation, we present a testing-based validation technique that improves over traditional testing and verification techniques for consistency checking that combines coverage criteria and dynamic symbolic execution with path condition analysis. Our experiments have shown the effectiveness and efficiency of our approach when applied to industry strength software systems.
Chavez, Hector M., "Maintaining Consistency between a Design Model and Its Implementation" (2015). Dissertations. 735.