Sciweavers

125 search results - page 1 / 25
» Automated Test Set Generation for Statecharts
Sort
View
FM
1998
Springer
198views Formal Methods» more  FM 1998»
13 years 9 months ago
Automated Test Set Generation for Statecharts
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
SNPD
2008
13 years 6 months ago
A Comparative Evaluation of Tests Generated from Different UML Diagrams
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik,...
QSIC
2009
IEEE
13 years 11 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
COMPSAC
2006
IEEE
13 years 11 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
SAC
2008
ACM
13 years 4 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann