Abstract:The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at the early stages of software development allows early detection of defects, which can be fixed more easily and at a lower cost. This paper proposes a conceptual framework for the execution of partial models, which consists of three steps: static analysis, automatic refinement, and input-driven execution. First, a static analysis that respects the execution semantics of models is applied to detect problematic elements of models that cause problems for the execution. Second, using model transformation techniques, the models are refined automatically, mainly by adding decision points where missing information can be supplied. Third, refined models are executed, and when the execution reaches the decision points, it uses inputs obtained either interactively or by a script that captures how to deal with partial elements. We created an execution engine called PMExec for the execution of partial models of UML-RT (i.e., a modeling language for the development of soft real-time systems) that embodies our proposed framework. We evaluated PMExec based on several use-cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance and that the overhead of approach, which is mostly due to the refinement and the increase in model complexity it causes, is manageable. We also discuss the properties of the refinement formally and show how the refinement preserves the original behaviors of the model.

Learning Parameterized State Machine Model for Integration Testing

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

Learning Probabilistic Models for Model Checking: an Evolutionary Approach and an Empirical Study

Active model learning of stochastic reactive systems (extended version)

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System

Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms

Inferring State Machine from the Protocol Implementation via Large Language Model

Inferring State Machine from the Protocol Implementation Via Large Langeuage Model.

Testing-based Model Learning Approach for Legacy Components

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning

Automated Transition From Use Cases To Uml State Machines To Support State-Based Testing

Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study

A Uml-Based Environment For Software Testing And Verification

Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers

Model Learning: a Survey of Foundations, Tools and Applications

Execution of Partial State Machine Models

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment

Live modeling in the context of state machine models and code generation

Learning Markov Decision Processes for Model Checking

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study

State Based Robustness Testing for Components