[發明專利]模型測試系統

在審

• 申請號: 201711345025.5
• 申請日: 2017-12-15
• 公開（公告）號: CN107942733A
• 公開（公告）日: 2018-04-20
• 發明（設計）人: 陳麗琴
• 申請（專利權）人: 四川漢科計算機信息技術有限公司
• 主分類號: G05B17/02
• 分類號: G05B17/02
• 代理公司: 暫無信息
• 代理人: 暫無信息

技術領域

本發明涉及模型測試領域，具體涉及一種模型測試系統。

背景技術

軟件測試和軟件開發一樣，都遵循軟件工程原理，遵循管理學原理 。測試專家通過實踐總結出了很多很好的測試模型。這些模型將測試活動進行了抽象，明確了測試與開發之間的關系，是測試管理的重要參考依據，其常用的測試模型如下：

在軟件測試方面，V模型是最廣為人知的模型，盡管很多富有實際經驗的測試人員還是不太熟悉V模型，或者其它的模型。V模型已存在了很長時間，和瀑布開發模型有著一些共同的特性，由此也和瀑布模型一樣地受到了批評和質疑。V模型中的過程從左到右，描述了基本的開發過程和測試行為。V模型的價值在于它非常明確地標明了測試過程中存在的不同級別，并且清楚地描述了這些測試階段和開發過程期間各階段的對應關系。局限性:把測試作為編碼之后的最后一個活動，需求分析等前期產生的錯誤直到后期的驗收測試才能發現。

W模型由Evolutif公司提出，相對于V模型，W模型更科學。W模型是V模型的發展，強調的是測試伴隨著整個軟件開發周期，而且測試的對象不僅僅是程序，需求、功能和設計同樣要測試。測試與開發是同步進行的，從而有利于盡早地發現問題。

W模型也有局限性。W模型和V模型都把軟件的開發視為需求、設計、編碼等一系列串行的活動，無法支持迭代、自發性以及變更調整。

X模型X模型的左邊描述的是針對單獨程序片段所進行的相互分離的編碼和測試，此后將進行頻繁的交接，通過集成最終成為可執行的程序，然后再對這些可執行程序進行測試。己通過集成測試的成品可以進行封裝并提交給用戶，也可以作為更大規模和范圍內集成的一部分。多根并行的曲線表示變更可以在各個部分發生。由圖中可見，X模型還定位了探索性測試，這是不進行事先計劃的特殊類型的測試，這一方式往往能幫助有經驗的測試人員在測試計劃之外發現更多的軟件錯誤。但這樣可能對測試造成人力、物力和財力的浪費，對測試員的熟練程度要求比較高。

H模型中，軟件測試過程活動完全獨立，貫穿于整個產品的周期，與其他流程并發地進行，某個測試點準備就緒時，就可以從測試準備階段進行到測試執行階段。軟件測試可以盡早的進行，并且可以根據被測物的不同而分層次進行。

這個示意圖演示了在整個生產周期中某個層次上的一次測試"微循環"。圖中標注的其它流程可以是任意的開發流程，例如設計流程或者編碼流程。也就是說，只要測試條件成熟了，測試準備活動完成了，測試執行活動就可以進行了。

H模型揭示了一個原理:軟件測試是一個獨立的流程，貫穿產品整個生命周期，與其他流程并發地進行。H模型指出軟件測試要盡早準備，盡早執行。不同的測試活動可以是按照某個次序先后進行的，但也可能是反復的，只要某個測試達到準備就緒點，測試執行活動就可以開展。

現有技術的缺點在于：

（1）模型設計過程目前沒有統一的設計規范，導致模型風格不一，嚴重影響模型的走查。

（2）模型設計和需求功能點的一一對應關系。

（3）模型生成代碼需要使用靜態分析工具進行分析，分析模型的質量度量。

（4）模型的單元測試。

（5）模型測試mc/dc覆蓋。

（6）針對模型的仿真，可以測試模型輸入輸出的正確性，保證模型接口以及功能的正確性。

（7）保證模型的安全性。

（8）模型測試報告比較單一，需要用其他工具進行統計。

發明內容

本發明的目的在于克服現有技術的不足，提供一種模型測試系統，采用模塊化思想，分別集成或自我研發相關測試工具，使其具備全面的測試功能。

本發明的目的是通過以下技術方案來實現的：

模型測試系統，該系統包括：

規則檢查工具：采用Testbed和EMRunner測試工具，對系統原型生成的代碼進行編碼規范及規則檢查；

需求追蹤工具：成BenderRBT需求測試工具，通過該工具可以對軟件需求或用戶需求進行需求因果圖設計，形成清晰的條目化需求追蹤關系圖，結合Scade生成的需求關系圖檢查模型與需求一致性；

靜態分析工具：采用Testbed、 EMRunner或PolySpace測試工具，分析模型的質量度量；

動態測試工具：采用Testbed和EMRunner測試工具，對模型進行單元測試；

覆蓋率分析工具：針對模型代碼的mc/dc覆蓋率進行測試；

仿真驗證工具：針對不同專業領域集成綜合性半實物仿真平臺；