书目详细信息
： 解析失效状态传播的软件故障定位方法
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5180-7590-4:CNY68.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 解析失效状态传播的软件故障定位方法/.王克朝著 |
| 出版发行项： | 北京:,中国纺织出版社有限公司:,2020 |
| 载体形态项： | 146页:;+图:;+24cm |
| 一般附注： | 国家自然科学基金 黑龙江省自然科学基金 哈尔滨市科技创新人才项目 哈尔滨学院博士基金 |
| 提要文摘： | 本书针对软件故障定位领域的关键科学问题，提出了“失效－故障定位－理解”模型，研究了测试用例优选和基于程序不变量的故障定位方法。为了“最大化地利用测试信息，选择适合于故障定位的测试用例集合”，提出了面向有效故障定位的测试用例优选方法；针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对失效状态传播的分析导致难于准确定位到失效产生根源等问题，提出了基于程序不变量分析多种缺陷类型和解析失效状态传播的故障定位方法。 |
| 题名主题： | 软件故障 研究 |
| 中图分类： | TP307 |
| 个人名称等同： | 王克朝 著 |
| 记录来源： | CN 91MARC 20201205 |