基于模型的软件测试技术探析

来源 :信息与电脑 | 被引量 : 0次 | 上传用户:jianghui_one1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,随着科技信息的快速发展,软件的功能性和复杂性增强,软件测试与可靠性评估的难度逐步加大。笔者主要分析了现在广泛应用的面向对象软件开发技术和软件自动化测试技术的现状,总结了基于模型的软件测试特点及不足,并简单介绍了基于模型的软件测试流程。
其他文献
探讨实验性脾虚大鼠脂质过氧化损伤的差异性。方法:采用饮食加劳倦等复合因素分别复制脾虚不同证型动物模型。观察各模型组和治疗组的脂质过氧化物(LPO)的含量和谷胱甘肽过氧
立足当代中学数学教学的现状,结合具体实际情况,以构建主义理论为指导,从选择适当的教学方法及运用现代化手段等几个方面进行分析并提出几点看法.
急性胰腺炎是临床常见的急腹症之一。我们采用中西医结合方法 ,以中药清热解毒 ,攻下化瘀法为主治疗 1 2 8例 ,疗效满意 ,现报告如下。1 资料与方法1 .1 一般资料 :1 2 8例
为了观察用国产重组酵母乙型肝炎(乙肝)疫苗,对已经血源乙肝疫苗初免的儿童再免疫的效果,以乙肝表面抗原(HBsAg)和乙肝e抗原(HBeAg)阴性母亲所生的、出生时全程接种血源乙肝疫苗
本文观察良性前列腺增生 (BPH)中的高度前列腺上皮内瘤 (HPIN)现象。回顾性分析 5 4例行耻骨上前列腺摘除术患者的前列腺标本切片。统计其中HPIN的发生率 ,并结合患者术前血P
根据涉林上市公司财务年报数据,对其经营管理进行多角度分析,以资分析行业状态的参考,助推提升行业第一梯队企业的管理水平。 According to the financial annual report da
笔者利用随机抽题算法和基于词形的藏文试题相似度技术相结合,研究和开发符合藏文文法特征的试卷智能生成系统,在生成过程中解决了试题知识点相似或重复问题。
笔者以美国心理学家Keller提出的ARCS动机激发模型为理论支架对目前师范生多媒体课件进行现状分析。研究发现,师范生在制作多媒体课件时存在着诸多问题,如维持注意力方式多以形
降低人员维护成本、设备耗能,提高安全性,为生产保驾护航,是天津石化IT人员重要的工作目标。在项目资金支持受限的前提下,通过初期限量的云桌面应用,经过项目实施前期科学的计算及
近年来,信息技术和计算机技术的发展越来越快,已经广泛应用在社会生产的各个领域,嵌入式系统是信息处理技术和计算机技术相结合的产物,基于ARM嵌入式软硬件系统有系统精炼简