嵌入式軟體設計自動化(ESDA) 軟體商 Reactive Systems 榮獲測試生成方法的美國專利
2010.02.27Reactive Systems公司（RSI）所擁有的技術「自動產生軟體測試系統與方法」（System and Method for Automatic Test-Case Generation for Software）於2010年1月5日獲得美國專利。這項軟體測試方法的發明，可確保程式完全符合設計需求。
軟體的正確度和可靠度與產品品質相互聯繫。在今日社會裡，大至飛機、小至汽車都需依賴軟體驅動的嵌入式控制器。在理想情況下，工程師想測試一小塊軟體在所有可能的輸入狀況下分析軟體執行的行為，但在研發的過程中，由於參數測試條件的大量輸入，經常執行不出精確的系統測試結果。
這個專利的發明提供一個新的引導式模擬方法，以產生待測試軟體模組自動測試用例。此種方法藉由過量的測試，透過下列步驟，可有效選擇出一套可以進行詳盡測試的測試用例子集合。
首先，在待測試的軟體模組中先確定一套可完整覆蓋目標測試結果的測試用例，並選擇可涵蓋完整目標測試結果的測試用例，然後以最大數目用例來執行。直觀地說，此項發明透過待測試軟體模組的模擬、測試涵蓋率的追踪，在選擇在每個模擬步階時，選擇輸入的測試用例，及執行新的測試目標結果，據以證明此發明是有用且有效的。
RSI的Reactis Tester產品，於2002年推出。此工具於MathWorks公司的Simulink/Stateflow軟體模型下協同執行。當給定一個Simulink/Statflow模型後，Reactis Tester便自動生成所有的測試用例，並且全面執行該測試用例於該模型上。即將釋出的Reactics for C測試工具則將會在使用C成是語言所開發的軟體中, 根據此發明內容自動生成所有的C語言測試用例，並執行該軟體的測試驗證。RSI的發明者是該公司聯合創始人Rance Cleaveland, Steve Sims, 和RSI首席技術長David Hansel。
