约束型标记驱动Petri网相关硕士博士期刊学术论文 - 搜论网

约束型标记驱动Petri网相关论文

一种类间交互测试的约束型标记驱动Petri网模型

面向对象软件测试的主要问题是考虑类间交互的集成测试,交互测试能检查出对象间的消息传递产生的不可达路径.设计了一种约束型标记......

期刊

类间交互测试对象活跃点对象连接子分支冲突标记-变迁路径约束型标记驱动Petri网 interclass interactions test objec

看过本文同时还关注