[發明專利]用于軟件測試的系統和方法有效
| 申請號: | 201410334090.8 | 申請日: | 2014-07-14 |
| 公開(公告)號: | CN104346277B | 公開(公告)日: | 2018-09-14 |
| 發明(設計)人: | M·愛丁頓;A·切凱蒂 | 申請(專利權)人: | 比奇弗澤有限責任公司 |
| 主分類號: | G06F11/36 | 分類號: | G06F11/36 |
| 代理公司: | 北京戈程知識產權代理有限公司 11314 | 代理人: | 程偉;王錦陽 |
| 地址: | 美國華*** | 國省代碼: | 美國;US |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 計算機 代碼 基于 隱喻 語言 模糊 測試 | ||
1.一種用于軟件測試的系統,包括:
處理器;以及
存儲器,存儲可執行指令,當通過該處理器執行時幫助操作的性能,包括:
接收在第一計算機語言的代碼段;
將該代碼段分解為構成代碼元素;
確定對應于該構成代碼元素的隱喻元素;
根據該隱喻元素確定對應于該代碼段的在第二計算機語言的表示隱喻的隱喻數據;以及
幫助訪問該隱喻數據。
2.如權利要求1所述的系統,其中,該第一計算機語言與該第二計算機語言不同。
3.如權利要求1所述的系統,其中,該確定該隱喻數據包括對應于該隱喻元素確定包括還沒有定義的關系的初始隱喻架構。
4.如權利要求3所述的系統,其中,該確定該隱喻數據還包括根據該初始隱喻架構確定包含確定的關系的中間隱喻,其中,該定義的關系取代還沒有定義的關系作為在該初始隱喻架構中還沒有定義的關系的分析的結果。
5.如權利要求4所述的系統,其中,該確定的關系是與變數相關的范圍,該范圍被確定作為在該初始隱喻架構中包括的該變數的分析的結果。
6.如權利要求4所述的系統,其中,該確定該隱喻數據還包括用根據該中間隱喻的固有的相關性的外顯相關性更新該中間隱喻。
7.如權利要求1所述的系統,還包括:
確定表示變異的隱喻的變異的隱喻數據作為表示變異的變異數據施加至該隱喻數據的結果;
生成對應于該變異的隱喻數據的模糊化代碼段;和
幫助訪問該模糊化代碼段。
8.如權利要求7所述的系統,其中,該確定該變異的隱喻數據是施加該變異數據到該隱喻數據的結果,引起語言變異或數據變異的至少一者。
9.如權利要求7所述的系統,其中,該變異數據被存儲在數據存儲器件上。
10.如權利要求9所述的系統,其中,該數據存儲器件包括變異庫,該變異庫包括該變異數據,該數據存儲器件位于該處理器遠處。
11.如權利要求7所述的系統,還包括:
確定在該代碼段的執行和該模糊化代碼段的執行之間的性能的偏離;和
幫助訪問與性能的該偏離相關的信息。
12.如權利要求11所述的系統,還包括:
在執行該模糊化代碼段時傳遞模糊化數據到該模糊化代碼段;
確定無該模糊化數據的該模糊化代碼段的該執行和與該模糊化數據的該模糊化代碼段的該執行之間的在性能的另一偏離;和
幫助訪問與傳到該模糊化數據相關的性能中與該另一偏離相關的信息。
13.如權利要求1所述的系統,還包括:
在與該第一計算機語言或該第二計算機語言不同的第三計算機語言接收另一代碼段,該另一代碼段包括其它的構成代碼元素,該另一構成代碼元素確定與該代碼段的該構成代碼元素相似;
確定對應于該另一構成代碼元素的其他隱喻元素,其中由于該構成代碼元素和該其他構成代碼元素確定是相似的,所以該其他隱喻元素確定與該隱喻元素相同;
根據該其他隱喻元素確定在該第二計算機語言對應于該其他代碼段表示另一隱喻的其他隱喻數據,其中由于該隱喻元素和該其他隱喻元素是相同的,所以該其他隱喻確定與該隱喻相同;和
幫助訪問該其他隱喻數據。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于比奇弗澤有限責任公司,未經比奇弗澤有限責任公司許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201410334090.8/1.html,轉載請聲明來源鉆瓜專利網。





