软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。     

基于黑箱的自动软件测试工具的质量保障方法

软件测试需要合适的自动测试工具的有效支持，此时保障测试工具质量的问题显得尤其重要，介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法，并详细讨论了软件故障注入方法，长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的。     

软件安全性自动测试中源于猜错案例的自描述

提出一种源于猜错测试案例的自描述方法 .经过自描述处理后的案例具有普遍的适用性 ,只要在新的软件测试任务中找到匹配背景 ,自描述的案例就可以重新变成在新的具体背景下的测试案例 .以一个铁路计算机联锁软件测试中的成功猜错案例为典型 ,阐述了如何为案例所涉及的实体定义一系列关系 ,借助这些关系实现案例自描述 ,并最终和新的软件测试背景匹配 ,且实现案例再生 .     

基于关键字驱动脚本的安全软件自动测试系统

提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法。使用关键字驱动脚本欲将大量有效测试案例形式化，建立测试案例专家知识库，并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测试系统。此系统可进一步提高铁路车站计算机联锁软件测试自动化水平和测试效率。     

应用软件复杂性通用估计平台实现可行性研究

介绍了复杂度的概念及一些度量方法,提出嵌入式应用软件复杂性估计通用平台的概念,并主要研究其实现可行性.考虑到Halstead度量法和McCabe度量法是2种较为经典的复杂性估计方法,故将它们作为通用平台的基础.为此,具体介绍了这2种度量法,并证明了它们之间是兼容的.