滿額折
商品簡介
相關商品
商品簡介
本文圍繞“存在部分成功測試用例的情況下，有效地報告缺陷位置，為開發人員理解和修復缺陷提供充分的信息。”這一目標，研究測試用例優選方法和基於程序不變量的故障定位方法。主要研究內容分為以下三個部分。(1)為了“zui大化地利用測試信息，選擇適合於故障定位的測試用例集合”，提出了面向有效故障定位的測試用例優選方法。(2)針對已有方法對不變量定義不完善導致可定位的缺陷種類有限、因缺少對測試用例的影響分析導致不變量違背檢測的漏檢等問題，提出了基於程序不變量分析多種缺陷類型的故障定位方法。(3)針對已有方法缺少對失效狀態傳播的分析，導致不變量違背檢測的漏檢和誤檢，難於準確定位到失效的產生根源等問題，提出了基於程序不變量解析失效狀態傳播的故障定位方法。
今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。