基于程序执行状态图的软件测试方法研究

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:huitianfly
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略,同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要,文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则,最后,文章介绍了使用PESC逐步生成测试路径的方法。
其他文献
该文从软件工程的角度出发,将面向对象技术与软件复用技术相结合,针对分布式WEB软件设计中的复杂性过高提出了一种新的开发方法--主题库法。利用该方法开发的系统,不但可以使问题
Web群集技术是解决Web服务器系统容量和伸缩能力的重要方法。该文分析了影响Web集群系统性能的主要因素,并提出了一种基于内容的负载均衡算法。该算法以加权负载量来评估服务
三方传送是构建附网存储(NAS)系统中用以解决数据传输瓶颈的重要技术。该文在分析传统的基于服务器存储系统(SAS)的基础上,阐述了实现数据与命令分流的三方传送思想,并设计了一种在
文章定义了一种跨层扩展频繁项目图Clefig,提出了基于Clefig直接产生频繁模式算法Clefig-Prod。它能高效地挖掘单层、多层特别是跨层关联规则。实验表明,在多层,跨层和支持率阈值
举世皆谓万科是中国房地产大鳄,大鳄究竟代表着什么一时还真说不清楚,在中国房地产市场上,万科声名遐迩。在国内多座城市。万科也以其不凡气魄搅动楼市一池春水,树立起一个又一个
2011年7月18日至11月8日,从广西海洋研究所竹林海水增养殖试验基地的5口中间培育方格星虫苗种的池塘采集水样,监测和分析中培过程中水温、盐度、溶解氧、pH值、化学需氧量、生
该文针对目前RTL通信机制存在的通信效率低,系统可重用性差等问题,提出了一种基于移动Agent的RTI通信机制,该通信机制采用人工智能技术,使仿真中数据交互过程由“别人提供”变为
单纯疱疹病毒(HSV)分为HSV-1型和HSV-2型,以密切接触为主要传播途径,引起多种疱疹性疾病。其中HSV-2型是引起妇女宫颈糜烂、阴道炎的主要病原之一。本文应用McAb-ELISA法对兰
为提升动物营养与饲料课程群的教学效果,帮助学生更好地服务于畜牧生产,需要对其教学内容、教学方法进行改革。研究型教学模式将课程教学与科学研究相结合,教师在讲授专业理
某水电站TBM#I隧洞在小角度进入地层过渡带时,主要因为隧洞左右两侧岩体强度差异过大,造成变形严重不均,围岩地应力集中于较硬一侧,发生岩爆,导致人员伤亡和财产损失,以及拖延工期