电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
在对复杂的软件系统进行测试时，生成的系统状态空间可能会非常庞大．为了避免对整个状态空间进行遍历，提出将on-the-fly方法与CPN形式化建模方法结合起来，用于生成测试例．在这种方法中，无需对整个状态空间进行遍历，只是仅对测试人员感兴趣的部分状态空间进行针对性的测试．首先，给出CPN和扩展可达图的定义，介绍了on-the-fly测试方法中涉及的相关概念，包括系统规约、测试目的、同步乘积和测试例等，然后，实现了同步乘积算法，并设计相关测试例对其进行了测试，最后，选定一个被测系统示例CPN建模与on-the-fly结合的方法，并通过适配器实现与被测系统的交互，生成和执行测试例，由此验证了方法的可行性和有效性．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于关联规则的Web应用统计测试生成方法 3次下载
- 基于遗传算法的测试用例生成方法 2次下载
- 面向Java的Randoop自动化单元测试生成工具 8次下载
- 结合混合符号执行的导向式灰盒模糊测试方法 14次下载
- 继电保护装置测试用例智能生成 2次下载
- 粒子群优化测试用例生成方法 0次下载
- 基于碰撞域检测优化的测试用例自动生成方法 2次下载
- 基于UML图依权限有序的Web链接测试用例生成方法 0次下载
- 基于DSEA的弱变异测试用例集生成方法 0次下载
- Android智能电视测试用例生成方法及应用研究 0次下载
- 手机硬件测试用例 57次下载
- 一种改进的两两组合测试用例生成方法
- 面向路径覆盖的演化测试用例生成技术
- 基于CPN的业务流程执行语言建模
- 基于UML的生成场景测试用例研究
- 如何让大模型生成你想要的测试用例？ 742次阅读
- 芯片硬件测试用例 617次阅读
- 端到端测试用例怎么写 1.4k次阅读
- TSMaster 测试报告生成器操作指南 1.7k次阅读
- 创建约束随机测试目标 1.2k次阅读
- 从跨平台测试用例复用想到IP测试意图交付 1.5k次阅读
- 何时使用 Fly-Buck 解决方案更好 2.5k次阅读
- 围绕拓扑结构与端接展开，浅谈对fly-by结构 7.5k次阅读
- 数据测试：代替测试用例的检查表 3.2k次阅读
- 详谈黑盒测试用例设计 3.4k次阅读
- 网站测试的8大方面和常用工具 4.3k次阅读
- 数据测试用例设计：因果图方法 3.5k次阅读
- 常用模块的数据测试：登录添加查询删除 2.3k次阅读
- 一种基于仿真测试平台的实物自动化测试环境 6.8k次阅读
- UMTS测试背后的射频测试原理 1w次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论