【摘 要】
：
面向对象软件开发应用越来越广泛，自动化测试也随之被程序员认可和接受，随之而来的就是基于UML的软件开发技术的大范围普及和基于模型的软件测试技术的普遍应用。由于被测软件
论文部分内容阅读
面向对象软件开发应用越来越广泛，自动化测试也随之被程序员认可和接受，随之而来的就是基于UML的软件开发技术的大范围普及和基于模型的软件测试技术的普遍应用。由于被测软件的特点不同，测试的目的也不尽然相同，测试模型相对应的就会有很多种类。笔者在本文详细描述了基于模型的软件测试技术的现状，同时对于不同模型在测试中适用情况做了深入的比较，主要讨论了有限状态机模型、马尔可夫链模型和UML模型。文章最后，笔者就该种测试方法的未来发展前景做了分析。
其他文献
查干凹陷位于银额盆地东北角 ,依据地震、岩性、古生物、地化及测井等资料 ,其白垩系可划分出 1个一级层序、2个二级及 7个三级层序。巴音戈壁组一、二段沉积时期形成层序Ⅰ
简述了回声测深仪的测深原理 ,探讨了影响最小测深能力的因素 ,并对智能化数字深海测深仪的盲区处理策略进行了探讨和描述。
我国活性炭行业在改革开放后飞速发展，活性炭的总产量就已经就已经超过日本，仅次美国，成为世界上第二活性炭大国。同时，工业化进程的不断推进，环境保护是随之而来的重要问题，活性炭
对于数控机床的日常管理必须引起高度的重视，严格按照机床的使用要求，并做好日常的维护管理，才能减少故障频率，保证机床的安全、稳定运行。本文将对数控机床的使用要求及日常的管
本项目研究池塘养殖的鲩(草)鱼体内寄生的(鱼矛)头槽绦虫(B. acheilognathi)的种群动态.于1986、1987和1998三年内分别观察0、Ⅰ龄幼鲩及Ⅱ龄商品鲩感染的情况.0龄及Ⅰ龄越冬
收集了类星体3C273的近红外资料,并由此讨论了该天体的光变性质.我们发现3C273的最大红外光变分别为AJ=1.0 m,△H=0.90 m,AK=0.82 m,而平均色指数分别为=0.82,=1.96,=1.13.离
陕西西南部秦岭梁岩体被报道为Rapakivi岩体, 但其单矿物成分和岩石学研究以及与密云沙厂rapakivi花岗岩的对比表明, 秦岭梁岩体的岩石学特征、矿物组合、长石和镁铁矿物成分
目的:探讨护士面临的各种压力,采取针对性的心理护理,预防或减轻各种压力对护士的身心健康的影响,不断提高护理质量,促进病人的健康.方法通过对护士常见的压力分析,提出相应
现阶段，计算机实验室具体负责学院的计算机教学实训任务，和计算机基础课教学，计算机实验室在管理方面，以及设备维护的质量方面，直接影响着实验教学的质量。本文以计算机实验室设备
本文简要介绍基于Rhino自带的脚本程序RhinoScript对三维网格进行快速建模。首先介绍在Rhino中关于网格的一些重要概念如向量、面、网格等，以及这些概念在RhinoScript脚本语言