...
机译:从谓词测试识别安全关键软件的故障位置
School of Computer and Information Anhui Polytechnic University;
School of Computer and Information Anhui Polytechnic University;
School of Computer and Information Anhui Polytechnic University;
College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics;
College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics;
College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics;
College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics;
Fault localization; Predicate testing; Debugging;
机译:从谓词测试识别安全关键软件的故障位置
机译:基于贝叶斯信仰网络的定量软件可靠性评估方法及安全关键软件的统计测试
机译:安全关键嵌入式软件的软件测试技术
机译:将软件度量与从安全关键软件的单元测试得出的故障计数进行比较
机译:在软件可靠性评估和软件突变测试中使用软件故障。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:使用容错的现成软件升级的传统安全关键系统的贝叶斯可靠性评估