论文部分内容阅读
软件测试需要合适的自动测试工具的有效支持,此时保障测试工具质量的问题显得尤其重要.介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法,并详细讨论了软件故障注入方法.长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的.
基于黑箱的自动软件测试工具的质量保障方法
【摘 要】
：
软件测试需要合适的自动测试工具的有效支持,此时保障测试工具质量的问题显得尤其重要.介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法,并详细讨论了软件故障注入
【机 构】
：
同济大学计算机科学与工程系
【出 处】
：
同济大学学报：自然科学版
【发表日期】
：
2002年10期
【基金项目】
：
铁道部科技研究项目
其他文献
汉字是人类智慧的结晶,它洋溢着人们对生命存在最佳状态的执著追寻。什么是生命的最佳状态？它要求生命踏出自我的孤岛,与世界进行联系、沟通、交流,这就是所谓的表达,从口头到
【再序】自从老人们用上了微信,有些父母经常会给孩子转发一些微信朋友圈里盛传的健康养生信息,标题一般都非常抓眼球,如《快看,这10种食物最防癌》、《每天喝8杯水才健康》
社会保险工作事关社会稳定以及经济发展,事关人民群众的切身利益。新形势下,如何优化社会保险档案服务内容,推动社会保险档案社会化服务工作的开展,是社保档案管理人员重点关
现如今,我国是新经济快速发展的新时代,经济的不断发展带动我国的企业在不断的进步,人力资源管理是一个永恒的话题。本文主在针对新经济时代的背景下,对新经济时代的大背景和
这些年以来人们的生活都需要用到电。需要用到的东西也逐渐增多。用到电的地方也是越来越多。在人们的日常生活中,各种东西都不能够没有电的支持。本文主要讲述的就是低压配
近年来,随着经济社会的发展和财税体制改革的深入,国库收支总量快速增长,国库会计风险也随之增多,且呈现出多样化、复杂化、隐蔽化的趋势。防范国库会计风险,确保国库资金安
在自然风的作用下桥梁主梁所受到的风荷载一般可分为平均风荷载、背景脉动荷载和抖振惯性荷载三部分来描述,其中抖振惯性荷载可由桥梁抖振加速度得到.根据Scanlan的颤抖振理
通过将非线性模态方法和摄动技术相结合,研究了两自由度非对称三次系统当子系统之间线性耦合退化和非共振时的一种奇异--振动局部化,解析地得到了局部化的参数门槛值.研究结
证明了一类测地球体积呈多项式增长的完备非紧Riemann流形关于Laplace算子的本性谱是[0,十∞),同时也讨论了测地球体积以其半径的负幂次收敛于有限体积的完备Riemann流形上的