机读格式显示(MARC)

• 000 01306nam0 2200253 450

• 001 0000540192

• 005 20210914122200.0

• 010 __ |a 978-7-5180-7590-4 |d CNY68.00

• 100 __ |a 20201105d2020 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 解析失效状态传播的软件故障定位方法 |A jie xi shi xiao zhuang tai zhuan bo de ruan jian gu zhang ding wei fang fa |f 王克朝著

• 210 __ |a 北京 |c 中国纺织出版社有限公司 |d 2020

• 215 __ |a 146页 |c 图 |d 24cm

• 300 __ |a 课题号: 国家自然科学基金 (61977020)、黑龙江省自然科学基金 (LH2019F046)、哈尔滨市科技创新人才项目 (2016RAQXJ013)、哈尔滨学院博士基金 (HUDF2019101)

• 320 __ |a 有书目 (第129-146页)

• 330 __ |a 针对软件故障定位领域的关键科学问题, 提出了“失效-故障定位-理解”模型, 研究了测试用例优选和基于程序不变量的故障定位方法。为了“大化地利用测试信息, 选择适合于故障定位的测试用例集合”, 提出了面向有效故障定位的测试用例优选方法; 针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对失效状态传播的分析导致难于准确定位到失效产生根源等问题, 提出了基于程序不变量分析多种缺陷类型和解析失效状态传播的故障定位方法。

• 606 0_ |a 软件故障 |A ruan jian gu zhang |x 研究

• 690 __ |a TP311.53 |v 5

• 701 _0 |a 王克朝 |A wang ke chao |4 著

• 801 _0 |a CN |b LIB |c 20210914

• 905 __ |a LIB |d TP311.53/3