霍马杰

HOMAJ:AspectJ和Java中用于高阶突变测试的工具。自动化工具支持的可用性是软件开发人员在将高阶突变测试纳入其软件开发过程之前的一个重要考虑因素。本文介绍了面向AspectJ和Java的高阶变异测试工具HOMAJ。HOMAJ自动化了一级突变体(FOMs)和高阶突变体(HOMs)的生成和评估过程。特别是,HOMAJ可以用来生成细微的hom,这些hom不能被杀死所有fom的现有测试集杀死。精细hom可以模拟复杂和非平凡的故障,这是因为它们可以模拟用传统FOMs无法模拟的复杂和非平凡的故障。HOMAJ实现了许多不同的生成精细hom的技术,包括几种基于搜索的软件工程技术、枚举搜索和随机搜索。HOMAJ的设计采用模块化的方式,以便于整合新的搜索策略。在本文中,我们演示了如何使用HOMAJ来评估实现的技术。