计算机联锁软件测试方法研究

描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.     

用天行者，行天下——天行者4．0导航软件测试

初识天行者是从3．05开始的。当时，市面上的导航产品并不多，灵图公司的天行者最大的特点是可以语音导航：要盯着屏幕看．不会分散注意力，更利于安全行车。天行者的导航设备是ASUS笔记本计算机＋LILIPUT 7”619GL-70NP／C显示屏＋RIKALINF CF 6021 GPS。     

TMIS中央实时处理系统的容错设计与实现

为保证TMIS系统具有很好的容错能力,从硬件、软件、网络等方面都采取了必要的容错措施。本文涉及的只是中央实时处理软件的容错设计与实现,即在中央实时处理软件的设计和开发中,如何采用软件排错、软件容错技术以提高软件的可靠性。     

软件测试中测试模型的应用

用软件测试模型指导软件测试工作,可以提高软件测试的效率,保障软件产品的质量。重点介绍几种软件测试模型及其在软件测试工程中对软件质量把控所起的作用,总结每种模型的优缺点,以便在不同的测试项目中选取和使用。     

形式方法在CAD软件开发中的应用

针对设计问题的特点，将以数学为基础的形式化方法应用于ＣＡＤ软件开发中，分层次形式化表达ＣＡＤ系统。可以沟通用户，系统分析员，程序员以及测试工程师之对系统的理解，达到共识。同时为软件模块的重复利用提供了可能性。     

高速公路电子不停车收费系统仿真测试实践

为测试验证高速公路电子不停车收费系统是否满足用户需求,提出了一种新的仿真测试方法和工具.对高速公路电子不停车收费系统运行环境进行建模,通过交通仿真模拟测试用例场景行为,基于传感器仿真模型生成测试数据,对部署在等效虚拟机环境上的被测系统实施测试.以某省真实高速公路不停车收费系统作为应用案例进行测试,试验结果表明,仿真测试有效地验证了被测高速公路电子不停车收费系统的功能和性能指标,且测试过程无需使用任何传感器及车辆等设备,有效降低了测试成本,测试工具操作便捷易用,可实现自动或半自动化测试,提高了测试效率.     

漏洞检测静态分析方法的优化策略

目前软件漏洞静态解决方案大都有针对性的检测某些方面的软件漏洞,无法做到全面、高效、准确的检测出所有漏洞。通过讨论目前已有的一些漏洞检测技术与工具,并研究这些工具与技术各自存在的优势与缺陷。在此基础上提出改进漏洞检测静态分析的优化策略。     

基于VXI总线的测试软件的软件测试与可靠性评估

随着科学技术的飞速发展,软件的应用越来越广泛,其功能越来越强大,复杂性也越来越高,从而大大增加了软件测试与可靠性评估的难度。当前基于VXI总线的测试软件使用广泛,为保证此类测试软件的质量,有必要针对此类测试软件的软件测试与可靠性评估方法进行专门的研究。     

基于软件测试平台的车站现场仿真

论述了对微机联锁安全软件进行测试评估时现场信号设备的建模仿真问题，提出了模型的建立方案并给出仿真软件的程序结构。该仿真系统为软件测试提供了一个动态的虚拟站场，是测试自动化、高时效的重要保障。本论文所反映的研究成果正在实验室得到实现。