An integrated tool set for software safety analysis
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Experience Report: Contributions of SFMEA to Requirements Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards Model-Based Failure-Management for Automotive Software
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Modeling crosscutting services with UML sequence diagrams
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Quality assurance (QA) is a crucial part of the software engineering, especially when the developed systems are safety-critical. It becomes even more complex at the integration level as many components are involved in the behavior of such systems. In the following, we present an approach to QA at the model integration level. In particular, we discuss failure management (FM) and testing. We propose a QA framework for modeling the crosscutting system services, transforming them into failure detectors, deriving failure mitigators, and test cases based on those services. Moreover, we show how to leverage the selected FM design elements and reuse them for testing. We automate a number of these steps. Finally, we execute the obtained QA models against the system and analyze the results.