【摘 要】
:
随着计算机技术的发展,软件在各个行业得到广泛的应用,人们对软件的质量和安全也得到更为广泛的关注。对如何提高软件质量的问题人们已经从软件开发方法、软件开发过程管理、
论文部分内容阅读
随着计算机技术的发展,软件在各个行业得到广泛的应用,人们对软件的质量和安全也得到更为广泛的关注。对如何提高软件质量的问题人们已经从软件开发方法、软件开发过程管理、软件开发工具等多个方面加以研究,取得了一定的成绩。基于合约的软件开发是其中十分重要且得到广泛应用的一种技术。软件合约是指软件中必须遵守的规则。开发者和执行者通过遵守这些合约来保证软件的质量。从不同的层面合约可分为语法合约、数据合约、行为合约和服务合约。程序不变量是数据合约的一种形式。程序不变量对于程序演进与重构、程序测试与排错、辅助定理证明、构件升级替换都有重要作用。由于大多数软件开发时都没有书写形式化文档,程序不变量在程序中很少被清楚地表示出来。如何从程序中发现这些隐含的没有被程序员写出来的程序不变量成为实现高层次行为合约、提高程序质量的关键。本文重点研究如何使用动态检测技术发现程序中函数型似然不变量。论文首先介绍了不变量动态检测技术及其主要的两个实现工具:Daikon和DIDUCE,并分析了它们在编配工具和不变量检测方法上存在的不足。然后运用面向对象的软件开发方法,设计并实现了一个新的基于关系数据库的编配工具。新的编配工具具有易用、灵活等特点。结合关系数据理论,针对函数型不变量提出了一个启发式不变量检测方法。该方法通过函数推导技术首先确定待检变量中是否存在函数依赖关系,然后再进行函数解析式推导,解决了传统似然不变量检测方法中存在的盲目性问题。并对新方法和传统方法进行了对比实验分析,实验结果表明新方法的可靠性与检测效率明显优于传统方法。
其他文献
近年来随着web的迅猛发展,Internet上存在大量的信息资源,如何从中快速准确的获取有价值的信息一直以来是一个迫切需要解决的问题。本文介绍了搜索引擎的发展史及相关技术,并
泄水建筑物常用的消能形式有底流消能,排流消能及上述3种形式的结合应用。本设想方案是在底流式消能的基础上,通过增加新型辅助消能工来达到底流消能形式优化的目的。该设想方
全球气候问题是全人类面临的共同问题,也是当今国际社会热点问题之一。全球气候问题的治理关系到人类的生存与发展,逐渐受到各界关注。从国际政治角度而言,全球气候治理的困
随着现代主义艺术在19世纪兴起,怪诞逐渐成为西方美学家关注的焦点。经过近两个世纪的发展,怪诞美学在西方已相当成熟,人们系统发掘了怪诞艺术的表现形式和美学意义,使其成为
<正>创新驱动发展战略是十八大报告中强调的国家战略之一。习近平总书记鲜明地指出,实施创新驱动发展战略决定着中华民族的前途命运。作为江苏长江以北第一个全面小康达标市,
目的:对香加皮原植物杠柳的不同药用部位进行显微鉴定,为其药材鉴别提供科学依据,不断丰富其生药学研究内容。方法:采用生药显微鉴定技术观察、描述、绘制各部位的显微特征。
目的:评估聚卡波菲钙治疗便秘型肠易激综合征(C-IBS)疗效和安全性。方法:采用随机、安慰剂对照的临床研究,把符合罗马Ⅲ标准的36例C-IBS患者随机分为试验组(聚卡波菲钙片2片,
我国境外人员管理是指国家政府主管机关依据宪法和有关法律、法规,对在中国的境外人员(香港、澳门、台湾居民、华侨以及外国人)入境、过境、出境和在我国境内居留、旅行及其
企业在当今快速发展的业务环境要保持竞争力,需要有坚实的社会化媒体战略。Web2.0时代的社会化媒体为企业的品牌信息传播带来机遇与挑战。阐述了社会化媒体营销的内涵,社会化
流动危险源──汽车危险品运输面面观吴润元近年来,随着经济和科技的发展,各种化学工业产品的运输量越来越多。危险货物运输被视为“流动的危险源”,因其理化性能不同,分别具有不