Abstract:One of the challenges in developing safety critical systems is to ensure software assurance which encompasses quality attributes such as reliability and security as well as functionality and performance. An assurance case, which lays out an argumentation-structure with supporting evidence to claim that software assurance in a system is achieved, is increasingly considered as an important means to gain confidence that a system has achieved acceptable safety when checking with emerging standards and national guidelines. However, the complexity of modern safety critical applications hinders the automatic integration of heterogeneous artifacts into an assurance case during a development process such as a V-model, let alone the automatic support of system evolution. In this paper, we present a novel framework to automatically generate assurance cases via safety patterns and further support the maintenance of them during a system’s evolution. The application of safety patterns not only enables reusability of previously successful argument structures but also directs the support of assurance maintenance caused by common types of modifications in safety critical domains. The framework is implemented as a prototypical tool built using Model Driven Architecture (MDA). We evaluated the framework with two case studies featuring two criteria and the preliminary experimental results not only show that the framework is useful in evaluation of safety critical systems but also reveal how different types of modification can affect a structure of an assurance case.

An Automatic Generation Method of Executable Test Case Using Model-Driven Architecture

An automatic documentation generator based on model-driven techniques

A method for model-driven development of adaptive web applications

A Test Automation Solution On Gui Functional Test

Applying the Model Driven Generative Domain Engineering Method to Develop Self-Organizing Architectural Solutions for Mobile Robot

An Automated Test Generation Technique for Software Quality Assurance

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams

Research on Model-driven Software Testing

Automatic Test Data Generation Based on Usage Model and Genetic Algorithm

Automatic Regression Test Selection Based on Activity Diagrams

Research on Model of Automated Test Case Generation for Complicated Interactive Software

An MDE Performance Testing Framework Based on Random Model Generation

An Automate Test Case Generation Approach: Using Match Technique.

Modeling Business for MDA Software Paradigm

An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges

Feedback-Directed Test Case Generation Based on UML Activity Diagrams

A New Approach of Automated Test Case Generation on Extended Finite State Machine

From Executable UML Model to J2ME Program

Novel Collaborative Automated Testing Framework Using Ddf

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis

Automatic Support of the Generation and Maintenance of Assurance Cases.