Program comprehension for user-assisted test oracle generation

Teemu Kanstrén

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

4 Citations (Scopus)


Software testing requires a test oracle that makes an assessment of the correctness of the tested program behaviour, based on a priori created model. While test automation is a popular research topic, there is only a limited amount of work in the subject of automating the process of creating test oracles. This lack of test oracle automation greatly limits the usefulness of automated testing techniques. One reason for this is the difficulty to automatically determine the correctness of previously unknown software. Instead the task of coming up with a useful oracle is often left to the user as a manual task. Program comprehension techniques are focused on supporting the building of human understanding for a previously un-known program, and as such are good candidates to assist in the test oracle creation process. This paper addresses the lack of automated support for test oracle creation by providing a framework for using program comprehension techniques to provide automated assistance to the user in creating test oracles. Based on analysis of existing work and theoretical background, the basic concept for this process is defined. A case example demonstrates the practical application of this concept with the generation of a model, including a test oracle, for model-based testing. From the existing approaches and the presented case example, a framework for this type of process is presented in order to provide a basis for providing more powerful techniques for user-assisted test oracle generation.
Original languageEnglish
Title of host publicationProceedings of the 2009 Fourth International Conference on Software Engineering Advances (ICSEA). Porto, Portugal, 20 - 25 Sept. 2009
PublisherIEEE Institute of Electrical and Electronic Engineers
ISBN (Electronic)978-0-7695-3777-1
ISBN (Print)978-1-4244-4779-4
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
Event2009 Fourth International Conference on Software Engineering Advances (ICSEA) - Porto, Portugal
Duration: 20 Sept 200925 Sept 2009


Conference2009 Fourth International Conference on Software Engineering Advances (ICSEA)


Dive into the research topics of 'Program comprehension for user-assisted test oracle generation'. Together they form a unique fingerprint.

Cite this