[發明專利]測試模型和方法無效
| 申請號: | 200910119490.6 | 申請日: | 2009-03-17 |
| 公開(公告)號: | CN101841433A | 公開(公告)日: | 2010-09-22 |
| 發明(設計)人: | 白曉穎 | 申請(專利權)人: | 清華大學 |
| 主分類號: | H04L12/26 | 分類號: | H04L12/26;G06F11/36 |
| 代理公司: | 北京北翔知識產權代理有限公司 11285 | 代理人: | 楊勇;謝靜 |
| 地址: | 10008*** | 國省代碼: | 北京;11 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 測試 模型 方法 | ||
1.一種測試模型,包括:
待測服務單元,被配置成包含多個待測服務;
測試數據單元,被配置成指定多個與各個測試相關的測試數據;
測試行為單元,被配置成為各個測試指定多個測試行為;
測試計劃單元,被配置成為各個測試指定多個測試計劃;
測試結果單元,被配置成包含各個測試的多個測試結果;
以及其中該待測服務單元與該測試數據單元、該測試行為單元、該測試計劃單元和該測試結果單元相關聯,并對它們進行訪問。
2.如權利要求1所述的測試模型,其中所述測試模型是基于本體的。
3.如權利要求1或2所述的測試模型,進一步包括被配置成指定測試結果的評估標準的仲裁器。
4.如權利要求1或2所述的測試模型,還包括包含有測試用例單元和測試套件單元的測試單元。
5.如權利要求1或2所述的測試模型,其中所述測試數據單元還包括:數據池單元、數據選擇器單元、數據分區單元以及數據值單元。
6.如權利要求5所述的測試模型,其中所述數據分區單元包括數據的等價類分區的集合。
7.一種測試方法,包括步驟:
使用一個或多個變異算子來生成多個變異體OWL文件;
從該變異體OWL文件中檢測一個或多個不一致的變異體;
從該變異體OWL文件中移除所檢測到的一個或多個不一致的變異體;
執行剩余的變異體;
生成測試結果。
8.如權利要求7所述的測試方法,其中所述測試方法是基于本體的。
9.如權利要求7或8所述的測試方法,其中所述變異算子被分類為:數據錯誤、條件錯誤、過程錯誤以及數據依賴錯誤。
10.如權利要求7或8所述的測試方法,其中所述變異算子被分類為:輸入/輸出數據變異、條件變異、控制流變異以及數據流變異。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于清華大學,未經清華大學許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/200910119490.6/1.html,轉載請聲明來源鉆瓜專利網。





