Composing model programs for analysis

Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of the spectrum, enables one to build up larger models from smaller ones, and at the other end of the spectrum allows one to restrict larger models to specific scenarios. In this paper we provide a formal foundation for composition of model programs and investigate its use in various situations that arise in model program analysis. Key words: model program, state machine, labeled transition system, scenario control, model-based testing, model analysis, model validation

• Type: Journal
• Year: 2010
• Where: JLP
• Authors: Margus Veanes, Jonathan Jacky
• Keywords: JLP 2010, Larger Models, Model Program, Model Program Analysis