- 年份
- 2013(1)
- 2012(2)
- 2008(1)
- 2005(1)
- 2004(1)
- 1997(1)
- 1996(1)
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)(5)
- 北京大学中文核心期刊目录(北大核心)(4)
- 中国科学引文数据库(CSCD)(3)
- EI(1)
- 更多...
- 刊名
- 兵工自动化(1)
- 电力系统保护与控制(1)
- 空间控制技术与应用(1)
- 计算机与现代化(1)
- 计算机工程(1)
- 计算机应用研究(1)
- 通信学报(1)
- 高技术通讯:英文版(1)
- 更多...
- 作者单位
- 北京邮电大学(2)
- 上海师范大学(1)
- 湖南大学(1)
- 百色学院(1)
- 长沙理工大学(1)
- 更多...
- 语种
- 汉语(8)
- 关键词
- EFSM(8)
- 测试用例(2)
- CEFSM(1)
- Petri网(1)
- Protocol conformance testing(1)
- Test suite generation(1)
- UML(1)
- UML状态图(1)
- 一致性测试(1)
- 分布式系统(1)
- 更多...
- 作者
- 庞其祥(2)
- 余义传(1)
- 吕静(1)
- 屈迟文(1)
- 李军义(1)
- 段永颢(1)
- 王东明(1)
- 程时端(1)
- 童小娇(1)
- 罗冬梅(1)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 8 条结果
- 分布式系统中EFSM与Petri网的交叉式应用研究北大核心CSCDCSTPCD
- Principle and Design of a Test Suite Generation System——TSGSEI摘要:Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test su…查看全部>>
- EFSM的等价转换和通信协议一致性测试北大核心CSCD
- 面向对象的类的状态测试技术研究北大核心CSCD
- 飞行控制软件测试用例生成技术CSTPCD
- 面向状态图的类级测试方法研究CSTPCD摘要:面向对象软件是由类及其类之间的关联所实现,类测试是面向对象软件测试的关键.本文研究一种将包含层次和并发结构的状态图转化为可扩展有限状态机(EFSM)并获得相应的测试生成树,由测试树产生软件测试数据的类级软件测试方法.实验证明,该测试方法是有效可行的,在实践中能够取得较好的效果.
- 一种描述电力电子电路状态转换的新方法北大核心CSTPCD
- 基于UML模型的嵌入式软件测试用例生成方法CSTPCD