Jetco Technologies GmbH, Berlin Germany 成立于2012年,是为使用Simulink®、Stateflow® (RTW Embedded Coder®)和TargetLink ®进行基于模型软件开发提供完整质量控制解决方案的高科技公司,致力于为嵌入式软件的质量保证提供解决方案, 利用国外有价值的经验为中国企业提供规范的服务。
目前已有的软件产品系列:
模型规范检查 Model Guideline Checker(MGChecker)
模型功能测试软件 Model Quality Tester(MQTester)
模型架构分析 Model Structure Analyzer(MSAnalyzer)
MQTester是针对嵌入式系统的基于模型的测试工具,支持所有的测试过程:包括测试建模、测试执行、测试评估以及测试报告的生成。在模型测试中,测试环境生成、测试用例编写及测试结果评估是常见的难点, MQT在这三个方面做出了优化的解决方案,使得测试过程变得简单迅速。
MQTester的优势:
建立测试环境
只要被测对象位于一个子系统中,并且模型能够仿真,MQTester就能检测到模型的各项参数,包括所用参数、所调用库路径、所使用的数据字典等,只需要指定被测子系统,MQTester就能自动生成测试环境。MQTester既能为开环系统生成测试环境,也能为闭环系统生成测试环境,在闭环测试中可以只关心被测对象的结果、覆盖度等指标,并且在SIL测试时能只为被测对象建立SIL模块。
测试用例生成
MQTester提供两种生成测试用例的方式,一种是按照需求使用自定义的脚本语言生成测试用例,这种情况下,系统会自动分析被测对象接口,所有的信号及参数信息都呈现到使用者面前。另一种是按照模型的架构自动生成满足最大覆盖度的测试用例,MQTester中使用一个命令即可自动生成用例。
测试结果评估
MQTester提供多种评估方式,适用于各种规模的测试项目:
人工评估: 通过人工查看输入输出信号判断模型是否满足需求
信号比较:通过配置自动进行MIL SIL PIL 及参考信号之间的比较,自动给出比较结果
期望值:在定义输入信号时为输出信号定义期望值,系统自动和模型输出比较
评估函数:按照需求书写函数以计算输出信号随输入信号变化的期望值,自动和系统输出比较,给出评估结果。
评估函数的自动生成
在定义输入信号值时使用MQTester提供的期望值函数可以由系统自动生成评估函数。MQTester提供了多种期望值函数,覆盖测试工作中的大多数需求。
信号查看
信号查看器提供对测试过程中各种输入输出信号的查看、比较,任意放大缩小,可以任意选择多个信号显示在同一个视图中以方便细节对比。
测试质量监测
一个完整的测试需要各项测试的工作都按照标准的要求完成应有的工作,例如,需要要被测试用例全部覆盖,各项工作都要进行相应的审核工作,测试结果要全部进行评估,结构覆盖度达到一定要求等。 MQTester提供完整的检测指标对测试工作进行评估。
需求追踪
需求是测试人员执行测试的输入条件,测试的目的就是保证设计完成的系统最终能够符合需求,所以对于一个优秀的测试软件而言,与需求系统之间的关联以及追踪是一个必不可缺的特性,现在众多的标准都对需求管理有着严格的要求,例如IEC 61508、DO-178B、EN50128以及ISO 26262。
持续集成支持
MQTester支持在Jenkins中的持续集成,通过配置可以在jenkins中通过多种方式触发MQTester的执行,从而达到模型测试的自动执行,节省时间,提高效率。
提供免费试用,欢迎来电或来邮咨询
Copyright © 2023 汉宜电子科技(上海)有限公司 All Rights Reserved