𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 1st ACM international workshop - Atlanta, Georgia (2007.11.05-2007.11.05)] Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07 - A survey on model-based testing approaches

✍ Scribed by Dias Neto, Arilo C.; Subramanyan, Rajesh; Vieira, Marlon; Travassos, Guilherme H.

Book ID
121263484
Publisher
ACM Press
Year
2007
Weight
261 KB
Category
Article
ISBN
159593880X

No coin nor oath required. For personal study only.

✦ Synopsis

This paper describes a systematic review performed on modelbased testing (MBT) approaches. A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers. Detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations. The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity. This paper defines and explains the review methodology and presents some results.

πŸ“œ SIMILAR VOLUMES

[ACM Press the 1st ACM international wor
[ACM Press the 1st ACM international workshop - Atlanta, Georgia (2007.11.05-2007.11.05)] Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07 - A survey on model-based testing approaches
✍ Dias Neto, Arilo C.; Subramanyan, Rajesh; Vieira, Marlon; Travassos, Guilherme H πŸ“‚ Article πŸ“… 2007 πŸ› ACM Press βš– 261 KB
[ACM Press the twenty-second IEEE/ACM in
[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Towards automatic model synchronization from model transformations
✍ Xiong, Yingfei; Liu, Dongxi; Hu, Zhenjiang; Zhao, Haiyan; Takeichi, Masato; Mei, πŸ“‚ Article πŸ“… 2007 πŸ› ACM Press 🌐 English βš– 389 KB
[ACM Press the twenty-second IEEE/ACM in
[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Towards automatic model synchronization from model transformations
✍ Xiong, Yingfei; Liu, Dongxi; Hu, Zhenjiang; Zhao, Haiyan; Takeichi, Masato; Mei, πŸ“‚ Article πŸ“… 2007 πŸ› ACM Press 🌐 English βš– 389 KB

The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. However, after a transformation is applied, the source model and the target model usually co-exist and evolve independently.