一句话：提出集成源代码变异与规格变异，在软件演化中度量并维护规格与代码一致性。
软件开发过程通常依赖测试来确保源代码与规格在演化过程中保持同步，但测试成功率这一指标的有效性受测试套件质量影响。变异测试已被证明可评估测试套件完整性，然而已有工作要么变异源代码，要么变异规格。该研究计划将两类变异方法集成，用于在每次修改后衡量规格与代码的一致性。作者拟贡献：（1）一种简洁的一致性度量方法；（2）识别并可视化二者细粒度追踪链的技术；（3）基于检测到的偏差建议规格与代码更新的途径。
Most software development processes rely on testing for assuring that a software's source code is kept in sync with its specification during software evolution. In testing, the degree of conformance between source code and specification is measured by the test success rate. However, the practical value of this metric depends on the quality of the test suite, i.e., its completeness wrt. the specification and source code. Mutation testing has proved to be effective in assessing test suite completeness; however related work either considers mutating the source code or the specification. Our research will investigate how approaches based on mutating code and specification can be integrated to keep both in sync during software evolution. We aim to contribute (1) a concise method to measuring the degree of conformance between specification and code with each modification, (2) a technique for the identification and visualization of fine-granular trace links between them, and (3) an approach for suggesting updates of specification and code based on detected deviations between them.
DOI 原文 ·
@inproceedings{paperbot8495,
title = {Integrating Mutation Techniques to Keep Specification and Source Code in Sync},
author = {Kerstin Jacob},
booktitle = {ISSTA},
year = {2024},
doi = {10.1145/3650212.3685556}
}