嵌入式軟體設計自動化(ESDA) 軟體商 Reactive Systems 發佈V2010版本
2010.02.28
以嵌入式軟體設計自動化 (ESDA) 工具為主的 Reactive Systems 公司,針對其測試和驗證工具 Reactis,發佈 V2010 新版本。新版 Reactis 與於 2009 年 7 月所釋出版本相比,增加了許多實用的新功能,並將原有功能包括 C Plugin 模組進行加強。
64位元版本的新Reactis,需要安裝在64位元MATLAB軟體上,並支援MATLAB的R2009b和即將到來的R2010a,也支援S–Function中將使用者配置變數量作為參數使用,以支持更多的一維和二維查找表中輸入/輸出數據資料類型組合。Reactis也提供了新的設定,包括當將 Inf 或 NaN 值設定為「產生錯誤報告」時,若在模型的執行過程中,有一個 Inf 或 NaN 值被偵測到,Reactis將會顯示錯誤訊息。
新版 Reactis 也更新其 C Plugin 模組的部份功能。包括在更多不同的情況下,針對更多的程式架構中,查詢程式執行狀況細節的資訊,提供更多的訊息。此外,Reactis改進了C巨集敘述中覆蓋測試的追踪功能。若在C程式碼中,有多個程式碼片段引用到同一個巨集,當程式執行到此巨集引用時,Reactis會將該巨集程式碼突顯為紅色,直到所有的巨集程式碼均被執行完畢。此外,停留在巨集程式碼的過程中亦會列出所有陳述式以及他們對應的覆蓋測試信息。
RSI的Reactis自動化測試工具,為 Simulink/Stateflow控制軟體模型提供自動測試和模型驗證能力。該工具可用於測試模型和執行代碼之間的一致性,及驗證模型行為。Reactis自動測試驗證工具目前應用於全球數十家公司包含汽車、航空、工業與重型設備領域中。