【摘 要】
：
并行计算技术的飞速发展给软件测试带来了新的要求.并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试.文中所介绍的并行软件的测试工具--ParCT
【机 构】
：
中国科学院计算技术研究所高性能中心,中国科学院软件研究所并行软件研究开发中心,中国科学院计算数学与科学工程计算研究所
论文部分内容阅读
并行计算技术的飞速发展给软件测试带来了新的要求.并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试.文中所介绍的并行软件的测试工具--ParCT (parallel C-language testing tools)主要是面向控制流的.文中介绍了ParCT的运作机制及其主要功能:通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度,从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标.在此基础上,还对并行测试工具所面临的一系列新课题,诸如进程的实时跟踪、面向控制流的测试产生(test generation)算法、面向多线程的测试工具、并行程序的时序测试(timing sequence testing)等,进行了一定程度的探讨.
其他文献
大规模分布交互仿真对网络带宽、处理资源等提出了很高的要求,采用数据过滤机制可大大降低对网络带宽和计算资源的压力,有利于系统可扩性.然而对于高效过滤机制,仿真结点机要
经济全球化的发展对我们来说既是一种机遇,也是一种挑战.要想在竞争中脱颖而出,唯一途径就是充分开发、科学管理人力资源.政府部门作为提供公共产品和公共服务的组织,同样面
特征编辑已成为特征造型系统中提高造型能力和造型效率的关键,为此文中提出重用CSG和FDT的特征线性修改算法, 且与模型构造的历程顺序无关.同时在特征编辑中满足面特征、体特
在竞争日趋激烈的今天,开展对标管理,提升企业核心竞争力已成为烟草行业的共识。本文试图以安阳市烟草公司为例,通过分析对标指标体系现状,揭示企业对标指标体系运行中功能性
学生在网络环境下自主学习,由于学习动机不够强烈、学习资源的质量良莠不齐、教师的错位,辅导不及时等原因,导致了学习效率低下,教师不能监控学习进度,不能按时完成学习任务.
文章综述了多媒体信息网络在服务质量(QoS)研究方面的一些最近的工作,着重论述了接纳控制和信源整形、QoS选路和资源预留、基于QoS的传输调度、综合服务网的QoS控制等问题.文
分析了油浸式电流互感器一次绕组内外变压器油的流动与换热特性，提出了一套计算其流动与温升特性的数学模型，并研制了通用计算机软件。计算结果与不同规格、不同工况的产品试验
网络营销从传统营销来,又与传统营销有着巨大的差别,传统营销既是网络营销的基础又是其发展的起源.
建筑产品的施工是由多工种、多系统互相渗透、密切配合、综合而成的有机整体.文章简述了高层建筑空间构成和施工中的协调与配合.
在印前技术领域,校色无疑是至关重要的一环.但在我们学习校色过程之前,让我们先来了解一下色度学.色度学确切地讲,它是研究人眼对颜色感觉规律的一门科学.每个人的视觉并不是