立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键软件集成研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

SCADE 模型测试工具

您的位置: 首页 > 产品中心 > SCADE 模型测试工具

SCADE 模型测试工具 (ASMT)


Esteral公司的SCADE模型开发工具套件中包括SCADE Suite和SCADE Display模块,是机载软件研制过程中常用的模型开发工具。SCADE模型开发工具配套提供的仿真调试环境,可以胜任模型开发过程中的调试工作。然而,在进行模型测试时,即使购买了SCADE TEST套件,也通常难以满足用户的所有测试需求(如规范化、测试化、易用性、高可读性等)。


爱韦讯已准备好了ASMT—SCADE模型测试工具,提供以下功能,帮助您解决SCADE模型测试过程的种种难题:


提供一套完整的SCADE行为+图形模型的测试解决方案和工作流程;
轻量级,无需复杂的支持环境和专用环境,降低项目成本;

简单易学的测试用例设计方法,无需掌握任何开发语言或脚本语言;
自动生成测试规程;

测试结果自动包含验证点截图;
支持行为模型输入测试覆盖分析;

支持OpenGL显示模型的Object图形测试覆盖分析;
支持A661显示模型的Widget图形测试覆盖分析。


▌ASMT功能概述


ASMT能够在PC机(Windows系统)上针对SCADE模型执行自动化测试。该工具能够为用户提供图形化的操作界面,其功能包括:

★ 测试驱动生成
★ 测试执行
★ 模型调试
★ 测试用例导入
★ 测试结果分析和查看
★ MTC测试辅助






▌ASMT全套解决方案


规范的测试用例模板:提供简单、易读、易编写的测试用例开发环境;

测试脚本生成模块:能自动将符合测试用例模板规范的测试用例转换为测试脚本;

SCADE模型插装模块:支持以下三种SCADE模型的测试插装;

— SCADE Suite行为模型

— SCADE Suite行为模型+SCADE Display OpenGL显示模型

— SCADE Suite行为模型+SCADE Display A661显示模型

仿真测试模块:执行测试脚本和插装后的SCADE模型程序,收集测试结果和覆盖率数据;

测试调试模块:支持用户逐步调试测试脚本,通过选择测试模型的变量、特定操作函数,观察模型的实际运

行状态;

图形化用户界面:为完整的测试流程提供易用的图形化界面。


上海爱韦讯信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT © 2017SHAVIATION 邮政编码:201203