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...

ver descrição completa

Detalhes bibliográficos

Publicado no:	Software engineering notes. 30, 5 (2005).
Autor principal:	Lakey, Peter B.
Formato:	Artigo
Idioma:	English
Assuntos:	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.