[發明專利]軟件可信性測試方法及裝置

有效

• 申請號: 201210148740.0
• 申請日: 2012-05-14
• 公開（公告）號: CN102708055A
• 公開（公告）日: 2012-10-03
• 發明（設計）人: 楊學紅;王國環
• 申請（專利權）人: 中國聯合網絡通信集團有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京同立鈞成知識產權代理有限公司 11205
• 代理人: 張娜

1.一種軟件可信性測試方法，其特征在于，包括：

獲取軟件代碼中待檢測的對象的名稱、所有狀態以及狀態變遷條件，所述狀態變遷條件為狀態之間的轉換關系；

根據所述對象的名稱、所有狀態以及狀態變遷條件，在用自然語言描述的所述對象的缺陷中進行提煉和語義轉換，生成用測試語言描述的所述對象的缺陷，所述測試語言為符合所述軟件代碼的語義的描述方式；

根據用測試語言描述的所述對象的缺陷，在所述軟件代碼中對所述對象進行缺陷檢測。

2.根據權利要求1所述的軟件可信性測試方法，其特征在于，所述獲取軟件代碼中待檢測對象的名稱、所有狀態以及狀態變遷條件包括：

接收測試人員通過用戶界面輸入的所述對象的名稱、所有狀態以及狀態變遷條件。

3.根據權利要求1或2所述的軟件可信性測試方法，其特征在于，所述根據所述對象的名稱、所有狀態以及狀態變遷條件，在用自然語言描述的所述對象的缺陷中進行提煉和語義轉換，生成用測試語言描述的所述對象的缺陷包括：

根據所述對象的所有狀態以及狀態變遷條件，從用自然語言描述的所述對象的缺陷中提取出所述對象的錯誤的狀態以及狀態變遷條件；

用所述測試語言對所述對象的名稱、所述對象的錯誤的狀態以及狀態變遷條件進行描述，生成用測試語言描述的所述對象的缺陷。

4.根據權利要求3所述的軟件可信性測試方法，其特征在于，所述根據用測試語言描述的所述對象的缺陷，在所述軟件代碼中對所述對象進行缺陷檢測包括：

根據用測試語言描述的所述對象的缺陷中的所述對象的名稱，獲取所述對象在所述軟件代碼中的狀態以及狀態變遷條件；

判斷所述對象在所述軟件代碼中的狀態以及狀態變遷條件是否屬于用測試語言描述的所述對象的缺陷中的所述對象的錯誤的狀態以及狀態變遷條件；

如果判斷結果為是，確定所述對象存在缺陷；

如果判斷結果為否，確定所述對象不存在缺陷。

5.根據權利要求4所述的軟件可信性測試方法，其特征在于，所述獲取軟件代碼中待檢測的對象的名稱、所有狀態以及狀態變遷條件之前包括：

對所述軟件代碼進行外部表現測試，獲取所述軟件代碼的外部表現評價值。

6.根據權利要求5所述的軟件可信性測試方法，其特征在于，所述根據用測試語言描述的所述對象的缺陷，在所述軟件代碼中對所述對象進行缺陷檢測之后還包括：

生成并輸出缺陷測試報告，所述缺陷測試報告包括所述軟件代碼的內部結構評價值，所述內部結構評價值為根據對所述對象的缺陷檢測結果對所述軟件代碼的內部結構做出的評價。

7.根據權利要求6所述的軟件可信性測試方法，其特征在于，還包括：

根據公式D=w1*ES+w2*IS，計算所述軟件代碼的整體可信性；

判斷所述軟件代碼的整體可信性是否大于預設整體可信性指標；

如果判斷結果為否，返回執行對所述軟件代碼進行外部表現測試，獲取所述軟件代碼的外部表現評價值的操作以及后續的操作；

其中，D為所述軟件代碼的整體可信性；

ES為所述軟件代碼的外部表現評價值；

IS為所述軟件代碼的內部結構評價值；

w1和w2分別為權重值，且w1+w2=1。

8.一種軟件可信性測試裝置，其特征在于，包括：

獲取模塊，用于獲取軟件代碼中待檢測的對象的名稱、所有狀態以及狀態變遷條件，所述狀態變遷條件為狀態之間的轉換關系；

生成模塊，用于根據所述對象的名稱、所有狀態以及狀態變遷條件，在用自然語言描述的所述對象的缺陷中進行提煉和語義轉換，生成用測試語言描述的所述對象的缺陷，所述測試語言為符合所述軟件代碼的語義的描述方式；

檢測模塊，用于根據用測試語言描述的所述對象的缺陷，在所述軟件代碼中對所述對象進行缺陷檢測。

9.根據權利要求8所述的軟件可信性測試裝置，其特征在于，所述獲取模塊具體用于接收測試人員通過用戶界面輸入的所述對象的名稱、所有狀態以及狀態變遷條件。