MOCA
Model Oriented Capture Analysis
People
Faculty
Bill Howden, Professor of Computer Science
Students
R.T. Kim
P.P. Tran
Overview of project
Model-oriented testing uses different kinds of models to measure the completeness of a set of tests. In the MOCA approach, we expand the use of models by constructing test wizards that use the models as well as other information to suggest functional and special case tests. In addition, we have the capability of generating models from a set of test traces. The MOCA tool takes test traces generated by the Rational Robot capture-playback tool and uses these to synthesize state models. The state models can be used to: summarize the testing that has been carried out so far, suggest new tests, and serve as an incremental specification for incremental software development.