基于模型的方法在软件测试领域的应用与发展

来源 :计算机系统应用 | 被引量 : 0次 | 上传用户：wolfzhu

【摘要】

：

伴随着软件在当今社会中扮演着日益重要的角色,在各类软件或系统的开发过程中,测试变得越来越重要.随着面向对象技术的广泛应用和软件测试自动化的要求,基于模型的测试(MBT)技术逐渐得到了软件开发和测试人员的认可和接受.尽管有许多国内出版物讨论了基于模型的测试技术,但还没有相关技术文章对MBT技术及工具的当前发展进行回顾与总结.文章对当前MBT技术的通用模型、测试用例生成方法、测试目标选择等MBT方法进

【作者】

：

马云云王金波张弢王晓华

【机构】

：

中国科学院空间应用工程与技术中心

【出处】

：

计算机系统应用

【发表日期】

：

2016年09期

【关键词】

：

基于模型软件测试测试模型测试用例测试目标测试工具 MBT test model test case test target test tools

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于多协议融合的实时移动视频监控系统

提出一种支持多协议融合的实时视频监控系统的设计与实现方案.系统可通过Hi3520嵌入式处理器平台和移动端摄像头进行视频采集,采用H.264/AVC压缩编码和参数优化,兼容RTP/RTSP

期刊

视频监控RTP/RTSPRTMPANDROIDH.264/AVCvideo surveillance RTP/RTSP RTMP Android

改进粒子群算法和支持向量机的网络入侵检测

网络入侵检测一直是网络安全领域中的研究热点,针对分类器参数优化难题,为了提高网络入侵检测准确性,提出一种改进粒子群算法和支持向量机相融合的网络入侵检测模型（IPSO-SVM）.

期刊

网络入侵特征子集入侵检测分类器支持向量机intrusion detection feature subset intrusion detection

基于删边扩容策略的城市交通网络优化

建立一个面向控制的城市交通网络模型,以结构矩阵的形式进行数学表示,引入序参量的概念来表征城市交通的拥堵状况,并提出了基于介数的具体删边扩容策略.将此策略应用到已建立

期刊

交通网络模型删边扩容序参量介数urban traffic network model edge deletion order parameter

基于RGM算法的锚节点布点算法

目前所有的定位算法都将研究的重点放在如何提高定位精度上面却很少研究如何布置锚节点,只是在算法中随意的选取满足条件的锚节点,然而算法并没有明确的对锚节点的布置提出要

期刊

无线传感器网络节点定位布点算法RGM算法锚节点wireless sensor networks node location distributio

基于ZigBee无线传感器网络的实验室智能教学系统

针对教育中由于缺乏记录数据而无法分析学生成绩导致在动手能力经验培养上花费太高的问题,设计了一种基于Zig Bee无线传感网络的实验室智能教学系统.首先,基于嵌入式操作系统

期刊

实验室管理ZigBee无线传感器网络智能教学采集仪协调器tutoring in laboratoryZigBeewireless senso

标准文献内容指标服务系统

标准在一定范围内具有法律法规效应，它是国民生产、贸易往来的基础规范．标准文献的收集整理与挖掘利用是标准咨询与服务的必要条件．本文结合标准文献资源的现状与实际用户需求，设

期刊

标准标准文献标准内容技术指标系统设计standard standard document standard content technical

一种新型分布式元数据管理策略

高效、可扩展的元数据管理系统是提高分布式存储系统整体性能的关键.传统的元数据分配策略会导致元数据负载不均衡,以及在多进程资源抢占的情况下,会存在响应处理用户请求效

期刊

元数据HDFSHASH目录树负载均衡metadata HDFS Hash directory tree load balance

基于云变换的混合计算模型在水淹层识别中的应用

目前为止,现有的自动判别方法难以反映定量指标和定性指标相结合的混合信息对水淹层识别的影响.因此,为提高水淹层判别的准确度,本文提出基于云变换的定量与定性混合计算神经

期刊

云模型混合计算神经网络水淹层识别cloud mode hybrid computing neural network water flooded la

一种基于进化方向的新的差分进化算法

变异策略对差分进化算法（DE）算法的成功与否起到至关重要的作用.然而,方向信息在DE变异策略的设计当中并没有被充分地挖掘,且对于如何平衡进化速度和种群多样性这两者之间的矛

期刊

差分进化算法变异策略进化方向differential evolution algorithm mutation strategy evolution

改进视觉词袋模型的快速图像检索方法

视觉词袋模型在基于内容的图像检索中已经得到了广泛应用,传统的视觉词袋模型一般采用SIFT描述子进行特征提取.针对SIFT描述子的高复杂度、特征提取时间较长的缺点,本文提出采用更加快速的二进制特征描述子ORB来对图像进行特征提取,建立视觉词典,用向量间的距离来比较图像的相似性,从而实现图像的快速检索.实验结果表明,本文提出的方法在保持较高鲁棒性的同时,明显高了图像检索的效率.

期刊

视觉词袋模型局部特征ORB图像检索bag of visual wordslocal featuresORBimage retrieval

基于模型的方法在软件测试领域的应用与发展

与本文相关的学术论文