Abstract:It is encouraged to develop practical approaches to ensure that the software artifacts are created as expected or defect-free as early as possible. In the industry, software analysis and testing techniques are widely used solutions for codes and executables, respectively. However, software design artifacts can only be verified by manual peer review in design phase. In this paper, we propose an approach to automatically simulate the expected software behavior depicted in UML activity diagrams. First, UML activity diagrams are parsed and initialized semantically with a concrete execution. Second, the model is symbolically executed, to collect paths, input variables, and their path conditions. Then, the path conditions are passed to a constraint solver to generate a set of concrete value of possible input variables. Final, the generated concrete input variables are semantically executed on the model to identify the defects as well as to collect the execution path. The model simulation approach reuses the design models, automates the simulation process by using model-based concolic execution, and has the advantage of visibility and observability on model simulation. In addition, we found that the solvable paths represent behavioral scenarios. While simulating the model, input values corresponding to execution paths in the model are generated automatically. They can also be used as test suites to find the inconsistency between the design and implementation. We have also developed a prototype tool to support the above process, and have conducted a trivial case study to demonstrate the applicability of our approach.

A new evaluating pattern for simulation system

A VR-based test and simulation system - With application in non-destructive evaluation

Rapid Verification of Embedded Systems Using Patterns

A Model of Flexible Exception Handing Facilitated by Polices and Contracts

Policy-Based Runtime Performance Evaluation and Validation of Web Services

VV&A SOLUTION FOR COMPLEX SIMULATION SYSTEMS

A VR Simulation Framework Integrated with Multisource CAE Analysis Data for Mechanical Equipment Working Process.

Automatic Virtual Test Technology for Intelligent Driving Systems Considering Both Coverage and Efficiency

A Validation Method for Power System Dynamic Simulation Software Based on Hybrid Simulation

A Systematic Map on Verifying and Validating Software Process Simulation Models.

Dynamic Evaluation Method with Speed Feature and Its Application

Experimental Frame Design Using E-DEVSML for Software Quality Evaluation.

Five Key Issues of the Development of Simulation Systems VV&A

Dynamic evaluation method based multi-dimensional test coverage for Software Testing

An Interaction-aware Evaluation Method for Highly Automated Vehicles

Design of an Enterprise Dynamic Performance Simulation and Analysis System

Application of algebraic expression evaluation in data simulator design

Simulating Software Behavior Based on UML Activity Diagram

Detecting Anti-Patterns in Java EE Runtime System Model

HIT-SEDAES: an Integrated Software Environment for Simulation Experiment Design, Analysis and Evaluation

A VV&A evaluation system based on hierarchical evaluation