Abstract:
The rapid development of parallel computing technology has brought about new challenges to the software testing. The testing of parallel programs consists of two parts: control flow testing(in\|process testing) and timing\|sequence testing(interprocess testing). ParCT(parallel C\|language testing tools) is control\|flow oriented. First introduced are the functions of ParCT, which include demonstrating the testing coverage\|ratio, listing the un\|hit statements, and compiling the testing result. With its help the users can evaluate how the testing has been completed and then try to design new test case to cover the un\|hit branches. Furthermore several critical technologies in realizing the above functions are also addressed. Finally discussed are a series of new functions facing a more powerful ParCT, such as thread\|safety, test generation, real time debugging, timing\|sequence testing, etc..