点击蓝字 关注我们
在基于模型的高安全、高复杂性系统开发与测试中,团队常面临测试环境搭建困难、生成的测试环境无法仿真、测试用例设计耗时且覆盖不足、各种故障导致仿真中断、非法信号难以注入进行测试、标定量的变化导致测试用例数量激增、全局变量(尤其是stateflow中使用的)无法便捷记录等多重挑战。
这些痛点不仅大幅拉长测试周期,更直接影响测试的充分性与可靠性。
面对这些令人头疼的测试难题,难道就无法破解僵局吗?答案是:有!MQTester提供完整的测试解决方案,正是为您量身打造。利用工具快速解决难题,意味着在全面提升测试效率与覆盖度的同时,为符合ISO 26262等功能安全标准提供完备的测试证据支撑。
本期让我们一同了解MQTester如何精准化解测试中遇到的疑难杂症。
举例说明
Example
MQTester智能识别测试对象中所有可记录的Data Store Memory信号,并提供便捷的选择界面。
便捷的选择界面
用户选择后,MQTester会自动设置记录属性或在基础工作区生成对应变量,免去手动查找与设置的繁琐,轻松实现信号的记录与参数化。
记录模型Data Store Memory信号
在Stateflow Chart 子系统中同样适用
举例说明
Example
MQTester深度解析AP模型,自动构建完整的测试环境:为函数原型产生相应的函数调用,并增加函数的输入输出信号;如果原模型中所调用的函数原型不存在,可根据调用信息自动产生函数原型。
函数端口及调用端口自动连接,无需手动干预,保障测试完整性。
AP模型生成完整的测试环境
举例说明
Example
MQTester支持在模型中直接记录中间信号。
用户可直接在测试用例中直接对中间信号进行赋值,灵活模拟各类瞬时或永久性故障,测试模型对非法信号的处理功能,极大提升了异常测试的效率和覆盖率。
信号名为loc
举例说明
Example
以模型中一个由变量赋值的Gain模块为例,在测试用例中可以直接、动态地调整其值,并实时取得结果。
无需修改模型或中断仿真,即可快速模拟多种情况,极大提升测试效率与覆盖度。
举例说明
Example
当测试对象中仅有From模块而缺失对应的Goto时,MQTester能自动识别此孤立信号,并为其在测试环境中补齐Goto模块,并把该变量作为输入信号,在编写测试用例时可以随时修改。
在确保仿真连贯性的同时又使测试无缝进行。
以Goto与From模块为例
举例说明
Example
用户在MQTester界面创建测试组时可自由选择脚本式/列表式,多样化的用例书写方式,使测试更灵活。
自由选择两种方式
脚本式测试用例
列表式测试用例
用户在测试用例菜单下可以看到一系列关于组合测试用例的选项,选择新建后组合配置文件会自动生成并打开,文件中罗列了当前测试对象进行排列组合所需的所有配置信息。配置文件内容可根据需求设置期望值或评估函数。
全组合测试用例菜单
相关配置文件
MQTester中使用“自动测试”命令即可自动生成覆盖度最高的测试用例。
举例说明
Example
在MQTester中不仅可以查看正交表,还提供创建正交组合实例。
如果您正在面临文中提到的测试挑战,或是有自己独特的测试场景需求,我们强烈建议您与我们取得联系。我们的技术团队将为您提供专业的产品咨询与定制化解决方案。
若您遇到了未在文中提到的问题,欢迎联系我们直接沟通,让我们助力您打造更高效、更可靠的测试流程!

