机译:并发对象软件中功能故障的检测和诊断中作为测试Oracle的合同的有效性
Juniper Networks, 1194??N Mathilda Ave, Sunnyvale, CA 94089;
Concurrent computing; Contracts; Interference; Java; Message systems; Programming; Software; Concurrent programming; Software Quality/SQA??Measurement applied to SQA and VV; Software/Program Verification??Programming by contract; object-oriented programming;
机译:寻求合适的软件故障模型:基于模型的测试生成技术的故障检测有效性的案例研究
机译:研究GUI测试用例在快速发展的软件中的故障检测有效性
机译:故障检测与诊断技术在自动化功能测试中的应用
机译:并发面向对象软件中竞赛条件和死锁的检测和诊断中作为测试Oracle的合同的有效性
机译:评估设计合同作为测试Oracle在并发面向对象软件中的故障检测中的有效性。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:研究快速发展的软件GUI测试用例的故障检测效果
机译:使用基于代数规范的测试神谕进行软件测试