[發明專利]來自局部設計模型的軟件測試案例生成

有效

• 申請號: 201210357186.7
• 申請日: 2012-09-21
• 公開（公告）號: CN103019669A
• 公開（公告）日: 2013-04-03
• 發明（設計）人: P.M.佩拉南達姆;A.A.嘉德卡里;R.賽瑟
• 申請（專利權）人: 通用汽車環球科技運作有限責任公司
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F11/36
• 代理公司: 北京市柳沈律師事務所 11105
• 代理人: 葛青

1.一種用于關于局部設計模型（PDM）的測試中軟件（SUT）的測試方法，該PDM具有不同于SUT邊界的邊界，該方法包括：

記錄一組輸入信息，包括SUT、PDM、限定了需要數目的測試案例的覆蓋標準；

經由主機識別SUT中對應于PDM的邊界信號的一組變量；和

使用SUT、PDM和該組變量提取滿足覆蓋標準的一組測試案例。

2.如權利要求1所述的方法，其中提取一組測試案例包括：

從SUT產生初始的一組測試案例；和

測量初始的該組測試案例在PDM上的覆蓋。

3.如權利要求2所述的方法，其還包括：

在PDM水平上產生附加的一組測試案例；

使用傳播技術和啟發導向技術中的一種利用相應的約束函數將附加的該組測試案例映射至SUT的邊界；和

使用所述主機求解所述相應的約束函數。

4.如權利要求1所述的方法，其還包括：

在對于預定數量的迭代利用隨機輸入模擬SUT的同時登錄PDM的輸入和輸出（I/O)值；和

使用登錄的輸入模擬PDM；和

將PDM的輸出和一組期望輸出進行比較。

5.一種用于關于局部設計模型（PDM）的測試中軟件（SUT）的測試系統，該PDM具有不同于SUT邊界的邊界，該系統包括：

主機，其接收和記錄輸入組，該輸入組包括SUT、PDM和限定了需要數目的測試案例的覆蓋標準；和

有形/非易失性存儲器，其上記錄有測試生成工具和用于測試所述SUT的一組處理指令；

其中所述主機配置為執行所述處理指令，以由此識別SUT中的一組變量，該組變量對應于PDM的邊界信號，且使用SUT、PDM和該組變量提取滿足覆蓋標準的一組測試案例。

6.如權利要求5所述的系統，其中所述主機配置為：

從所述SUT產生該組測試案例的初始版本；和

測量該組測試案例的初始版本在PDM上的覆蓋。

7.如權利要求5所述的系統，其中所述主機執行正向傳播技術或反向傳播技術中的一種以將來自PDM的測試案例的至少一些自動映射至SUT。

8.如權利要求5所述的系統，其中所述主機配置為通過下列方式提取該組測試案例：

從SUT產生初始的一組測試案例；和

測量初始的該組測試案例在PDM上的覆蓋。

9.如權利要求5所述的系統，其中所述主機被配置為：

在所述PDM的水平上產生附加的一組測試案例；

使用正向傳播技術、反向傳播技術和啟發導向技術中的一種利用相應的約束函數將附加的該組測試案例映射至SUT的邊界；和

使用所述主機求解所述相應的約束函數。

10.如權利要求5所述的系統，其中所述主機被配置為：

將對所述SUT的一組輸入信號映射至PDM中相應的值。