基于Java平台的单元测试技术研究

被引量 : 0次 | 上传用户:eva37
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,随着Java技术日益普及并受到广泛重视,如何提高Java应用程序的可信性是一个不容忽略的重要问题。Java应用程序的单元测试是保证软件质量、提高软件可靠性的关键。人工完成单元测试既费时又繁琐,自动化的单元测试已经成为节省软件开发成本、提高软件可信性的重要手段。因此,本文针对Java应用程序单元测试中的自动生成测试数据和提高单元测试自动化程度这两个问题展开研究。本文首先分析子类型行为和类行为兼容性的关系,利用一个由子类型行为描述变换到类行为兼容性实现的映射,可以获得正确的类不变式、方法前置条件和后置条件。准确的类不变式和方法后置条件可以作为测试神谕,而类不变式和方法前置条件可以作为划分等价类和分析边界值的输入。接着,针对需要人工计算期望值的单元测试给出两个生成测试数据方法:考察生产和实验中经常使用的统计方法:正交实验设计法和均匀设计法生成测试数据,与枚举法和对均匀设计法进行了改进的均匀设计补充法生成的测试数据相比,发现均匀设计补充法生成的测试数据在测试成本和测试效果间具有较好的性价比;提出基于改进的遗传算法自动生成Java类的测试数据的方法,该方法采用对整数、字符和字节使用二进制编码和浮点型数据使用浮点数编码的混合编码方式,对字节码形式表示的Java类添加装置,随机生成一组测试数据作为初始种群,通过测试覆盖分析器监控被测试程序的执行过程,以获取的覆盖率作为适应度值,执行遗传操作,实验结果表明:改进后的遗传算法能有效地自动生成Java类的测试数据。然后对Java程序的抽象类、包含内隐类的接口、其它内隐类和普通类的测试提出不同的测试案例模式,结合Liskov替代原则对类测试的要求,实现一个基于Junit自动生成测试案例模板的工具。最后,本文基于Junit测试框架和上述研究结果,实现一个Java平台单元测试的工具原型。以此工具为平台,程序员可以自动生成测试数据和测试用例模板,在编写测试案例时,只需在自动生成的测试案例模板中添加期望值就可获得完整的测试案例,可以提高程序员的开发效率和被测试软件单元的可信性。
其他文献
教学理论应用模式是指主体(主要是教师)关于教学理论应用和在教学理论应用 过程中,通过归纳、演绎等方式逐渐生成的观念体系、理想意图和行为范式,具有整体性和生成性 等特点
<正>日前,陕西省公安厅、省网信办、省新闻出版广电局、省通信管理局等4部门联合部署,在全省集中开展"网络敲诈和有偿删帖"专项整治行动。此次专项整治分内外两个层面进行:对
<正>1临床资料患者,男,75岁,因喉癌术后10个月,发现颈部肿块2个月为主诉入院。患者10个月前因喉癌(声门型,T2NOMO)全麻支撑喉镜下取活检、气管切开、喉额侧垂直部分切除术、
中国宪法规定,公民有受教育的权利和义务。因此,受教育既是公民的权利,也是公民的义务。公民的受教育权利和义务,实际上包括国家和公民之间在义务教育阶段和非义务教育阶段所
目前我国保险业总资产规模已超过1.3万亿元,按照5%的直接入市比例,将有近650亿元保险资金可以直接入市。保险机构投资者作为保险资金的管理者凭借雄厚的资金实力,应坚持价值
目的探讨凋亡抑制基因Survivin、血管内皮生长因子(VEGF)在乳腺癌中的表达及临床意义。方法选择邛崃医疗中心医院2013年5月至2014年4月收治的74例乳腺癌患者作为研究对象,同
前几天,浙江台州黄岩街头,一名骑自行车的老人突然倒地不省人事,许多路人马上聚集过来围观,怕被讹上,没人敢上前去扶。一个骑电瓶车的小伙子迅速跑过去,托起老人的上身并拨打120急
报纸
介绍国内外垃圾焚烧厂应用的垃圾搬运起重机的分类、结构形式、性能参数及控制方式等。论述国产半自动控制垃圾搬运起重机在宁波垃圾焚烧工程中的应用及该设备的应用前景 De
<正>革命烈士的鲜血铺就了中国革命的底色,才有外国人眼中的红色中国,才有中国人心中的红色政权,才有今天"红色文化"称谓的流传。中国革命的底色是红色的,中国革命的旗帜也是
期刊
作为一名儒者,叔孙通深谋远虑,因利乘便,与时俱进,行事委婉,终为汉家重用。但人们对其儒学实践颇有微词。其实,叔孙通成功的儒学实践正是先秦以来儒家自我调整、自我革新的结果,它促