Test Image Generation using Segmental Symbolic Evaluation

• Published in: The International journal of networked and distributed computing (Online) Vol. 2; no. 3; pp. 135 - 147
• Main Authors: Jameel, Tahir, Lin, Mengxiang
• Format: Journal Article
• Language: English
• Published: Dordrecht Springer Netherlands 01.07.2014; Springer
• Subjects: image generation; input generation; Research Article; symbolic execution; synthetic images; testing; unit testing; symbolic execution; image generation; input generation; testing; unit testing; synthetic images
• ISSN: 2211-7938; 2211-7946; 2211-7946
• DOI: 10.2991/ijndc.2014.2.3.3

Image processing applications have played a vital role in modern life and they are required to be well tested due to their significance and human dependence on them. Testing of image processing application is difficult due to complex nature of images in terms of their generation and evaluation. The presented technique is first of its type to generate test images based on symbolic evaluation of program under test. The idea is based on the fact that, neighboring image operations are applied by selecting a segment of image pixels called a window, and iterated by sliding window over entire image. We imitate neighboring operations using symbolic values for the pixels rather than concrete values. The path constraint is extracted for each path in the program under test and solved for concrete solutions. Test images are generated based on solution of path constraints for each identified path. We have tested the proposed scheme on different programs and the results show that test images are successfully generated for each path to ensure the path coverage of the program under test and identifying infeasible paths.