ATIU: An Automated Method for Testing Embedded C/C++ Projects Containing Incomplete Units

In software development, testing plays an important role and starts early even when the source code is incomplete leading to the impossibility of performing testing in parallel with software development. This paper proposes a Concolic-based method named ATIU to address the incompleteness of project source code when testing. The key idea of ATIU is to add a pre-processing phase for searching the incomplete functions and creating dummy bodies for them before performing Concolic testing. Then, ATIU uses the AS4UT method as the stub mechanism to generate test data automatically. We have implemented ATIU and performed some preliminary experiments with potential results. We give some discussions about the method in the paper.