Enabledness-based Testing of Object Protocols
| Autor: | Javier Godoy, Juan Pablo Galeotti, Sebastian Uchitel, Diego Garbervetsky |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Protocol (science)
Theoretical computer science Fitness function Exploit business.industry Computer science Software Engineering 0803 Computer Software Random testing 020207 software engineering 02 engineering and technology Extension (predicate logic) Object (computer science) 020202 computer hardware & architecture Software 0806 Information Systems 0202 electrical engineering electronic engineering information engineering Abstraction business |
| Zdroj: | ACM Transactions on Software Engineering and Methodology. 30:1-36 |
| ISSN: | 1557-7392 1049-331X |
| DOI: | 10.1145/3415153 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|