1、SUT建模
SUT->SUT模型转换
输入:需求规格、功能
思路:系统化思维,多视角观察(上下文、业务流程、系统行为和变量关系);对系统进行抽象,突出关键特征,忽略掉实现细节;
建立输入信息之间关联
2、TRM建模
SUT模型->TRM模型转换
输入:SUT模型;测试信息,输入和响应;测试风险,测试经验;
思路:给予SUT模型,在增加输入条件,响应和风险等扩展SUT分支和测试信息;转换成组合模型或者状态机模型;
组合模型:分离行为主体和变量组合关系
3、芯片验证ST/SST
1)、业务处理流程、变量关系--》形成主体的用例流程;
2)、系统上下文:分析与外部子系统关系、测试经验库、启发性测试思考;-》丰富测试分支
芯片验证时采用数据驱动建模方法,TC用例可以主要体现抽象变量之间的配合关系,而tc_base可以体现公共的激励、响应、SUT处理流程。
TC+tc_base模式跟数据驱动建模完美契合。
SUT建模和TRM建模参考:https://www.docin.com/p-2470973253.html