浅谈MBT基于模型的测试技术
基于模型的测试是一个轻量级的，形式化的验证软件系统的方法。为什么这么说呢，因为首先，基于模型的测试对待测软件系统（通常被称为SystemUnderTest，简称SUT）进行形式化的建模， 很多朋友可能已经听说了SpecExplorer是一款强大的测试工具，但却不是很了解所谓的基于模型的测试到底是什么，这篇文章可以让你对模型测试有一个大致的认识。 如果你在互联网上搜索“Model-BasedTesting”（即基于模型的测试，简称MBT），你将发现大量的信息。基于模型的测试并不是一个新生事物，也不局限于SpecExplorer这一工具，而是一个在学术界和工业界都已存在多年的概念。只是诸如Spec
文件下载
评论信息
其他资源
- BIOS开机logo:Thinkpad思行合一
- MCGS制作的案例
- XBee-Pro S3B 900HP 中文手册
- CMOS射频集成电路分析与设计_池保勇
- swing实现的猫版聊天室
- 大黄蜂视频格式转换软件
- 电压型PWM整流器的非线性控制（王久和）
- idl图像均值
- modelsim_win64_10.6d_se
- mif2png（QQGame 专用 mif 格式转 png 格式）
- 海康威视WEB3.0多版本开发控件.zip
- ggplot2(第二版)2016年出版
- 小功率调幅发射机
- OpenCV+MFC制作视频播放器
- 基于MSP430g2553测方波信号频率
- java socket通讯例程 多线程读写 可以同时收发不同终端的消息
- 餐饮订餐网站模板 （html版）
- Excel函数活用范例大辞典（全新版）.何先军.2015-2(带书签高清文字版).pdf
- 集成固体微波电路-射频设计基础
- MSP430F2617TPM主控可自动调整的24V步进电机设计（AD设计硬件原理图PCB+源代码+BOM）.zip
- sharpmap实现shp的加载
- JDBC的 驱动包 ojdbc14.jar 程序文件
- SLAM算法大全，包括代码和文档、工具
- android 读取mjpeg streamer 源代码
- c++利用遗传算法求解函数优化问题
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明