形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

元征LAUNCH实测篇:X-431 G防盗钥匙匹配系列 宝马5系故障引导操作说明

一、功能介绍故障引导主要是根据读到的故障码生成相应的检查计划,为解决故障问题提供针对性的诊断方案。目前通过元征大数据,统计了宝马软件测试的数据里,出现次数超过100的故障码,优先完成软件功能以及资料内容。二、条件要求设备要求:PADV或者以上产品。软件要求:宝马V50.62及以上版本,PADV支持资料图。