應用程序驗證和測試

straton軟件驗證工具專為希望自動驗證straton指令集、創建測試應用程序和自動化回歸測試以識別影響行為的OEM廠商所設計。

驗證可以在集成到straton IDE的仿真工具中完成，也可以通過TCP/IP或串行線與真實的硬件平臺連接。

該工具自動鏈接一組應用程序的測試，每個應用程序都存儲為XML導出文件并應用約定。?

對于每個測試項目，驗證工具會自動：

• 使用straton數據庫從XML文件中提取項目
• 使用straton編譯器進行編譯
• 連接到runtime并使用straton網絡接口下載
• 等待OK或FAIL信息。

在第一個錯誤之后測試將停止。?

該工具隨附了一組示例測試項目，可以通過用戶應用程序進行增強。