Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.

Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system an industry report.

Cognitive Concepts LLC (CC) is a small business that specializes in software reliability engineering. In the past several years CC has become convinced that the best available practice for software reliability on complex systems is model-based specification and testing (MST). CC completed a small bu...

Full description

Bibliographic Details
Published in:Software engineering notes. 30, 5 (2005).
Main Author: Lakey, Peter B.
Format: Article
Language:English
Subjects:
Software.
Software engineering.
Software / Program Verification.
Model checking.
Testing and debugging.
Testing tools (e.g., data generators, coverage testing).
Design.
Documentation.
Experimentation.
Measurement.
Performance.
Model-based specification.
Model-based testing.
Reliability.