电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
在对复杂的软件系统进行测试时，生成的系统状态空间可能会非常庞大．为了避免对整个状态空间进行遍历，提出将on-the-fly方法与CPN形式化建模方法结合起来，用于生成测试例．在这种方法中，无需对整个状态空间进行遍历，只是仅对测试人员感兴趣的部分状态空间进行针对性的测试．首先，给出CPN和扩展可达图的定义，介绍了on-the-fly测试方法中涉及的相关概念，包括系统规约、测试目的、同步乘积和测试例等，然后，实现了同步乘积算法，并设计相关测试例对其进行了测试，最后，选定一个被测系统示例CPN建模与on-the-fly结合的方法，并通过适配器实现与被测系统的交互，生成和执行测试例，由此验证了方法的可行性和有效性．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于关联规则的Web应用统计测试生成方法 3次下载
- 基于遗传算法的测试用例生成方法 2次下载
- 面向Java的Randoop自动化单元测试生成工具 8次下载
- 一种基于运行剖面的测试用例与选择方法 10次下载
- 结合混合符号执行的导向式灰盒模糊测试方法 14次下载
- 继电保护装置测试用例智能生成 2次下载
- 粒子群优化测试用例生成方法 0次下载
- 基于碰撞域检测优化的测试用例自动生成方法 2次下载
- 基于UML图依权限有序的Web链接测试用例生成方法 0次下载
- 基于DSEA的弱变异测试用例集生成方法 0次下载
- 基于跨平台系统中测试用例复用的解决方法 10次下载
- 手机硬件测试用例 55次下载
- 一种改进的两两组合测试用例生成方法
- 面向路径覆盖的演化测试用例生成技术
- 基于UML的生成场景测试用例研究
- TSMaster 测试报告生成器操作指南 170次阅读
- 创建约束随机测试目标 491次阅读
- 从跨平台测试用例复用想到IP测试意图交付 699次阅读
- 基于VQVAE的长文本生成 利用离散code来建模文本篇章结构的方法 1451次阅读
- 何时使用 Fly-Buck 解决方案更好 1837次阅读
- 围绕拓扑结构与端接展开，浅谈对fly-by结构 5927次阅读
- 数据测试：代替测试用例的检查表 2613次阅读
- 详谈黑盒测试用例设计 2800次阅读
- 网站测试的8大方面和常用工具 3689次阅读
- 数据测试用例设计：因果图方法 2985次阅读
- 常用模块的数据测试：登录添加查询删除 1906次阅读
- Python自动化测试框架有哪些？ 4575次阅读
- 一种基于仿真测试平台的实物自动化测试环境 6163次阅读
- UMTS测试背后的射频测试原理 8966次阅读
- 基于LDO的音频功放测试技术(LM4990为例) 6220次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 11次下载 | 免费
- 6100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 7基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论