...
机译:寻求合适的软件故障模型:基于模型的测试生成技术的故障检测有效性的案例研究
Center for Software Engineering, IBM T.J. Watson Research Center, 19 Skyline Drive, Hawthorne, NY 10532, USA;
model-based test generation; fault detection effectiveness;
机译:基于量子信息技术的多模式直升机执行器故障检测与诊断
机译:基于模型的故障检测和容错控制提高风力发电机发电的可靠性:综述
机译:并发对象软件中功能故障的检测和诊断中作为测试Oracle的合同的有效性
机译:基于模型的测试生成技术的故障检测有效性的案例研究
机译:评估设计合同作为测试Oracle在并发面向对象软件中的故障检测中的有效性。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:目标故障检测次数的定义及其指导高缺陷覆盖率测试生成的有效性