Aspect-Oriented Programming for Guided Testing

DOI

10.2991/icsmim-15.2016.80How to use a DOI?

Keywords

AOP, PUT, specification-based testing, distributed systems, nondeterminism, AspectJ, test guide.

Abstract

Distributed and multithreaded systems are usually much more complex to analyze or test due to the nondeterminism involved. A possible approach to testing nondeterministic systems is to direct the execution of the program under test to take a certain path for each test, so that a unique output (or output sequence) can be observed. Considering specification-based testing, we assume that a test case is given together with a test constraint for directing the internal nondeterministic choices. To instruct the program under test to execute according to a given test constraint, the program under test needs to communicate with the tester. In this work, we propose to use the features in Aspect-Oriented Programs to realize such communication. This solution does not require the availability of the source code of the program under test. Assuming that the program under test consists of a set of Java multithreaded processes communicating with each other using sockets, we provide an automated translation from a test constraint to a set of aspects using AspectJ.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Siyuan Liu
AU  - Yang Yang
PY  - 2016/01
DA  - 2016/01
TI  - Aspect-Oriented Programming for Guided Testing
BT  - Proceedings of the 2015 4th International Conference on Sensors, Measurement and Intelligent Materials
PB  - Atlantis Press
SP  - 432
EP  - 437
SN  - 2352-538X
UR  - https://doi.org/10.2991/icsmim-15.2016.80
DO  - 10.2991/icsmim-15.2016.80
ID  - Liu2016/01
ER  -