论文部分内容阅读
基于模型的软件测试方法不仅可以有效地提高测试效率,提高测试用例生成的自动化程度,进行测试失效辨识,也有利于评价测试结果。基于此,本文给出了比较典型的软件测试模型,总结了基于模型的软件测试过程,并分析了基于模型的软件测试方法的优缺点。
基于模型的软件测试方法研究
【摘 要】
：
基于模型的软件测试方法不仅可以有效地提高测试效率,提高测试用例生成的自动化程度,进行测试失效辨识,也有利于评价测试结果。基于此,本文给出了比较典型的软件测试模型,总结了基于模型的软件测试过程,并分析了基于模型的软件测试方法的优缺点。
【机 构】
：
无锡商业职业技术学院信息工程系
【出 处】
：
科技经济市场
【发表日期】
：
2008年12期
其他文献
目的:评价中医膳食食疗联合TP(紫杉醇+顺铂)方案化疗治疗晚期卵巢癌的临床疗效。方法:将86例晚期卵巢癌患者随机分为单纯化疗组和中医膳食食疗加化疗组。单纯化疗组患者用TP
为解决目前高校多层级的分布式系统集成平台导致的管理问题,提出一种集中式和分布式管理机制相结合的管理平台,引入资源、域和工作组等相关概念,分别从物理层和业务层对集成
教学目标,是师生通过教学活动预期达到的结果或标准,也可以说是课堂教学的最终目的。随着新课程改革的深入,课堂教学须有＂三维＂目标的理念逐渐被老师们所接受。但在实际的课堂
图像去噪是图像分割、编码、模式识别等图像处理应用研究的基础，去噪效果的好坏直接影响这些应用研究的结果，因此去噪算法的研究一直受到了广泛关注。图像去噪的主要方法分为空
目的:客观评价三搬法联合功能锻炼治疗腰3横突综合征的临床疗效。方法:从2015年1月至2017年1月,将66例腰3横突综合征患者用随机数字表法分为A,B两组,A组34例,B组32例。A组采
随着金融全球化进程的逐步加快和金融创新活动的日益活跃,全球的金融风险也在逐渐升级。金融控股公司是我国金融分业经营体制下实现混业经营的一种组织创新模式。金融控股公