验证工具

应用程序验证和测试

straton软件验证工具专为希望自动验证straton指令集、创建测试应用程序和自动化回归测试以识别影响行为的OEM厂商所设计。

验证可以在集成到straton IDE的仿真工具中完成，也可以通过TCP/IP或串行线与真实的硬件平台连接。

该工具自动链接一组应用程序的测试，每个应用程序都存储为XML导出文件并应用约定。 

对于每个测试项目，验证工具会自动：

• 使用straton数据库从XML文件中提取项目
• 使用straton编译器进行编译
• 连接到runtime并使用straton网络接口下载
• 等待OK或FAIL信息。

在第一个错误之后测试将停止。 

该工具随附了一组示例测试项目，可以通过用户应用程序进行增强。