一种等性能面积的并行计算可扩展性度量方法

可扩展性是并行计算的一个重要性能指标,但传统可扩展性度量机制只是试图从某一个侧面反映并行计算可扩展情况,难以全面度量并行计算系统综合性能.深入和全面地研究可扩展性度量机制,从众多性能指标中精选一组关键参数,对其进行归一化处理,然后用Kiviat图的面积来刻画并行计算的综合性能,由此给出一种新的等性能面积的并行计算扩展性度量机制,并进一步分析新度量机制和传统机制的关系.最后,应用新度量机制分析矩阵相乘算法在LogP计算机模型上的扩展性,并在集群平台上实际运行程序进行扩展性实验,进一步验证新机制的有效性.新度量机制对于指导并行计算体系结构完善,以及并行算法设计和调优有重要意义.

LOGISCOPE在工程软件测试中的应用

本文介绍了软件测试工具比LOGISCOPE的主要功能，详细阐述了其在工程软件测试中的应用情况。

软件测试中态势分析的应用研究

通过在"二维模型正演"软件的测试中引入态势分析法,分析了优势和机会因素、弱势和威胁因素,经过对这些因素的分析,最终给出了适合"二维模型正演"软件的测试策略和测试方法。最后通过测试结果的统计分析验证了态势分析法在制定软件测试策略和测试方法时的有效性。

基于块的测试充分性度量准则及其测试复杂性度量

1 引言 近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域.在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危.一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏.所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度.以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段.

Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.

雷达软件代码静态质量度量方法

通过软件静态质量分析可以定量评价软件代码的质量。文章通过对软件代码静态质量度量模型的研究,考虑质量准则在不同度量范围间的传递,结合雷达软件代码质量的关注点,提出雷达软件静态质量度量方法,以量化数据表示代码的质量水平,并以玫瑰图的形式表示出来。试验结果表明,新的度量方法能够有效地对软件静态质量进行度量,为设计师了解软件代码质量水平提供了客观依据,减少了软件质量评估中的主观性。