...
机译:安全关键系统的安全回归测试方法
Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan;
Faculty of Computing, Riphah International University, Islamabad, Pakistan;
vdm specification; regression testing; test suite selection; formal specification based regression; testing; vdm specification based testing; changed identification; test suite selection for regression testing;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:安全关键医疗系统中基于故障的测试方法
机译:基于模型的测试和评估过程与系统安全过程的集成,以开发安全关键武器系统
机译:安全关键系统的选择性回归测试:黑盒方法
机译:一种用于为基于组件的安全关键系统生成测试套件的新颖方法。
机译:疫苗安全监视系统:美国疫苗安全数据链路快速周期分析功能开发中的关键要素和经验教训
机译:安全关键医疗系统中基于故障的测试方法