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

作     者：梁煜 李基凯 张林波 李玉成 卢慧琼 LIANG Yu;LI Ji-Kai;ZHANG Lin-Bo;LI Yu-Cheng;LU Hui-Qiong

作者机构：中国科学院计算技术研究所高性能中心北京100080 中国科学院软件研究所并行软件研究开发中心北京100080 中国科学院计算数学与科学工程计算研究所北京100080 中国科学院软件研究所北京100080 

基　　金：国家自然科学基金 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：1999年第36卷第10期

页      码：1197-1201页

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

主 题 词：C语言 并行操作 程序测试工具 软件开发 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203180001...