.png){kind=icon}
返回
Using mutation to design tests for aspect-oriented models
.png){kind=icon}
OA
AI
DOI：10.1016/j.infsof.2016.04.007.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Context: Testing for properties such as robustness or security is complicated because their concerns are often repeated in many locations and muddled with the normal code. Such cross-cutting concerns include things like interrupt events, exception handling, and security protocols. Aspect-oriented (AO) modeling allows, developers to model the cross-cutting behavior independently of the normal behavior, thus supporting model-based testing of cross-cutting concerns. However, mutation operators defined for AO programs (source code) are usually not applicable to AO models (AGMs) and operators defined for models do not target the AO features. Objective: We present a method to design abstract tests at the aspect-oriented model level. We define mutation operators for aspect-oriented models and evaluate the generated mutants for an example system. Method: AOMs are mutated with novel operators that specifically target the AO modeling features. Test traces killing these mutant models are then generated. The generated and selected traces are abstract tests that can be transformed to concrete black-box tests and run on the implementation level, to evaluate the behavior of the woven cross-cutting concerns (combined aspect and base models). Results: This paper is a significant extension of our paper at Mutation 2015. We present a complete fault model, additional mutation operators, and a thorough analysis of the mutants generated for an example system. Conclusions: The analysis shows that some mutants are stillborn (syntactically illegal) but none is equivalent (exhibiting the same behavior as the original model). Additionally, our AOM-specific mutation operators can be combined with pre-existing operators to mutate code or models without any overlap. (C) 2016 Elsevier B.V. All rights reserved.
Keyword:
Model-based testing
Aspect-oriented model
Mutation testing
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
引用论文
Concentrations and origin of polycyclic aromatic hydrocarbons in sediments of the Middle Adriatic Sea亚得里亚海中部沉积物中多环芳烃的浓度和来源OAAI
OAAI分享收藏Magnetic properties of CoFe1.9RE0.1O4 nanoparticles (RE=La, Ce, Nd, Sm, Eu, Gd, Tb, Ho) prepared in polyol在多元醇中制备的CoFe1.9RE0.1O4纳米颗粒 (RE = La，Ce，Nd，Sm，Eu，Gd，Tb，Ho) 的磁性能
PREAI
分享收藏分享收藏An Accurate Metaheuristic Mountain Gazelle Optimizer for Parameter Estimation of Single- and Double-Diode Photovoltaic Cell Models用于单二极管和双二极管光伏电池模型参数估计的精确元启发式山瞪羚优化器.png)
Mathematics
OAAI
MathematicsIF0
OAAI分享收藏Analysis and Modeling of HVSR in the Presence of a Velocity Inversion: The Case of Venosa, Italy存在速度反演的HVSR的分析和建模: 意大利Venosa的情况
PREAI
分享收藏Integrating aspects in software architectures:: PRISMA applied to robotic tele-operated systems
PREAI
分享收藏分享收藏
查看更多内容