Domain-oriented Verification Management
Résumé
V. Basili stated twenty years ago that a software organization that manages quality should have a corporate infrastructure that links together and transcends the single projects by capitalizing on successes and learning from failures. For critical systems design, the verification tasks play a crucial role; when an unexpected situation is detected, the engineer analyzes the cause, performing a diagnosis activity. To improve the quality of the design, diagnosis information have to be managed through a well-defined method and with a suitable system. In this paper we present how a Verification Organizing System together with a problem-oriented method could achieve these issues. The key aspect of the approach is to follow a step-wise building of the solution, reusing known problems that are relevant for the system under study.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
![]()
Cite 10.1007/978-3-030-02852-7_3 Autre Leildé, V., Ribaud, V., Teodorov, C., & Dhaussy, P. (2018). A Problem-Oriented Approach to Critical System Design and Diagnosis Support. In Communications in Computer and Information Science (pp. 30–39). Springer International Publishing. https://doi.org/10.1007/978-3-030-02852-7_3