电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
在模型驱动软件开发过程中，基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量．然而，随着当今软件系统规模的不断扩大，相应的软件开发过程也变得越来越灵活，代码有时会先于模型被修改，以更忠实地体现系统功能和实现机制，传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面，模型的修改者只能人为地评估修改的正确性，大大降低了效率并增加了系统的潜在隐患，为此，对传统基于模型的测试方法的一致性检验进行了扩展，实现了一致性检验框架ProMiner，通过抽取表达模型与代码的不一致的系统性质来自动定位模型中与实际运行系统不匹配的部分，并将其表示为可直接用于模型检测的线性时序逻辑（LTL）表达式，以支持软件模型和代码间双向的一致性检验．实验结果表明，ProMiner可有效查找软件模型和代码间的不一致并生成可直接检测模型的系统性质，从而实现了自动化的模型与代码间的双向一致性检测，不仅提高了一致性检测的有效性，而且大大减少了人力开销．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于无监督空间一致性约束的心脏MRI分割 38次下载
- 基于业务目标和业务场景的语义一致性验证方法 9次下载
- 管理基于Cortex®-M7的MCU的高速缓存一致性 5次下载
- 多无人机系统的一致性分布式控制器 22次下载
- 基于自触发一致性算法的分布式分层控制策略 9次下载
- 输入与速度饱和的异构多智能体系统的一致性 2次下载
- 如何使用异质多智能体系统进行滞后一致性跟踪控制 8次下载
- Cache一致性协议优化研究 0次下载
- DSA系统的全局一致性需求分析 0次下载
- 基于消息通信的分布式系统最终一致性平台 0次下载
- 数字对讲机射频一致性测试系统 1次下载
- TTCN在TD-SCDMA终端RRM一致性测试系统中的应用 24次下载
- 域一致性新型锁同步机制的实现 12次下载
- TD-SCDMA协议一致性的测试研究 18次下载
- 一致性规划研究 12次下载
- Redis缓存与Mysql如何保证一致性？ 603次阅读
- 铜线键合设备焊接一致性探索 326次阅读
- 如何保证缓存一致性 448次阅读
- 如何解决数据库与缓存一致性 606次阅读
- 如何进行千兆以太网的一致性测试 589次阅读
- Dubbo负载均衡策略之一致性哈希 280次阅读
- 如何保障MySQL和Redis的数据一致性 577次阅读
- S1200对DP从站一致性数据读写 505次阅读
- RTL与网表的一致性检查 2311次阅读
- MIPI D-PHY物理层自动一致性测试 3749次阅读
- EMC辐射测试中，一致性分析是一个很困难的任务 4588次阅读
- 动力电池多并状态下电芯通过电流不一致性问题研究 5349次阅读
- 一致性哈希是什么？为什么它是可扩展的分布式系统架构的一个必要工具 4081次阅读
- 加速器一致性接口 3147次阅读
- 轻松通过WLAN发射机预一致性测试须知 3753次阅读
上传资料赚积分下载排行
本周
- 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 | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 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次下载 | 免费
工商网监
评论