【摘 要】
：
"测试判定问题"(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一.1998年T.Y.Chen教授针对该问题提出了软件蜕变测试技术,从而为解决该难题提供了一种有效的途径.蜕变测试技术经过二三十年的发展,已经在不同领域的软件测试中取得了重大的应用突破,并且针对科学计算、智能决策、地形量算、机器学习、面向服务软件等不同类型软件和程序形成了相应的蜕变关系集合,为蜕变测试的复用
【机 构】
：
解放军理工大学指挥信息系统学院软件测评中心,南京,210007 解放军理工大学指挥信息系统学院软件
【出 处】
：
第十一全国博士生学术年会——信息技术与安全专题
论文部分内容阅读
"测试判定问题"(Test Oracle Problem)是影响软件测试技术发展的瓶颈问题之一.1998年T.Y.Chen教授针对该问题提出了软件蜕变测试技术,从而为解决该难题提供了一种有效的途径.蜕变测试技术经过二三十年的发展,已经在不同领域的软件测试中取得了重大的应用突破,并且针对科学计算、智能决策、地形量算、机器学习、面向服务软件等不同类型软件和程序形成了相应的蜕变关系集合,为蜕变测试的复用奠定了基础.然而,通过对已发表的蜕变测试领域研究成果进行分析发现,虽然大量的应用研究可以极大地推动蜕变测试的应用范围,但是实践应用研究的巨大发展的同时,蜕变测试的理论基础还没有引起学者的足够关注.其中蜕变关系的描述就是其中关键问题之一.本文首先分析了蜕变测试正确性理论基础;然后,提出了一种蜕变关系形式化定义与描述方法,并对蜕变关系的取值进行了分析;接着分析了蜕变关系与失效之间的联系,并基于形式化定义提出一种蜕变关系分解技术;最后通过两个实例说明了本文中提出的描述与分解技术的有效性.
其他文献
不同时代的建筑法律制度反映着人类社会在相应历史阶段对于建筑工程领域的客观规律的认知程度.北宋崇宁二年(1103年)颁行的《营造法式》,是我国古代建筑工程领域的重要法律制度文献.在此视角之下,从《营造法式》作为法律文本的结构体系、文献称谓的历史发展沿革、文本制定及颁行过程、调整对象的结构特征、建造等级制度等方面,论证了《营造法式》不仅是一部"建筑技术专书",还是一部北宋时期体现了中国古代建筑领域最高
近年来,特别是在最近五年以来,从最初的艺术品,历史遗址、遗迹到文化景观、非物质文化遗产、工业遗产以及水下文化遗产,文化遗产的概念得到极大的扩展.人们越来越清楚地认识到,脆弱的城市文化遗产在社会发展中面临着巨大威胁,这些具有独特历史意义的城市景观正是一座城市的未来关键所在.因此国际政府和非政府组织正尝试通过全球协议的方式,努力寻求保护城市文化遗产,联合国教科组织已经雄心勃勃地启动了一个旨在保护世界一
本文旨在从"地域性"的角度,论述泰顺木拱廊桥作为空间文化造物的空间意义与美学内涵,以揭露其所具有的深度文化价值.同时,亦期盼在此基础上进一步讨论中国建筑史学"地方化"之认识论与方法论意涵,以及其所将可能在地域振兴实践中所发挥的巨大功能。
本研究即希望援引历史社会学、人文地理学、建筑学等跨领域聚落研究长期积累的"地域性"视野,透过文献搜集与田野调查,对水湳洞聚落的"文化地景"进行历史社会的考察,并在此基础上提出空间活化再利用的可能作法,以作为未来海峡两岸边陲聚落研究及重新再造的参考性基础.
中国传统木构建筑的扶壁栱配置方式同时与技术传统和审美选择密切相关,介绍了扶壁栱的基本类型及其地域分布，晋东南地区早期木构遗存数量丰富、分布集中、年代连续，构造做法高度相似、范式成熟稳定，是木构建筑区系研究的宝库。就扶壁栱部分而言，该地区的实例同样遵循以单/重栱叠素枋组为主，但在部分五代北宋遗构中存在变异的处理方式，构成同期木构中特殊做法的主体，大致有以下三点：以素枋组取代栱枋，半栱替木的使用以及先
南宋传入日本的禅宗样建筑的大木结构,一方面,其源头来自《营造法式》刊行后的中土,与宋《营造法式》有关联.另一方面,进入日本后,不可避免地发生流变.选取禅宗样建筑中的佛堂类型为研究对象,通过禅宗样建筑结构与《营造法式》文本比照,尝试解析禅宗样大木结构的源流与分类.日本禅宗样佛堂的大木构架同时包含了殿堂式、厅堂式的结构属性，虽构架类型属厅堂式，但究其源头，似与《营造法式》中所载“殿堂式”更为接近。另外
本文即以现存中日古代木构建筑为主要研究对象，对其柱头铺作和补间铺作中的上、下昂分别进行分析，试图解读各种形式的昂的产生和变化，最终梳理出昂装饰性的演变过程。
本文拟对建国初期(1949～1955年)梁思成关于中国建筑史研究的理论著述进行纵向历时性地比较研究,进而理清其史学思想在此期间调整、转变的脉络，认为新中国成立初期梁思成中国建筑史研究的特征主要体现在以下两个方面:运用唯物史观对中国建筑的发展及动力进行重新的阐释；唯物史观理论包装的简单化、快速化。
本文从皖南民居的传统生态观出发,以建筑生态节能为角度,分析皖南民居采用的被动式节能技术,并以此为研究基点,从民居独特的天井布局,建筑构造及建筑材料的选择分析入手,揭示了它在充分利用自然环境条件下,在采光通风,选材构造、保温隔热等方面体现出的生态节能理念以及传统建筑文化脉络.为当代民居设计、构思、建造提供借鉴,让优秀的中华传统建筑技艺更好的传承和发扬光大.
云计算技术的发展使得云环境中服务资源不断增多,用户面临如何快速选择所需要服务的困难.现有的服务选择方法多是从单个用户角度出发进行的服务选择,当多个用户进行服务选择时,由于每个用户"自私"的选择最优服务易造成最优服务过载,性能下降.服务提供商作为资源的拥有者,能够对资源进行统一规划将用户引向与其QoS约束相匹配的服务上,以使得全网资源得到均衡.基于这一思想,本文从服务提供商的角度出发,使用扩展二分图