搜索页_扩展有限状态机

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

中图分类法(154)

天文学、地球科学(2)

工业技术(146)

交通运输(7)

在“CNKI学位论文”中，命中：154条，耗时：小于0.01 秒

1.基于FSM的测试用例生成和测试优化

作者：刘攀

关键词：基于模型的测试 ; 测试生成 ; 测试优化 ; 测试序列实例化 ; 测试序列的冗余约简 ; 模型分解 ; 最小测试成本迁移覆盖准则 ; 测试支持工具

论文级别：博士

学位年度：2011

2.面向对象软件自动化单元测试技术研究

作者：申小军

关键词：单元测试 ; 状态图 ; 扩展有限状态机

论文级别：硕士

学位年度：2004

3.自行车微观行为动力学建模及仿真研究

作者：梁肖

关键词：城市交通 ; 自行车 ; 微观交通行为 ; 行为动力学模型 ; 行为实验 ; 自行车道路资源配置

论文级别：博士

学位年度：2012

4.基于BPMN的业务流程一体化建模方法研究与实现

作者：蔡章利

关键词：业务流程一体化建模 ; 业务流程建模符号(BPMN) ; 流程执行 ; 流程仿真 ; 语义验证

论文级别：博士

学位年度：2011

5.基于路径符号执行的数据相关性分析

作者：王晓亮

关键词：数据相关性 ; 静态测试 ; 动态测试 ; 路径 ; 符号执行

论文级别：硕士

学位年度：2004

6.基于UML状态图的类测试用例自动生成方法研究

作者：施凤鸣

关键词：面向对象 ; 软件测试 ; 测试用例自动生成 ; UML ; 状态图 ; 基于状态的测试

论文级别：硕士

学位年度：2003

7.基于TTCN-3的移动IPv6一致性测试套的研究与设计

作者：常婧

关键词：移动IPv6 ; 一致性测试 ; TTCN-3 ; 测试套

论文级别：硕士

学位年度：2008

8.基于状态图的集成测试研究

作者：林宏

关键词：状态图 ; 集成测试 ; 状态约束

论文级别：硕士

学位年度：2003

9.基于符号执行和约束求解的程序验证与测试工具

作者：徐辰

关键词：测试数据生成 ; 约束求解 ; 符号执行 ; 扩展有限状态机

论文级别：硕士

学位年度：2002

10.基于CP-nets模型的并行软件测试方法研究

作者：孙涛

关键词：并行软件 ; 测试 ; 着色Petri网 ; BitTorrent软件

论文级别：博士

学位年度：2012

1

2

3

4

5

6

7

8

9

按检索点细分(154)

题名(4)

目录(37)

关键词(21)

摘要(37)

引文(117)

按论文级别细分(154)

博士(24)

硕士(130)

按学位年度细分(154)

2002年(1)

2003年(3)

2004年(4)

2005年(12)

2006年(17)

2007年(21)

2008年(17)

2009年(22)

2010年(22)

2011年(25)

2012年(7)

2013年(3)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700