|
题名:
|
解析失效状态传播的软件故障定位方法 [ 专著] jie xi shi xiao zhuang tai chuan bo de ruan jian gu zhang ding wei fang fa / 王克朝著 , |
|
ISBN:
|
978-7-5180-7590-4 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
146页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国纺织出版社有限公司 出版日期： 2020 |
|
内容提要:
|
本书针对软件故障定位领域的关键科学问题，提出了“失效－故障定位－理解”模型，研究了测试用例优选和基于程序不变量的故障定位方法。为了“最大化地利用测试信息，选择适合于故障定位的测试用例集合”，提出了面向有效故障定位的测试用例优选方法；针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对失效状态传播的分析导致难于准确定位到失效产生根源等问题，提出了基于程序不变量分析多种缺陷类型和解析失效状态传播的故障定位方法。 |
|
主题词:
|
软件故障 研究 |
|
中图分类法:
|
TP311.53 版次： 5 |
|
主要责任者:
|
王克朝 wang ke chao 著 |
|
附注:
|
国家自然科学基金 黑龙江省自然科学基金 哈尔滨市科技创新人才项目 哈尔滨学院博士基金 |