似然蜕变关系动态发现工具设计及其应用研究

来源 :南华大学 | 被引量 : 0次 | 上传用户:lili00789563241
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试贯穿于软件的整个生命周期,是保证和提高软件质量的重要手段。软件测试面临一个挑战问题—测试Oracle问题,即测试人员难以构造待测程序的预期输出,因此无法判定待测程序的实际输出是否正确。蜕变测试技术是缓解Oracle问题的一种有效方法,该技术应用软件测试时通常需要为待测程序构造多条蜕变关系。现有的蜕变关系构造方法有静态分析方法和动态发现方法。静态分析方法是通过数学分析进行构造,而动态发现方法是基于程序已成功运行的大量测试用例(轨迹数据),从中发现蜕变关系的启发信息,该启发信息称之为似然蜕变关系。动态发现方法为蜕变关系构造提供了一条新的途径。本文首先对似然蜕变关系动态方法进行研究,设计动态发现算法,开发似然蜕变关系发现工具,并通过初步实例验证其发现似然蜕变关系的效果,然后对工具进一步优化,提升其效率。最后,在核电设计与分析软件中开展应用研究,针对中子束强度衰减模块已有的运行数据,通过本文所开发的工具来动态发现其似然蜕变关系,为发现蜕变关系提供启发信息。
其他文献
国际著名文化研究学者劳伦斯·格罗斯伯教授在一次访谈中对文化研究的评价——“现在比以往任何时候都更重要的文化研究”,作为一种文化符号,韩国娱乐公司采用“文化技术”策略和对艺人的严格控制在东南亚市场运作良好,近年来在世界上都形成了现象级的发展。讨论大众流行音乐并不只是在谈论音乐,而是通过音乐、通过音乐的衍生产品来理解当下世界文化发展的“语境”。作为韩国政府对外文化输出策略的具体实践,韩国流行音乐及偶像
在经济全球化背景下,我国对外开放水平不断深化,双向直接投资规模不断扩大。外商直接投资(FDI)与对外直接投资(OFDI)是我国获取技术溢出和推动绿色技术进步的重要渠道,对于我国经济发展有重要的作用。FDI和OFDI能否促进我国绿色全要素生产率的提高备受关注。鉴于我国当前以低碳、绿色可持续为经济发展方式,研究如何利用国际投资的技术溢出提升绿色全要素生产率具有重要的理论意义和现实意义。本文主要研究FD
制造业是一个国家生产力水平的直接体现,是一个国家竞争力的重要标志,是国家实现社会进步与富民强国的基石。1978年以来,中国制造业凭借资源与劳动等要素支撑了中国经济的稳步发展,这主要是中国制造业高速发展的结果。尽管如此,中国制造业的发展依然面临许多问题,亟需通过提高技术创新水平扩大制造业竞争优势,从而实现制造业升级。本文基于2003-2017年30个省级面板数据,以技术创新对制造业升级的作用为主线,
科学技术的高速发展和互联网的普及使人际信息交流和文化交互日益频繁,全球化背景下,人们对于消除不同语言间的沟通障碍需求迫切。神经机器翻译(Neural Machine Translation,
为了更好地了解几何非线性因素对斜拉桥施工过程受力及稳定性的影响,以盐坪坝长江大桥为工程背景,依托MIDAS/CIVIL有限元软件平台,以斜拉桥几何非线性理论为基础,分析了三种几何非线性效应对斜拉桥内力和位移的影响规律。利用“将最终阶段构件内力转换为Post C.S阶段的初始荷载”功能及位移控制法对斜拉桥进行了稳定性分析。本文做的主要工作及研究内容如下:(1)综述了斜拉桥的发展概况、斜拉桥施工阶段的
近些年,同位素年代学研究结果表明东天山地区发育相当规模的二叠纪-三叠纪岩浆岩,其中又以花岗质岩石分布最为广泛。狼井地区位于东天山康古尔-黄山韧性剪切带东段,该地区出露了大量花岗质岩石,可以为东天山二叠纪-三叠纪岩浆活动与构造演化过程的深入研究提供新的信息。本文以狼井地区的狼井岩体与红柳沟岩体为研究对象,开展了岩石学、岩石地球化学、锆石U-Pb年代学及Lu-Hf同位素组成综合研究,获得主要认识如下:
曲尾藓科(Dicranaceae)隶属于藓类植物门(Bryophyta)、藓纲(Musci)、真藓亚纲(Bryidae)、曲尾藓目(Dicranales)、它是曲尾藓亚目(Dicraninnales)里的一个较大的科,广泛分布于世界各地。本次研究通过对1987~2019年间采自新疆各地区的1300余份曲尾藓科植物标本进行分类学、分支系统学以及区系研究,为新疆苔藓植物乃至新疆植物研究提供基础资料以及
在推进高等教育国际化、建设高等教育强国的背景下,学术能力的培养毫无疑问是研究生教育甚至高等教育的核心。而在推进高等教育国际化、建设高等教育强国的过程中研究生出国访学项目是一条重要途径。那么在出国访学的规模持续扩大的新形势下,探讨出国访学与研究生学术能力的关系,以及其对研究生学术能力的影响机制和效应的意义重大。为了更深入地探讨出国访学与研究生学术能力的相关关系,本研究基于1068份电子问卷调查的一手
杏仁粕是杏仁油加工的副产物,含有大量蛋白质。提取其中的蛋白,通过酶解生产杏仁多肽,是杏仁深加工的一个发展方向。通过课题组前期研究,探索了实验室小试的工艺条件。本设计
湖北是一个文化底蕴深厚的大省,拥有丰富的旅游资源,中华民族的始祖炎帝的故里就是在湖北。鄂西泛指湖北西部地区,包含宜昌、荆州、神农架等八个地区。这里地域辽阔、资源丰富、生态良好、文化多样,它们展现了湖北的文化特色以及精神面貌。然而鄂西旅游在对外宣传方面略显薄弱,有关鄂西旅游的英译介绍资料更是寥寥无几。本文以《鄂西旅游文化》中鄂西文化遗产部分的文本为翻译实践材料,涵盖了对荆州古城墙、三游洞摩崖、武当山