A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This article studies search-based test generation techniques that aim to exploit a particular abstraction of object protocols (enabledness preserving abstractions (EPAs)) to find failures. We define coverage criteria over an extension of EPAs that includes abnormal method termination and define a search-based test case generation technique aimed at achieving high coverage. Results suggest that the proposed case generation technique with a fitness function that aims at combined structural and extended EPA coverage can provide better failure-detection capabilities not only for protocol failures but also for general failures when compared to random testing and search-based test generation for standard structural coverage.

中文翻译：

---

基于能力的对象协议测试

现代软件中的很大一部分类引入或使用对象协议，对对象方法调用的时间顺序的规定。本文研究基于搜索的测试生成技术，旨在利用对象协议的特定抽象（启用能力保留抽象 (EPA)）来发现故障。我们定义了包括异常方法终止在内的 EPA 扩展的覆盖率标准，并定义了一种旨在实现高覆盖率的基于搜索的测试用例生成技术。