HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

基于程序变异的故障注入及故障规则库的设计

作者:徐丽软件故障注入程序变异规则库设计故障代码异常处理前置条件控制流

摘要:1.基于程序变异的软件故障注入方法 软件故障注入的方法有很多种,本节着重介绍利用插入的故障代码违反程序中函数的满足条件(前置条件、后置条件或其它),改变其状态,迫使软件出现故障,使程序偏移正常的控制流,从而达到引发异常,执行异常处理代码的软件故障注入方法。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

中国科技信息

《中国科技信息》(CN:11-2739/N)是一本有较高学术价值的大型半月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国科技信息》栏目有科技新闻、科技杂志要览、能源与环境、工程、农业、制造、交通运输、信息科技、现代服务、健康与生物医药、城镇化与城市发展、科技教育创新、基础及前沿研究、创新体系建设等。

杂志详情