1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究Testing of Parallel Parameterized Extended Finite State Machines with Depend

论文研究Testing of Parallel Parameterized Extended Finite State Machines with Depend

上传者: 2020-02-16 18:31:16上传 PDF文件 289.6KB 热度 33次
带有外部变量依赖的并行参数化扩展有限状态机测试,姚姜源,王之梁,现阶段基于模型的测试的相关研究主要关注单一组件模型,如FSM和EFSM。但是在某些协议中,可能存在一些带有对其它组件的变量依赖的��
用户评论