资料介绍
针对并行软件的状态空间规模大导致测试难度大的问题,提出一种基于着色Petri网(CPN)的针对待测行为的并行模型化简方法。首先,将原模型根据模型中出现的并发变迁、同步变迁、分叉库所、汇合库所等特殊节点的个数分成若干个子模块;其次,判断待测行为在模型中的位置,建立待测行为测试集;最后,对每一个并行模块中符合化简条件的非待测行为设定执行优先级。通过对化简前后状态空间分析报告的对比,状态空间中节点的缩减率至少达到40%以上,并且在化简前后对于待测行为生成的全覆盖测试路径不受影响。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 模型驱动的分布式卫星终端用户行为仿真 17次下载
- 基于流知识图谱的网络流行为分析模型 8次下载
- 车联网环境中混合车流的车辆换道行为决策模型 14次下载
- 行为关联网络:针对视频中的完整行为建模 3次下载
- 基于迁移学习的驾驶分心行为识别模型 10次下载
- 针对Kaminsky攻击的异常行为检测方法 6次下载
- 依据待分类实例显著局部特征的懒惰式分类模型 6次下载
- 一种上下文信息融合的时序行为提名方法 5次下载
- 结合动态行为和机器学习的恶意代码检测方法 11次下载
- 用于网络用户行为聚类分析的簇标签自动生成方法 15次下载
- 大电网潮流修正方程并行求解实现方法 0次下载
- 一种新的软件测试模型—软件层次化模型 0次下载
- 基于Web行为轨迹的防御模型 0次下载
- 基于模块化设计的嵌入式软件测试方法
- 基于ESL方法的DSP微处理器行为模型设计
- 逻辑函数的化简方法有哪两种 174次阅读
- 动态追溯方法:彻底革新软件测试 259次阅读
- 仿真测试与软件测试的区别 520次阅读
- 基于PyTorch的模型并行分布式训练Megatron解析 2280次阅读
- 大模型分布式训练并行技术(一)-概述 1218次阅读
- 数字电子技术基础----逻辑函数的化简方法 1.4w次阅读
- TTCN测试模型及测试方法的研究分析 4079次阅读
- 软件测试的方法有哪些有什么的规范 8622次阅读
- 基于OpenMP的电磁场FDTD并行方法的程序设计 1167次阅读
- 软件测试书籍有哪些_软件测试书籍推荐 1.5w次阅读
- 一文看懂软件测试方法和规范 7098次阅读
- 卡诺图化简法例题详解 32.7w次阅读
- 基于FPGA的并行硬件ECC模型的设计 5712次阅读
- LTE协议栈软件分析测试方法 6611次阅读
- SHARC并行系统软件设计方法 1471次阅读
下载排行
本周
- 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次下载 | 免费
评论
查看更多