351. Model-Checking plus Testing: from Software Architecture Analysis to Code Testing
- Author
-
Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, and Pierluigi Pierini
- Subjects
Model checking ,Integration testing ,Computer science ,White-box testing ,System testing ,Manual testing ,Software performance testing ,Software ,Acceptance testing ,Regression testing ,Software system ,Software verification and validation ,Test Management Approach ,Orthogonal array testing ,business.industry ,Software development ,Formal methods ,Test case ,Non-regression testing ,Embedded system ,Software construction ,Systems architecture ,Software reliability testing ,Software engineering ,business ,Software architecture ,Architectural model ,System integration testing ,Dynamic testing - Abstract
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaustive and automatic analysis of the system expressed through a model, software testing is based on a clever selection of “relevant” test cases, which may be manually or automatically run over the system.
- Published
- 2004