导读:本文包含了软件控制论论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:控制论,软件,测试,可靠性,自适应,马尔,可夫。
软件控制论论文文献综述
蔡开元,孙昌爱,聂长海[1](2019)在《软件可靠性评估的控制论观点》一文中研究指出软件可靠性评估是确定软件能否交付使用的关键步骤.针对软件可靠性评估中测试资源受限的问题,本文阐述一种软件可靠性评估的控制论观点,采用反馈与自适应控制策略指导软件测试过程,介绍一种基于梯度下降方法的软件可靠性评估方法.理论与实验结果表明,基于软件控制论的可靠性评估方法能够在有限的测试资源下获得精度高、稳定性好的可靠性评估结果.(本文来源于《中国科学:信息科学》期刊2019年11期)
郑涵[2](2018)在《浅谈基于控制论的软件自适应测试方法》一文中研究指出随着信息技术的不断发展,计算机技术已经渗透到各行各业,在工作中,生活中以及学习中发挥着越来越重要的作用。与此同时,软件质量和软件产品的问题备受人们重视。为了进一步的加深对软件自适应测试方法的认识,本论文基于软件控制论的测试方法进行了探讨。(本文来源于《数字技术与应用》期刊2018年12期)
刘乔辉[3](2015)在《浅析软件测试的控制论方法》一文中研究指出随着信息建设的快速发展,软件的高质量和高性能成为当今社会共同关注的热点之一,同时为了更好地保证软件的安全可靠性,控制论方法在软件测试中的应用对于软件故障检测有着一定的积极作用作用,本文研究,将软件随机测试方法远远不及自适应的软件测试方法在某种程度上明显指出,同时自适应的软件测试方法在一定程度上能够有效的降低软件测试的代价。(本文来源于《电子制作》期刊2015年18期)
姚澜[4](2013)在《基于控制论的软件自适应测试策略研究》一文中研究指出随着计算机技术的发展,以软件系统为核心的计算机应用已经渗透到各行各业,在工业、国防、以及人们的日常生活中起着越来越重要的作用。随之而来的软件质量问题和软件产品生产率低下等问题越来越受到人们的重视。在软件工程领域,尽管人们提出和采用了许多提高软件质量的技术和方法,但软件测试一直是保证软件质量的主要途径。目前,测试用例选取技术已成为软件测试的一个重要研究方向,好的测试用例集能够极大地减少测试工作量,降低测试成本,提高软件开发效率。因此,对用于指导测试用例选取的软件测试策略进行深入研究具有重要意义,尽管人们在这方面做了大量研究,但仍存在这样两个值得深入研究的问题:如何根据给定的测试目标设计一个最优测试策略以及如何将软件测试的反馈机制系统的运用起来。软件控制论正是为解决这两个问题而提出的。基于软件控制论的软件测试方法利用反馈控制思想解决软件测试问题,把被测软件作为受控对象,测试策略作为相应的控制器,二者构成一个闭环反馈系统。本文在已有的研究基础上对软件测试的控制论方法进行了深入的研究,主要包括以下几个方面:(1)研究了软件测试的Markov决策模型。针对已有Markov决策模型中存在的不足,对制约条件进行了一系列新的转换,构建了一种以需求覆盖率为测试停止标准的Markov决策模型,该模型与实际的软件测试过程更接近,具有更高的实用性。(2)研究了软件测试的反馈控制律。通过研究和分析软件测试过程中的一些反馈信息与软件测试效果的关系,设计了一种由测试用例的关注需求覆盖率、缺陷检测能力、关键度以及测试代价回报四个因素共同制约的控制器(即测试策略)。(3)研究了参数估计算法及相应的自适应测试策略。根据最优测试目标和所设计的控制器,设计了基于关注需求覆盖的测试用例选取概率估计算法和基于测试结果的代价回报估计算法,并提出了一种基于贪心算法的测试用例选取方法,测试过程中根据参数估计结果,运用贪心算法对测试策略进行在线调整,最终实现软件的自适应测试。最后,本文做了一系列仿真实验,验证了各控制器制约因子在实现测试目标过程中所做的贡献,并与随机测试策略进行了比较,实验结果表明,本文提出的自适应测试策略是有效的,能够实现尽早地检测到尽可能多的严重等级较高的软件缺陷这一目标。(本文来源于《浙江理工大学》期刊2013-03-10)
周海阳,杨慧波[5](2010)在《控制论与软件适应性》一文中研究指出反射技术和控制论构成了软件适应性的基础技术和理论,软件适应性,无论是开发部署适应性还是动态运行适应性,其实现途径中总有控制论的存在。事实上,无论是何种系统,只要是有一个既定目标,都或多或少存在控制论的影子。(本文来源于《中国科技信息》期刊2010年23期)
蔡开元[6](2004)在《关于软件可靠性和软件控制论的若干认识》一文中研究指出软件可靠性问题对于安全关键软件而言具有极端重要性。本文论述了软件可靠性工程的叁个基本问题以及软件可靠性研究现状和面临的主要问题,进而论述了软件控制论产生的背景。软件控制论探讨软件理论和工程与控制理论和工程的交叉应用,其宗旨之一是将控制理论方法较系统地引入软件工程领域,使得软件过程更加有章可循,进一步保证和提高软件可靠性。本文最后概述了软件控制论的几个研究方向。(本文来源于《中国科学基金》期刊2004年04期)
柳晶晶[7](2003)在《基于控制论的软件测试的研究》一文中研究指出本文首先介绍了软件测试的基本方法,并对这些方法各自的优势进行了比较。其次,对软件测试中常见的软件错误进行了分析和分类。再次,基于软件控制论的思想,应用受控马尔可夫链方法,对授权及失效管理子系统进行了测试,详细分析了测试的方法,并针对测试中的问题提出了改进的测试方案。最后,我们对受控马尔可夫链方法的局限性经行了分析,对其中存在的一些问题进行了具体的阐述,为进一步研究软件控制论在软件测试中的应用打下了基础。(本文来源于《华北工学院》期刊2003-03-23)
蔡开元,李永超,景涛,白成刚[8](2002)在《软件测试的控制论方法》一文中研究指出软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析 ,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况 ,软件测试的控制论方法将软件测试问题当作控制问题 ,被测软件当作被控对象 ,软件测试策略当作相应的控制器 ,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科 ,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略 ,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试 ,并与随机测试进行比较 ,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。(本文来源于《航空学报》期刊2002年05期)
软件控制论论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
随着信息技术的不断发展,计算机技术已经渗透到各行各业,在工作中,生活中以及学习中发挥着越来越重要的作用。与此同时,软件质量和软件产品的问题备受人们重视。为了进一步的加深对软件自适应测试方法的认识,本论文基于软件控制论的测试方法进行了探讨。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件控制论论文参考文献
[1].蔡开元,孙昌爱,聂长海.软件可靠性评估的控制论观点[J].中国科学:信息科学.2019
[2].郑涵.浅谈基于控制论的软件自适应测试方法[J].数字技术与应用.2018
[3].刘乔辉.浅析软件测试的控制论方法[J].电子制作.2015
[4].姚澜.基于控制论的软件自适应测试策略研究[D].浙江理工大学.2013
[5].周海阳,杨慧波.控制论与软件适应性[J].中国科技信息.2010
[6].蔡开元.关于软件可靠性和软件控制论的若干认识[J].中国科学基金.2004
[7].柳晶晶.基于控制论的软件测试的研究[D].华北工学院.2003
[8].蔡开元,李永超,景涛,白成刚.软件测试的控制论方法[J].航空学报.2002