Embedded software; software test; test requirement modeling; MARTE;
机译:基于Z和MARTE的嵌入式软件安全建模与验证方法
机译:基于模型的框架涵盖了从规范到嵌入式软件系统中的时序要求验证的完整工作流程
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:基于MARTE建模嵌入式软件测试要求
机译:Ahp-port:一种基于层次分析法(AHP)的方法,用于对软件测试中的测试需求(PORT)进行优先级排序。
机译:基于模型的软件框架用于基于搜索的软件测试
机译:嵌入式实时软件的集成MARTE和基于组件的方法学组件模型的元模型验证