2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops 2011
DOI: 10.1109/icstw.2011.95
|View full text |Cite
|
Sign up to set email alerts
|

Selective Test Generation Method for Evolving Critical Systems

Abstract: International audienceWe present in this paper the implementation of a model-based testing technique for evolving systems. These latters are described in UML using class/object diagrams and state charts, augmented with OCL constraints. Based on two versions of a given model, an automated process deduces the impact of model evolutions on the existing tests. Our methodology then classifies tests into different test suites to test evolution, regression, stagnation and deletion on the concrete system. We introduce… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
12
0

Year Published

2014
2014
2022
2022

Publication Types

Select...
5
1

Relationship

2
4

Authors

Journals

citations
Cited by 16 publications
(12 citation statements)
references
References 17 publications
0
12
0
Order By: Relevance
“…For instance, Fourneret et al [30] propose a UML-based approach to select a precise set of tests covering changed or impacted functional requirements, identified by applying change and dependence analysis.…”
Section: Regression Testingmentioning
confidence: 99%
See 1 more Smart Citation
“…For instance, Fourneret et al [30] propose a UML-based approach to select a precise set of tests covering changed or impacted functional requirements, identified by applying change and dependence analysis.…”
Section: Regression Testingmentioning
confidence: 99%
“…Model-based regression testing analyses changes at the level of formal representation of a software or its environment, for instance, represented as diagrams in the Unified Modeling Language (UML) [28][29][30] or as Extended Finite State Machines (EFSM) [31].…”
Section: Regression Testingmentioning
confidence: 99%
“…The security requirements are captured through schemas (or scenarios), written in the Smartesting Schema Language, which are further used to drive the test generation. The evolving aspects of the systems are captured by adapting the SeTGaM technique (Fourneret, Bouquet, Dadeau & Debricon, 2011) to security requirements. They manage the test's life cycle for the new system version through finer grained status and update.…”
Section: Security Test Evolutionmentioning
confidence: 99%
“…Other researchers have investigated test case problems considering models with the system specifications rather than source code . Chen et al present a model‐based approach that generates a regression test suite using dependence analysis of the modified elements in the model.…”
Section: Related Workmentioning
confidence: 99%
“…Chen et al present a model‐based approach that generates a regression test suite using dependence analysis of the modified elements in the model. Similarly, Fourneret et al generate necessary test cases for the modified portion of the model (UML) using requirement information and impact analysis. Samuel and Mall generate test cases from UML activity diagrams using a dynamic slicing technique.…”
Section: Related Workmentioning
confidence: 99%