TASMO应用一：自动生成测试用例
以灯控模型为例，在Simulink子系统中，分别有两个输入信号和一个输出信号，当开关处于ON或OFF状态时，头灯也随之打开或关闭；当开关处于AUTO状态时，头灯受到光照条件的影响打开或关闭。
功能安全要求软件单元测试要进行基于需求的测试和接口测试，同时为了保证测试的完整性，还需尽可能满足结构覆盖度。TASMO的用例生成算法不断精进，同时利用静态分析技术，自动生成最少数量的测试用例来最大化遍历模型，满足上述要求的前提下还实现了“自动化”。用户只需要进行以下步骤：
（1） 点击Generate Test Cases - for MATLAB/Simulink Models (TASMO)，启动TASMO工具箱，选择当前测试的模型；
（2） 点击Input Specification，对输入接口的最大最小值、步进长度、信号组成方式进行配置，自动生成的用例会在配置的数值范围内实现遍历，覆盖接口测试；
（3） 点击Coverage Goals Selection，选择生成用例的结构覆盖度目标，可选择CC、DC、MC/DC准则。以模型中的OR模块为例，如须满足MC/DC准则，须包含如下情况：①两个输入为false；②一个输入为true，另一个输入为false。TASMO可以分析出如下结构：
（4） 点击Generate，基于之前的配置一键生成测试用例。
测试用例生成完成后，只需根据功能需求逐条编写GUI评估，便可实现基于需求的测试。相比传统的测试方式，使用TASMO工具箱，不仅验证了模型设计符合功能需求设计，在测试建模效率上也得到了极大的提高。同时TASMO自动生成的测试用例也可以复用于后续的SiL测试，验证模型生成的代码是否符合功能预期。
————————————————
选自文章：TASMO-自动测试建模好帮手
原文链接：https://blog.csdn.net/weixin_51954443/article/details/129402484
- 复制链接
- 举报
