论文部分内容阅读
在软件测试中，测试覆盖率（ｃｏｖｒａｇｅ ｒａｔｉｏ）是评判程序测试完成程度的重要指标之一。然而，针对并行程序时序的测试覆盖率，目前国际上还未见比较实用的定星分析方法。文中以树型拓扑结构的广播与归并操作的分布工并行实现为例，提高了一种建立在同步序列模型基础之上并专门适合于原子事件测试方法的有关分布式并行程序时序测试的测试覆盖率的数值计算方法。由于广播与归并是两个比较有代表性的并行操作，因此文中所描