适用于并行操作的C语言程序测试工具ParCT

ParCT:A PARALLEL C\|LANGUAGE TESTING TOOL

并行计算技术的飞速发展给软件测试带来了新的要求．并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试．文中所介绍的并行软件的测试工具——ＰａｒＣＴ （ｐａｒａｌｌｅｌＣ－ｌａｎｇｕａｇｅ ｔｅｓｔｉｎｇｔｏｏｌｓ）主要是面向控制流的．文中介绍了ＰａｒＣＴ的运作机制及其主要功能：通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度，从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标．在此基础上，还对并行测试工具所面临的一系列新课题，诸如进程的实时跟踪、面向控制流的测试产生（ｔｅｓｔｇｅｎｅｒａｔｉｏｎ）算法、面向多线程的测试工具、并行程序的时序测试（ｔｉｍ ｉｎｇ ｓｅｑｕｅｎｃｅ ｔｅｓｔｉｎｇ）等。

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..