An automatic test suite regeneration technique ensuring state model coverage using UML diagrams and source syntax

2016 ◽  
Author(s):  
Afrina Khatun ◽  
Kazi Sakib
Keyword(s):  
State Model ◽  
Test Suite ◽  
Automatic Test ◽  
Uml Diagrams

Semi-automatic test suite generation from Estelle

1992 ◽  
Vol 7 (4) ◽  
pp. 295 ◽  
Author(s):  
Behdad Forghani ◽  
Behcet Sarikaya
Keyword(s):  
Test Suite ◽  
Automatic Test ◽  
Test Suite Generation

scholarly journals Danfoss EKC Trial Project Deliverables

2003 ◽  
Vol 10 (48) ◽  
Author(s):  
Kim G. Larsen ◽  
Ulrik Larsen ◽  
Brian Nielsen ◽  
Arne Skou ◽  
Andrzej Wasowski
Keyword(s):  
Test Generation ◽  
Code Generation ◽  
State Model ◽  
Application Domain ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Model Based ◽  
Promising Tool ◽  
Project Deliverables

This report documents the results of the Danfoss EKC trial project on model based development using IAR visualState. We present a formal state-model of a refrigeration controller based on a specification given by Danfoss. We report results on modeling, verification, simulation, and code-generation. It is found that the IAR visualState is a promising tool for this application domain, but that improvements must be done to code-generation and automatic test generation.

scholarly journals State-Model-Based Regression Test Reduction for Component-Based Software

2012 ◽  
Vol 2012 ◽  
pp. 1-9 ◽  
Author(s):  
Tamal Sen ◽  
Rajib Mall
Keyword(s):  
The State ◽  
State Model ◽  
Test Suite ◽  
Test Selection ◽  
Data Dependencies ◽  
Regression Test Selection ◽  
Regression Test ◽  
Selection Approach ◽  
Application Developers ◽  
Dependence Models

We present a novel regression test selection approach based on analysis of state and dependence models of components. Our technique targets to select a smaller regression test suite compared to the pure dependence-based RTS approaches while maintaining the fault revealing effectiveness. In our approach, after a modification, control and data dependencies are analyzed to identify the potentially affected statements. Subsequently, the state model of the component is analyzed to compute a precise publishable change information to support efficient regression test selection by the application developers.

scholarly journals LLMC: Verifying High-Performance Software

2021 ◽  
pp. 690-703
Author(s):  
Freark I. van der Berg
Keyword(s):  
Model Checking ◽  
Data Structures ◽  
High Performance ◽  
State Of The Art ◽  
The State ◽  
State Model ◽  
Test Suite ◽  
Model Checker ◽  
Unit Tests

AbstractMulti-threaded unit tests for high-performance thread-safe data structures typically do not test all behaviour, because only a single scheduling of threads is witnessed per invocation of the unit tests. Model checking such unit tests allows to verify all interleavings of threads. These tests could be written in or compiled to LLVM IR. Existing LLVM IR model checkers like divine and Nidhugg, use an LLVM IR interpreter to determine the next state. This paper introduces llmc, a multi-core explicit-state model checker of multi-threaded LLVM IR that translates LLVM IR to LLVM IR that is executed instead of interpreted. A test suite of 24 tests, stressing data structures, shows that on average llmc clearly outperforms the state-of-the-art tools divine and Nidhugg.

Sign in / Sign up

Export Citation Format

Share Document