کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875176 1441585 2018 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A tool for domain-independent model mutation
ترجمه فارسی عنوان
یک ابزار برای جهش مدل مستقل دامنه
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
To improve this situation, we propose Wodel: a domain-specific language and tool for model-based mutation that is independent of the domain meta-model. Wodelenables the rapid development and application of model mutations. It provides built-in advanced functionalities like automatic generation of seed models, and static and dynamic metrics of operator coverage and applicability. It offers extension points, e.g., to post-process mutants and describe domain-specific equivalence criteria. As an example, we illustrate the usage of Wodel for the mutation of security policies, and present an empirical evaluation of its expressiveness.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 163, 1 October 2018, Pages 85-92
نویسندگان
, , , ,