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

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:Software engineering notes. 30, 5 (2005).
المؤلف الرئيسي: Lakey, Peter B.
التنسيق: مقال
اللغة:English
الموضوعات:
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.