Abstract:In object-oriented programs, we often need to set some restrictions on the temporal orders of the message receiving for objects, which forms a class of safety requirements. In this paper, we use UML state machine diagrams as design specifications, and present an approach to runtime verification of Java programs, which is focused on the temporal order of message receiving based consistency verification between the behavior of state machine diagrams and the program execution traces. In the approach, we first instrument the program under verification so as to gather the program execution traces related to a given state machine diagram. Then we drive the instrumented program by random test cases so as to generate the program execution traces. Finally we check if the collected program execution traces are consistent with the behavior of the state machine diagram, which means that the temporal orders of the message receiving occurring in the program traces are consistent with the ones occurring in the state machine diagram. Our approach can be used to detect not only the program bugs resulting from the wrong temporal orders of message receiving, but also the imperfect state machine models constructed in reverse engineering for legacy systems, and leads to a testing tool which may proceed in a fully automatic fashion.

A Test Sequence Generation Method Based on the UML Statechart Semantics

UML State Diagram-based Test Case Generation of OO Software

A Survey about UML Statecharts Testing

An Approach to Generate Test Cases Based on UML Sequence Diagrams

A Method for the Transformation from Sequence Diagram to Statechart Diagram

Study of protocol conformance test sequence generation algorithm based on FSM

Automatic Test Case Generation for UML Activity Diagrams.

Uml State Machine Diagram Driven Runtime Verification Of Java Programs For Message Interaction Consistency

Automatic Code Generation From UML State Chart Diagrams

UML Activity Diagram-Based Automatic Test Case Generation for Java Programs

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

A Novel Method Of State Identification Sequences Generation For Testing Communication Protocols Modeled As Extended Finite State Machines

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

A New Method to Generate Test Sequences for Protocol Conformance Testing

Formalizing UML State Machines for Automated Verification -- A Survey

Formalizing UML State Machines for Automated Verification – A Survey

Test Sequence Generation for Distributed Software System.

Automatic Test Generation Based on Hierarchical Finite State Machines

Reducing Test Sequence Length Using Invertible Sequences

Extenics-based Test Case Generation for UML Activity Diagram.

Feedback-Directed Test Case Generation Based on UML Activity Diagrams