蜕变理论研究的基本内容

文章论述了蜕变理论研究的方向、方法及基本内容。蜕变理论研究的基本内容主要包括 :科技渐进蜕变、生活方式蜕变、生产方式蜕变、行业蜕变、企业蜕变及产品蜕变等六项主要内容。

蜕变测试技术综述

蜕变测试作为一种新兴的软件测试技术,近年来得到蓬勃发展,并成功应用于多个领域。文章系统地梳理了自2016年以来蜕变测试技术的相关研究工作。首先,介绍了蜕变测试技术的基本概念、原理及其具体实施过程。其次,阐述了蜕变关系的研究现状,并在此基础上总结出6种蜕变关系模式,为测试人员识别有效的蜕变关系提供了思路和参考。再次,从不同角度汇总了蜕变测试在各个领域的应用。最后,对蜕变测试技术未来的发展方向进行了展望。

蜕变测试研究进展及其在并行程序测试中的研究展望

在软件测试过程中,待测程序的预期输出是判断软件是否存在缺陷的重要因素.蜕变测试技术是利用被测软件的属性来检查程序输出,从而有效地解决程序预期输出难以构造的问题.近年来,蜕变测试在软件测试领域取得了蓬勃的发展,许多研究人员将蜕变测试技术进行优化,将其运用到各个领域,有效提高了软件质量.从原理、过程及其优化,应用领域3个方面,总结蜕变测试的研究工作,着重分析了近5年的研究进展,进一步展望了蜕变测试用于并行程序时,可能的研究主题.首先,介绍蜕变测试的基本概念和蜕变测试过程;接着,从蜕变关系、测试用例、测试执行过程以及蜕变测试工具4个角度,总结蜕变测试优化技术;然后,汇总了蜕变测试的应用领域;最后,基于已有研究成果,讨论蜕变测试在并行程序测试领域面临的问题,为蜕变技术在并行程序测试领域的研究提供可能的思路.

基于浮点计算程序的复合蜕变测试方法研究

IEEE754标准下的浮点数在计算时总是伴随着舍入,增加了浮点计算结果不精确甚至出现异常的可能性,并且在实际应用中,无论采用什么样的计算方法、设置多高的精度,都无法完全避免浮点计算异常对计算结果的干扰。论文提出用蜕变测试技术来测试遥测数据处理程序中遇到的这种不可测的FPC程序,针对这类FPC程序的特征构造复合蜕变关系来缓解Oracle问题,以此提高浮点计算的准确性,进一步确保软件的可靠性。

基于元启发优化算法的数值型蜕变关系生成方法

针对蜕变测试难以获取蜕变关系且容易出现错误导致测试成本过高的问题,提出一种基于元启发优化算法的数值型蜕变关系生成方法。通过分析数值型蜕变关系的数学特征并组合等式与不等式关系,构成输入、输出参数矩阵。结合粒子群和模拟退火两种元启发优化搜索算法,设定合适的代价函数,将构成的参数矩阵作为搜索粒子,搜索并生成各种等式、不等式的蜕变关系。实验结果表明,与仅使用一种搜索算法相比,所提方法能够在不改变解的类型情况下跳过局部最优,节省时间开销,提高了蜕变关系生成效率。

蜕变关系敏感度及其聚类分析

为缓解软件测试的Oracle问题,蜕变测试通过验证多个测试用例及其输出之间是否满足蜕变关系来验证测试结果.可见蜕变关系是蜕变测试的核心,而现有的蜕变关系检错能力的衡量标准,即错误检出率(Failure Detecting Rate,FDR)是蜕变关系对不同变体的错误检出概率的平均值,这掩盖了蜕变关系的一些重要特征.因而本文提出蜕变关系敏感度的概念,即用蜕变关系对不同变体的错误检出率所构成的多维信息向量,来全面地反映蜕变关系特征,从而为蜕变测试研究提供更多的可能性.蜕变关系敏感度的一个典型应用是对蜕变关系集合进行聚类分析,并挖掘出构建蜕变关系的需求特征与错误发现能力之间的关联.论文使用经典聚类算法k-means进行了实验.实验结果表明,蜕变关系敏感度能很好地支持聚类分析计算,并能挖掘出有用的知识.蜕变关系敏感度为蜕变测试的进一步研究提供了新的方法和依据.

蜕变与开端——《学问的进展》与现代政治哲学

《学问的进展》是西方哲学从古典传统转向现代的关键文献。培根一方面质疑理性的绝对权威和哲人的沉思生活,另一方面着力提升方法在哲学/科学研究中的地位,从而开启了哲学的现代蜕变。培根力促修辞学与哲学的合一,如此哲人与智术师的关键区分便不再有效;当修辞学不再讲高贵的谎言,也就不再能服务于真理。修辞学与哲学的再度合一,意味着传统哲学与修辞学的退场、新的哲学与修辞学的诞生。哲学的蜕变化解了哲学与城邦的张力这一经典问题,从而消弭了古典政治哲学,开启了现代政治哲学。

矩阵乘法程序的蜕变关系检错效率研究

为了提高飞行器程序的检错效率,更高效地保障遥测数据处理程序,论文在已有的研究基础上,分别以随机测试用例和特殊测试用例作为原始测试用例进行蜕变测试。首先选取一个一般的矩阵乘法程序,在程序中植入五个变异,全面地构造出包含了矩阵乘法所有属性的10条蜕变关系,并用这些蜕变关系对程序进行检错效率分析。实验结果表明,用一般的测试用例与特殊测试用例进行的蜕变测试结果是互补的,并且总体而言选取一般的测试用例作为原始测试用例的测试效果要优于用特殊测试用例进行蜕变测试。

全球化蜕变及其对“全球南方”的意义

全球化是世界经济社会发展的必然进程,一直并将继续在多种力量驱动下曲折发展演进。“全球南方”是全球化的重要组成部分,但长期居于弱势和从属地位。当前,传统模式的全球化因其内在矛盾越来越难以持续,正在酝酿“蜕变”。“全球南方”在获得发展机遇的同时面临巨大挑战,中国的发展理念和全球发展倡议将为全球化注入新活力,并为“全球南方”带来新机遇。

蜕变指标分析体系探讨

文章主要分析了蜕变理论中的研究项目、系统指标、蜕变度及其蜕变对资源利用程度指标等 ,并具体分析了各项资源的可利用程度 ,最后提出了综合分析评价指标。

媒介融合视域下广播节目的升级与蜕变

随着媒体融合向纵深发展,媒体格局、舆论生态与传播方式均发生了深刻的变化,广电媒体传统业务与新媒体业务此消彼长,为广播节目的跨界融合打开了新空间,广播节目升级与蜕变正当时。广电媒体要想提升自身的传播力、影响力与引导力,就要立足媒介融合视域分析广播节目发展的新特点与新形势,以融合转型增强自身高质量创新性发展的内在动能。本文立足媒介融合视域,对新时期广播节目发展面临的困境进行了分析,并从内容建设、流程重塑、立体传播、受众中心、队伍建设5个方面探究了广播节目升级蜕变的有效策略。

蜕变测试技术综述

软件测试是一种重要的、不可缺少的软件质量保证技术,用于发现和纠正软件中存在的缺陷和错误,但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序,可以有效地解决上述问题。经过近十年的研究,蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展,并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述,针对已有方法的不足之处,对未来的研究方向进行了展望,包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。

基于程序路径分析的有效蜕变测试

蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMST)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少.

从“看见”到“洞见”的理想和现实——谈张炜《去老万玉家》中“美少年”的成长蜕变

张炜的文学创作开始于20世纪80年代,时值中国社会经济发生了诸多变化,改革开放不仅改变了中国的发展命运,也影响着社会人文思想的发展方向。崛起于英美文学领域的“新历史主义”思潮传到中国,新历史主义是西方现代主义的一个分支,它“试图把对历史的规定性打开,对过去视为非历史的层面也加以历史的考量,这是一种借用人类学的‘厚描’方法的历史学,由此其生产性大大加强”[1]。

蜕变或堕亡——论老舍小说中市民形象转变的模式

在老舍小说所呈现的市民世界里,主要存在着老派市民、新派市民、正派的或理想的市民等几类市民形象。老舍采取动态描写的方式塑造市民形象,成长蜕变或者走向堕亡是老舍小说中市民形象发生转变的两种模式。老舍对市民形象转变的书写,真实观照了市民的身心双重状态,表现了对北京旧社会黑暗现实的批判,并且寄托了作家自身的人格理想与文化态度。

坡度坡向量算程序蜕变测试方法

坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算特性以及具体实现算法等提出蜕变关系,并通过分析蜕变关系的适用范围,形成坡度坡向量算程序蜕变测试方法。最后,通过实例研究,验证了提出的蜕变关系在消除不同类型变异方面的有效性。实验结果表明,该方法可有效解决坡度、坡向量算程序的测试判定问题,同时也为解决地理信息系统中其他空间度量程序的测试判定问题提供了借鉴,进一步拓展了蜕变测试技术的应用范围。

从《任逍遥》到《江湖儿女》看贾樟柯电影中女性形象的延续与蜕变

贾樟柯电影中的女性角色是他电影艺术中的独特存在,这些女性鲜活生动,其一颦一笑、一举一动,都牵引着观众、推动着剧情。“巧巧”这一女性角色从《任逍遥》到《江湖儿女》都有出现,其看似是同一个人,却又有着完全不同的命运。本文从女性主义视角,通过对比分析贾樟柯两部电影中“巧巧”这一女性形象的塑造,审视贾樟柯电影中女性形象在时代变迁中的延续与蜕变。

江南渔村的美丽蜕变

从一个曾经贫困的江南小渔村蜕变成为如今的千亿元级经济“航母”,经过50多年的接续奋斗,我所在的江阴市夏港街道长江村成功书写了一部“美丽乡村蝶变记”。如果要问其中的发展秘诀,我认为,“幸福都是奋斗出来的!”我与全体长江村民一起“只为成功想办法、不为失败找理由”,发扬“团结拼搏、求真务实、与时俱进、开拓创新”的精神,齐心协力,敢想敢拼,共同描绘出一幅“繁荣富裕又十足现代化”的江尾海头幸福图景。

面向条件筛选搜索系统的蜕变测试方法

为缓解拥有庞大数据信息的条件筛选搜索系统搜索结果时带来的Oracle问题,提出蜕变测试方法。通过识别程序多次输入输出之间的关系是否违反蜕变关系,可有效缓解Oracle问题。因此,有效识别蜕变关系是完成蜕变测试的前提。根据条件筛选搜索系统的自定义条件,设计两种蜕变关系模式帮助简化蜕变关系的识别,提高蜕变测试的故障检测质量。实验结果表明,利用改进的蜕变关系模式在条件筛选搜索系统中执行蜕变测试提高了14%的精确率,验证了该方法识别蜕变关系的简洁性和有效性。

蜕变关系形式化描述与分解技术

蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。