一句话：研究用软件测试自动修复模型工件，支持模型与实现/规约保持一致，并在组合模型与特征模型上给出结果。
该论文关注软件测试在模型维护中的应用。软件测试已广泛用于代码的调试、故障定位与修复，但将其用于定位模型故障并自动修复仍属开放问题。作者提出一个研究项目，设计测试驱动的模型修复流程，利用测试方法自动修复模型工件，帮助工程师保持模型与实现及规约一致。文中描述研究方法与流程结构，并在组合模型和特征模型两个场景中报告结果，最后讨论将该思路扩展到时间自动机等其他模型的未来工作。
Software testing is an important phase in the software development process, aiming at locating faults in artifacts, and achieve some confidence that the software behaves according to specification. There exists many software testing techniques applied to debugging, fault-localization, and repair of code, however, to the best of our knowledge, the application of software testing to locating faults in models and automatically repair them, is still an open issue. We present a project that investigates the use of software testing methods to automatically repair model artifacts, to support engineers in maintaining them consistent with the implementation and specification. We describe the research approach, the structure of the devised test-driven repair processes, present results in the cases of combinatorial models and feature models, and finally discuss future work of applying testing to repair models for other scenarios, such as timed automata.
DOI 原文 ·
@inproceedings{paperbot5144,
title = {Using software testing to repair models},
author = {Marco Radavelli},
booktitle = {FSE},
year = {2019},
doi = {10.1145/3338906.3342508}
}