中图网(原中国图书网):网上书店,中文字幕在线一区二区三区,尾货特色书店,中文字幕在线一区,30万种特价书低至2折!

歡迎光臨中圖網 請 | 注冊
> >
解析失效狀態傳播的軟件故障定位方法

包郵 解析失效狀態傳播的軟件故障定位方法

作者:王克朝
出版社:中國紡織出版社出版時間:2020-09-01
開本: 16開 頁數: 152
中 圖 價:¥21.4(3.1折) 定價  ¥68.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
溫馨提示:5折以下圖書主要為出版社尾貨,大部分為全新(有塑封/無塑封),個別圖書品相8-9成新、切口
有劃線標記、光盤等附件不全詳細品相說明>>
本類五星書更多>

解析失效狀態傳播的軟件故障定位方法 版權信息

解析失效狀態傳播的軟件故障定位方法 內容簡介

本文圍繞“存在部分成功測試用例的情況下,有效地報告缺陷位置,為開發人員理解和修復缺陷提供充分的信息。”這一目標,研究測試用例優選方法和基于程序不變量的故障定位方法。主要研究內容分為以下三個部分。(1)為了“zui大化地利用測試信息,選擇適合于故障定位的測試用例集合”,提出了面向有效故障定位的測試用例優選方法。(2)針對已有方法對不變量定義不完善導致可定位的缺陷種類有限、因缺少對測試用例的影響分析導致不變量違背檢測的漏檢等問題,提出了基于程序不變量分析多種缺陷類型的故障定位方法。(3)針對已有方法缺少對失效狀態傳播的分析,導致不變量違背檢測的漏檢和誤檢,難于準確定位到失效的產生根源等問題,提出了基于程序不變量解析失效狀態傳播的故障定位方法。

解析失效狀態傳播的軟件故障定位方法 目錄

第1章 緒論
1.1 課題背景及研究的目的和意義
1.2 “失效-故障定位-理解”模型
1.3 國內外研究現狀
1.4 軟件故障定位的難點問題分析
1.5 本文的主要研究內容和組織結構

第2章 面向有效故障定位的測試用例優選方法
2.1 引言
2.2 故障定位中測試用例選擇的相關研究
2.3 面向有效故障定位的測試用例優選準則
2.4 測試用例優選模型
2.5 測試用例優選算法
2.6 實驗結果與分析
2.7 本章小結

第3章 基于程序不變量分析多種缺陷類型的故障定位
3.1 引言
3.2 相關研究
3.3 基于程序不變量的故障定位難點問題分析
3.4 研究框架
3.5 改進的程序不變量定義
3.6 三種粒度的程序插樁
3.7 兩類難以用不變量違背檢測的可疑語句的定位
3.8 測試用例優選
3.9 程序不變量的學習及不變量違背的檢測
3.10 實驗結果與分析
3.11 本章小結

第4章 基于程序不變量解析失效狀態傳播的故障定位
4.1 引言
4.2 研究框架
4.3 基于到達定值分析的常量賦值語句故障定位
4.4 基于依賴的失效狀態傳播分析
4.5 基于不變量違背置信度的語句可疑度計算
4.6 實驗結果與分析
4.7 本章小結

第5章 基于示例解析失效狀態傳播的故障定位
5.1 引言
5.2 相關研究
5.3 代碼多樣化及失效狀態傳播問題分析
5.4 研究框架
5.5 實現形式多樣的相似程序識別與聚類
5.6 解析失效狀態傳播上下文的故障定位
5.7 實驗結果與分析
5.8 本章小結
結論
參考文獻
展開全部
商品評論(0條)
暫無評論……
書友推薦
本類暢銷
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 百度网站优化,关键词排名,SEO优化-搜索引擎营销推广 | 有声小说,听书,听小说资源库-听世界网| 天津市能谱科技有限公司-专业的红外光谱仪_红外测油仪_紫外测油仪_红外制样附件_傅里叶红外光谱技术生产服务厂商 | 汕头市盛大文化传播有限公司,www.11400.cc | 背压阀|减压器|不锈钢减压器|减压阀|卫生级背压阀|单向阀|背压阀厂家-上海沃原自控阀门有限公司 本安接线盒-本安电路用接线盒-本安分线盒-矿用电话接线盒-JHH生产厂家-宁波龙亿电子科技有限公司 | nalgene洗瓶,nalgene量筒,nalgene窄口瓶,nalgene放水口大瓶,浙江省nalgene代理-杭州雷琪实验器材有限公司 | 法钢特种钢材(上海)有限公司 - 耐磨钢板、高强度钢板销售加工 阀门智能定位器_电液动执行器_气动执行机构-赫尔法流体技术(北京)有限公司 | 搅拌磨|搅拌球磨机|循环磨|循环球磨机-无锡市少宏粉体科技有限公司 | NBA直播_NBA直播免费观看直播在线_NBA直播免费高清无插件在线观看-24直播网 | 硅胶布|电磁炉垫片|特氟龙胶带-江苏浩天复合材料有限公司 | 上海地磅秤|电子地上衡|防爆地磅_上海地磅秤厂家–越衡称重 | 刑事律师_深圳著名刑事辩护律师_王平聚【清华博士|刑法教授】 | 至顶网| 寮步纸箱厂_东莞纸箱厂 _东莞纸箱加工厂-东莞市寮步恒辉纸制品厂 | 航空铝型材,7系铝型材挤压,硬质阳*氧化-余润铝制品 | 大米加工设备|大米加工机械|碾米成套设备|大米加工成套设备-河南成立粮油机械有限公司 | 大流量卧式砂磨机_强力分散机_双行星双动力混合机_同心双轴搅拌机-莱州市龙跃化工机械有限公司 | 太平洋亲子网_健康育儿 品质生活| 油漆辅料厂家_阴阳脚线_艺术漆厂家_内外墙涂料施工_乳胶漆专用防霉腻子粉_轻质粉刷石膏-魔法涂涂 | 单电机制砂机,BHS制砂机,制沙机设备,制砂机价格-正升制砂机厂家 单级/双级旋片式真空泵厂家,2xz旋片真空泵-浙江台州求精真空泵有限公司 | 健身器材-健身器材厂家专卖-上海七诚健身器材有限公司 | 北京网站建设|北京网站开发|北京网站设计|高端做网站公司 | 桁架楼承板-钢筋桁架楼承板-江苏众力达钢筋楼承板厂 | 翻斗式矿车|固定式矿车|曲轨侧卸式矿车|梭式矿车|矿车配件-山东卓力矿车生产厂家 | 井式炉-台车式回火炉-丹阳市电炉厂有限公司 | 工作服定制,工作服定做,工作服厂家-卡珀职业服装(苏州)有限公司 | 电磁铁_小型推拉电磁铁_电磁阀厂家-深圳市宗泰电机有限公司 | 三佳互联一站式网站建设服务|网站开发|网站设计|网站搭建服务商 赛默飞Thermo veritiproPCR仪|ProFlex3 x 32PCR系统|Countess3细胞计数仪|371|3111二氧化碳培养箱|Mirco17R|Mirco21R离心机|仟诺生物 | 舞台木地板厂家_体育运动木地板_室内篮球馆木地板_实木运动地板厂家_欧氏篮球地板推荐 | 粒米特测控技术(上海)有限公司-测功机_减速机测试台_电机测试台 | 污水/卧式/潜水/钻井/矿用/大型/小型/泥浆泵,价格,参数,型号,厂家 - 安平县鼎千泵业制造厂 | PCB厂|线路板厂|深圳线路板厂|软硬结合板厂|电路板生产厂家|线路板|深圳电路板厂家|铝基板厂家|深联电路-专业生产PCB研发制造 | 120kv/2mA直流高压发生器-60kv/2mA-30kva/50kv工频耐压试验装置-旭明电工 | 旗杆生产厂家_不锈钢锥形旗杆价格_铝合金电动旗杆-上海锥升金属科技有限公司 | 钢绞线万能材料试验机-全自动恒应力两用机-混凝土恒应力压力试验机-北京科达京威科技发展有限公司 | 宁夏活性炭_防护活性炭_催化剂载体炭-宁夏恒辉活性炭有限公司 | 中控室大屏幕-上海亿基自动化控制系统工程有限公司 | 液压油缸-液压站生产厂家-洛阳泰诺液压科技有限公司 | 全自动端子机|刺破式端子压接机|全自动双头沾锡机|全自动插胶壳端子机-东莞市傅氏兄弟机械设备有限公司 | 铝板冲孔网,不锈钢冲孔网,圆孔冲孔网板,鳄鱼嘴-鱼眼防滑板,盾构走道板-江拓数控冲孔网厂-河北江拓丝网有限公司 | 气动绞车,山东气动绞车,气动绞车厂家-烟台博海石油机械有限公司 气动隔膜泵厂家-温州永嘉定远泵阀有限公司 |