Framework Document: Model-Based Verification Pilot Study

David P. Gluch
John J. Hudak
Robert Janousek
John Walker
Charles B. Weinstock
Dave Zubrow

Special Report
CMU/SEI-2001-SR-024

This Pilot Study Framework document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation that applies Model-Based Verification (MBV).

This report provides a description of the goals of the study, a description of the phases of the study, and the activities necessary to acquire the information to meet the study goals. A description of the metrics and associated logs necessary to acquire the study data are also included.

Goals of pilot studies within the MBV initiative include measuring the effort involved and the benefits obtained using MBV. An additional goal is to identify technical and engineering practice issues that must be addressed to facilitate the transition of model-based verification techniques into routine practice. The study also evaluates several key issues: transition and adoption costs, discovered defects and their classification, programmatic return on investment, and software engineering practice improvement.

This report also contains a detailed Procedure Manual that contains operational guidance for the study participants. It provides a detailed description of the activity, defect, observation, and project logs maintained by the participants throughout the study.