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

有效

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

技術領域

本公開涉及關于局部設計模型的用于軟件代碼的測試的測試案例的自動生成。

背景技術

存在有用于測試實現了開發中的軟件的套件的編程代碼的多種自動化方式。基于模型的測試（MBT）是一種特別有用的“黑匣子”軟件測試方式。MBT涉及使用高層次狀態機或其他實施代碼的合適模型的測試案例的自動生成。輸入信號被施加至模型的邊界，且模型的響應被緊密地觀察。等同的代碼被測試以確定該代碼是否提供和模型相同的輸入/輸出序列。輸入域的相對寬的覆蓋可通過使用傳統的MBT技術實現，而不需要大量的測試案例的手動生成。

對于傳統的MBT方法，模型的輸入/輸出（I/O）邊界必須匹配正在測試的軟件代碼的I/O邊界。但是，在實踐中，高層次模型趨向于為局部的或甚至不存在，因此使得傳統的MBT方法不夠最優。該模型邊界不一致的原因可以是不同的。例如，軟件可隨時間經過而累積地開發出，其中一些編程團隊創建軟件代碼的不同部分。在另一些情形中，軟件編程員可能直接開始寫代碼，而沒有首先對軟件建模。因此，僅總體代碼中的一部分可能具有相應的模型。在汽車工業和具有大型、分散的使用不同軟件的主機的制造設備的其他行業中，軟件的不同部分可能由不同的供應商提供。全部這些原因可能結合，以使得傳統的MBT方法除了最理論化的應用之外的全部應用受挫。

發明內容

因此，本文公開了一種方法，用于關于局部設計模型的用于軟件實施代碼的測試的測試案例的自動生成。實施軟件的邊界上的輸入-輸出（I/O)信號可不同于局部模型邊界處的I/O信號。傳統的MBT技術不能在這樣的情形中有效地使用。信息被如本文所述地從軟件和局部模型（一個或多個）兩者中獲取，用于產生需要的測試案例。產生的測試案例確保了基于局部模型的結構的一定質量的覆蓋指標。以這樣的方式，可使用此處公開的方法和系統來確定產生的測試套件的質量。

特別地，本文中公開一種方法，用于關于具有不同于SUT代碼的邊界的邊界的局部設計模型（PDM）的測試中軟件（SUT代碼）的測試。該方法包括記錄一組輸入信息，包括SUT代碼、PDM和限定了需要數目的測試案例的覆蓋標準。該方法還包括經由主機識別SUT中對應于PDM的I/O邊界信號的一組變量。繼而使用SUT、PDM和該組變量提取滿足覆蓋標準的一組測試案例。可使用主機來使用提取的該組測試案例來測試SUT代碼。

提取一組測試案例可包括從SUT代碼產生初始的一組測試案例，且繼而測量初始的該組測試案例在PDM上的覆蓋。該方法還可包括在PDM水平上產生附加的一組測試案例，且繼而使用正向/反向傳播或基于啟發的導向技術將具有相應的約束函數的附加的該組測試案例映射至SUT代碼的邊界。可隨后使用主機來求解相應的約束函數，以產生測試案例的其他部分，且獲得關于SUT的完整或匹配測試案例。

用于關于PDM測試SUT的系統包括主機和存儲器。該主機接收和記錄輸入組，包括SUT、PDM和限定了需要數目的測試案例的覆蓋標準。存儲器記錄用于測試SUT的處理指令。主機配置為執行該處理指令以識別對應于PDM的I/O邊界信號的SUT中的變量，并提取測試案例。該測試案例使用SUT、PDM或該組變量滿足覆蓋標準。

當結合附圖時，上述特征和優勢從下文中用于實施本發明的最佳模式的詳盡描述中是輕易地明顯的。

附圖說明

圖1是用于產生用于關于局部設計模型或模塊的軟件實施代碼的測試的測試案例的系統的示意圖。

圖2是軟件實施代碼和局部模型或模塊的輸入/輸出（I/O）信號和邊界的示意性流程圖。

圖3是描述本方法的實施例的流程圖。

具體實施方式

參見附圖，其中相同的附圖標記在若干幅附圖中指示相同或相似的構件，系統10在圖1中示意地示出。本系統10配置為自動產生用于軟件實施代碼（即測試中的軟件（SUT）15）關于下文中所述的局部設計模型（PDM）的測試的測試案例。在被完全測試和驗證后，SUT?15可被最終加載到相應的裝置20的存儲器中。

該裝置20可為任意機械、電、或電動機械系統，例如車輛用剎車系統或將運行軟件作為其操作的一部分的任意其他的車輛/非車輛系統或裝置。裝置20因此包括適于執行該處理指令、或至少和提供該功能的分立裝置通信的處理器30。可包括線路、通信端口、端子、和/或其他合適的數據采集點的數據端口25存在于裝置20中，且配置為按需要輸出一組輸出信號23。