论文部分内容阅读
软件测试需要合适的自动测试工具的有效支持,此时保障测试工具质量的问题显得尤其重要.介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法,并详细讨论了软件故障注入方法.长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的.
基于黑箱的自动软件测试工具的质量保障方法
【摘 要】
：
软件测试需要合适的自动测试工具的有效支持,此时保障测试工具质量的问题显得尤其重要.介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法,并详细讨论了软件故障注入
【机 构】
：
同济大学计算机科学与工程系
【出 处】
：
同济大学学报：自然科学版
【发表日期】
：
2002年10期
【基金项目】
：
铁道部科技研究项目
其他文献
汉字是人类智慧的结晶,它洋溢着人们对生命存在最佳状态的执著追寻。什么是生命的最佳状态？它要求生命踏出自我的孤岛,与世界进行联系、沟通、交流,这就是所谓的表达,从口头到
在自然风的作用下桥梁主梁所受到的风荷载一般可分为平均风荷载、背景脉动荷载和抖振惯性荷载三部分来描述,其中抖振惯性荷载可由桥梁抖振加速度得到.根据Scanlan的颤抖振理
通过将非线性模态方法和摄动技术相结合,研究了两自由度非对称三次系统当子系统之间线性耦合退化和非共振时的一种奇异--振动局部化,解析地得到了局部化的参数门槛值.研究结
证明了一类测地球体积呈多项式增长的完备非紧Riemann流形关于Laplace算子的本性谱是[0,十∞),同时也讨论了测地球体积以其半径的负幂次收敛于有限体积的完备Riemann流形上的