软件黑盒测试中SPR的规范化管理方法

在软件开发过程中,对所开发的软件进行测试,是保证软件质量必不可少的手段。黑盒测试方法是在无需了解软件内部逻辑结构的情况下,测试软件是否达到了预期要求。软件质量工程师要根据软件发生缺陷的外在现象提出软件问题报告(SPR),供软件开发工程师参考。本文着重讨论了软件黑盒测试中如何在软件开发工程师和软件质量工程师之间实现规范化信息交流的一种方法。

面向列控系统安全软件黑盒测试的危险分析方法

针对高速铁路列控系统安全软件黑盒测试中对危险事件的可测性、全面性和优先性的需求,研究能够生成有效危险事件测试集的危险分析方法。根据列控系统接口交互信息的类型及特点,改进HAZOP的引导词及节点参数并进行接口危险辨识;然后利用风险矩阵评估接口危险事件的风险等级,提出面向安全软件黑盒测试的接口危险分析方法—HAZOP-I;将该方法应用到CTCS-3级列车运行控制系统运行场景中。研究结果表明:该方法能够为列控系统安全软件黑盒测试提供满足需求的危险事件测试集。

软件系统黑盒测试方法研究

黑盒测试对于软件系统来说非常重要,主要是进行功能性测试,是在不考虑系统内部代码的实现逻辑的情况下进行的测验,是从使用者的角度进行数据输入及数据输出对应的匹配关系进行检测而进行的测试,测试方法的研究对于软件系统的测试至关重要。

软件随机测试新方法研究

随机测试在软件和硬件测试中都有广泛应用,在软件测试中一般应用于黑盒测试。利用随机测试在软硬件中的一致性特点,将针对数字系统随机测试开发的最大距离测试概念研究成果,通过转换和改造,应用于软件黑盒测试,称为软件最大距离随机测试法。通过对基准程序TCAS的39个变异体测试的实验结果表明:所提的新方法是一种有效的可以提高软件黑盒测试功效的方法,它不仅提高了软件随机测试的效率,而且降低了测试成本,相对于传统的软件随机测试而言,在故障覆盖率方面有着十分明显的改进和提高。

AN ALGORITHM FOR AUTOMATICALLY GENERATING BLACK-BOX TEST CASES

Selection of test cases plays a key role in improving testing efficiency. Black-box testing is an important way of testing, and its validity lies on the selection of test cases in some sense. A reasonable and effective method about the selection and generation of test cases is urgently needed. This letter first introduces some usualmethods on black-box test case generation,then proposes a new algorithm based on interface parameters and discusses its properties, finally shows the effectiveness of the algorithm.