【摘 要】
：
现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代数规格化说明生成测试用例的方法.首先,根据
论文部分内容阅读
现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代数规格化说明生成测试用例的方法.首先,根据代数规格化说明得到一组基本项.为了避免从理想基本项集合中选择一组基本项时受理想基本项集合的制约,本文用基本项模型图生成基本项,然后,从基本项集合中得到等价的范式集合.针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出对基本项模型图路径拆分的方法.最后,用范式替换规格化说明公理系统中的变量,生成测试用例.对于公理中的条件语句和循环语句,还提出一种公理变换方法,保证了测试路径的覆盖.实例分析和实验验证表明,本文的方法可以生成一个范式的最小集合,减少了生成测试用例的数量,提高了测试用例的效率.
其他文献
高校的稳定是关系整个社会稳定大局的大问题,而高校的稳定有赖于高校学生的稳定。根据研究可知,影响高校学生安全稳定的应急突发事件大多数是可以预防的。运用文献研究法、经
在20世纪的现代文学中,特别是三四十年代乡土小说中,作家对小说的意境营造,使得小说呈现出十分浓厚的诗意化和浪漫色彩。这一时期较为典型的是沈从文和孙犁对意境的营造,评论
<正>我参加工作九年了,但是第一次担任小学低年级班主任工作。摸索着当了一年的班主任,使我感受到了班主任工作的艰辛。小学班主任工作是一项很繁杂的工作,特别是小学低年级
司法鉴定制度是证据制度的重要组成部分,对维护当事人的合法权益,正确实施法律,促进司法公正,防止司法腐败,都具有十分重要的作用。目前我国司法鉴定实践中的混乱局面,归根求
方格网街道布局在现代化城市中已经广为流行。本文作者从历史的演绎中发现,中国传统的街道网并不能说就是棋盘式街道网,文章还着重分析了传统布局具有的空间整体感、街市中心
<正>随着普通话在公务、教学、传媒及服务领域的大力推广,方言的使用范围逐渐缩小。如何认识和处理普通话和方言的关系成为语言政策的重要课题。大多数语言政策的研究偏向于
随着社会的发展和进步,各行各业的公司管理越来越趋向于科学化、规范化、流程化,资源竞争和成本竞争渐渐演变为优秀人才的竞争,人才越来越成为企业致胜的关键。作为一家国内
目的探讨靶控输注(TCI)依托咪酯和瑞芬太尼用于老年患者手术麻醉时的临床效果。方法 120例接受全身麻醉下手术治疗的老年患者,使用随机数字表法将其分为观察组与对照组,各60
笔者分析了国内陕西省安康市和四川省崇州市,以及美国、日本、韩国等国外新型职业农民培育的主要做法、经验特色,结合我国的基本国情,建议我国应当从顶层设计、政策制定、转