论文标题

非型突变操作员是否有助于防止零型断层?

Do Null-Type Mutation Operators Help Prevent Null-Type Faults?

论文作者

Parsai, Ali, Demeyer, Serge

论文摘要

NULL型是Java程序中故障的主要来源,其过度使用对软件维护产生了严重影响。不幸的是,传统的突变测试操作员默认情况下不涵盖NULL型断层,因此不能用作预防措施。我们通过设计四个新的突变操作员来解决此问题,这些突变操作员明确对空型故障进行建模。我们展示了这些突变操作员如何能够揭示缺失的测试,并证明了这些突变算子在实践中很有用。对于后者,我们分析了15个开源项目的测试套件,以描述与采用这些操作员以加强测试套件相关的权衡。

The null-type is a major source of faults in Java programs, and its overuse has a severe impact on software maintenance. Unfortunately traditional mutation testing operators do not cover null-type faults by default, hence cannot be used as a preventive measure. We address this problem by designing four new mutation operators which model null-type faults explicitly. We show how these mutation operators are capable of revealing the missing tests, and we demonstrate that these mutation operators are useful in practice. For the latter, we analyze the test suites of 15 open-source projects to describe the trade-offs related to the adoption of these operators to strengthen the test suite.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源