机读格式显示(MARC)

• 000 01202nam0 2200241 450

• 001 0000551922

• 005 20210114164023.0

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

• 100 __ |a 20201118d2020 kemy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y v 000yy

• 106 __ |a r

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

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

• 215 __ |a 146页 |d 24cm

• 300 __ |a 国家自然科学基金 黑龙江省自然科学基金 哈尔滨市科技创新人才项目 哈尔滨学院博士基金

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

• 606 0_ |a 软件故障 |x 研究

• 690 __ |a TP311.53 |v 5

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

• 801 _2 |a CN |b O440105GDY |c 20201130

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