导读:本文包含了多值模型论文开题报告文献综述及选题提纲参考文献，主要关键词:多值逻辑,模型检测,测试用例,软件测试
多值模型论文文献综述
刘姣[1]（2016）在《基于多值模型检测自动生成测试用例方法的研究》一文中研究指出随着计算机技术的发展,人们日常生活的各个方面越来越依赖于计算机系统的协助,如移动计算,通信系统,信息管理系统,智能医疗系统及智能家居系统中包含的大量软件等。一个常见的问题是：软件系统的规模和复杂性的日益增加,导致其在开发、应用时出现了各种各样的伺题,软件质量难以保证。软件测试是量度软件品质,保证软件质量和可靠性的一种常用方法,且需要消耗大量的人力、物力和时间等资源；软件测试时间占到了其整个开发过程的40%～60%,故提高自动化测试程度对于减少软件开发成本、保证软件安全正常运行非常重要。其中,测试用例自动生成是提高软件测试自动化程度的关键。模型检测凭借其能协助自动生成测试用例的特点越来越受到人们关注。目前,基于模型检测自动生成软件测试用例的研究一般基于经典逻辑,主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态偷题性质,并能在系统不满足性质时提供反例路径,然后根据反例路径提取测试用例。但是在软件开发过程中,系统规模和复杂度的不断增加,导致系统模型结构不断复杂化；在利用经典逻辑模型检测对系统状态进行穷尽搜索时,容易产生状态爆炸,无法有效地实现测试用例的自动生成。所以,需要找到新方法来解决和实现测试用例自动化生成所面临的诸多问题。多值逻辑模型检测为解决上述问题提供了可行的基础。本文提出了基于多值逻辑模型检测的测试用例自动化生成方法。主要研究内容如下：首先,分析了基于模型检测自动生成测试用例的研究现状及其面临的问题；接着,阐明了多值模型检测相关理论基础;然后,给出基于多值模型检测的测试用例自动生成方法：给出刻画系统属性的时序逻辑公式；采用陷阱性质对时序逻辑公式进行变异,以满足测试覆盖度；提出多值逻辑模型检测算法,并对变异后的CTL性质进行自动化验证,生成反例,最后,对反例进行提取,自动生成测试用例。综上所述,本文提出的基于多值模型检测自动生成测试用例的方法可以实现复杂系统的测试用例自动生成,为现实环境中复杂系统测试提供了良好的基础。(本文来源于《陕西师范大学》期刊2016-05-01）
王彬[2]（2015）在《基于多值模型检测的SaaS应用测试及其自动化研究》一文中研究指出随着互联网技术和软件开发技术的不断发展,软件即服务(Software as a service)作为一种新型软件服务方式,得到了业界越来越多的认可。基于SaaS的应用主要面向云计算终端用户,为其提供基于互联网的服务。SaaS模式下软件服务提供商采用多租户模式将软件以服务的形式租赁给众多租户使用,而租户可以根据自身需求定制个性化的服务。目前SaaS应用主要集中在CRM、ERP、在线办公、企业管理等领域,并在这些领域取得了良好的发展。但是,SaaS应用实现过程复杂且用户需求多变,如何对SaaS应用的安全性、可靠性及有效性进行合理的测试,以保证用户能够获取满意的服务,成为亟需解决的难题。由于SaaS应用中普遍存在不确定或不一致信息,所以传统软件测试方法及工具己无法有效应用到SaaS应用测试中,需要找到一种新的SaaS应用测试方法,对SaaS应用的正确性和可靠性提供保障。本文基于多值模型检测理论,研究了SaaS应用的测试及其自动化实现方法。文中首先分析了SaaS应用的背景及研究现状,对SaaS应用面对的问题进行简要讨论；接着介绍了经典模型检测及自动机的相关基础理论,并阐述了多值模型和多值性质；在此基础上重点说明了本文提出的基于多值模型检测的SaaS应用测试方法。该方法的目的是对SaaS应用“流程设计”及“服务配置”这两个部分进行自动测试,技术路线是对SaaS应用“流程设计”及“服务配置”建立多值模型,再利用多值模型检测技术验证SaaS应用设计是否满足用户的需求,最后根据反例自动生成测试用例。本文引入多值逻辑对SaaS应用中的不确定性进行了更加准确的描述,提出的测试方法为SaaS应用测试提供了一种新的思路。(本文来源于《陕西师范大学》期刊2015-06-01）
张恒[3]（2015）在《多值模型检测器的研究与实现》一文中研究指出模型检测是一种重要的对系统行为进行自动化检测的技术。经典的模型检测技术利用布尔逻辑建立系统模型,它要求对系统的所有行为给予确定性的描述。现有的模型检测器大多是基于经典模型检测技术实现的。然而,在许多大型复杂的系统开发过程中经常遇到包含不确定或不一致的信息需要处理,对于此类问题经典的模型检测技术无有效解决方法,现有的被广泛使用的模型检测器,例如NuSMV或者Spin,将不能够应用在这些系统的检测上。多值逻辑可通过增加额外的真值来显示表示系统中的不确定和不一致信息。所以,多值模型检测作为经典模型检测的一种扩展,可用于检测包含此类信息的系统。随着多值模型检测技术的不断发展,开发实现多值模型检测器成为了迫切的需要。本文介绍了一种新的多值模型检测器MVMC的实现方法。MVMC使用格值表示多值逻辑真值；用多值Kripke结构描述系统模型。MVMC能够检测多值系统模型上的线性性质,包括安全性,不动性,活性,一致性,及对偶一致性等。与现有的多值逻辑模型检测器xChek相比,本文设计实现的多值模型检测器检测的是LTL描述的系统性质,通过将多值模型转换为类经典模型进行检测,可有效减少检测过程中搜索的系统状态的数量,从而降低了检测过程对物理内存的需求,并提高了检测的效率。最后通过实例,对MVMC进行了测试,说明该检测器是有效的。(本文来源于《陕西师范大学》期刊2015-06-01）
黄鸣宇,石玉峰[4]（2014）在《基于χChek的软件产品线多值模型检测方法》一文中研究指出软件产品线保持产品个性化的同时提高了公共部分的复用。但软件产品线中包含的不确定信息,给产品带来了潜在风险。形式化验证技术逐步应用于软件产品线验证。但是传统的布尔逻辑模型不能很好地描述软件产品线的不确定性和不一致性。本文结合多值模型检测器χChek,通过基于动作的模型描述方法,对软件产品线进行描述,然后转换成为χChek规定的模型格式,同时提供多值逻辑描述。最后采用计算树逻辑描述产品线属性,使用χChek进行验证。(本文来源于《计算机与现代化》期刊2014年08期）
陈娟娟,魏欧[5]（2014）在《基于分解的多值模型的逼近关系》一文中研究指出多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证。提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础。为此,首先给出了多值模型分解为多个叁值模型的方法,并且证明了任意μ演算公式在多值模型上的检测结果等于在分解后所有三值模型上的检测结果的合并。进一步,由叁值模型上的混合模拟关系给出了多值模型间逼近关系的结构定义,并证明对于任意给定的两个满足逼近关系的多值模型,μ演算公式在其上的检测结果在信息序关系上得以保持。(本文来源于《计算机科学》期刊2014年06期）
陈娟娟[6]（2014）在《基于双格的多值模型精化关系及对称化简》一文中研究指出模型检测是一种自动验证系统行为属性的技术。传统的模型检测针对基于布尔逻辑建立的系统模型，要求对系统的所有行为给予确定的描述。然而，在软件开发的许多阶段，如在需求分析阶段，由于用户的要求不明确以及观点的不一致，模型中可能包含不确定或不一致信息，传统布尔模型无法满足此要求，而多值模型更适合在此类情况下进行建模和分析。多值模型一般采用基于德摩根代数的多值逻辑来定义，是传统布尔模型的扩展。与传统模型检测类似，多值模型检测也存在状态爆炸问题。精化关系是采用抽象和对称化简等方法解决状态爆炸问题的基础，用来刻画系统的具体模型和约简模型之间相对于时序逻辑所描述的行为属性的保持关系。现有的针对多值模型的精化关系定义过强，适用范围受到限制。因此，我们提出了一种新的更加通用的多值模型精化关系，并且以此为基础研究了多值模型的对称化简方法。我们以世界双格作为理论基础,其中的逻辑值之间存在两种序关系：真值序关系与信息序关系。任意一个德摩根代数均同构于世界双格的一个子格；同时,对行为属性的模型检测可根据逻辑值的真值序关系定义,而模型检测结果的精确度以及具体模型和约简模型之间的属性保持关系则可根据逻辑值的信息序关系定义。为此，我们首先定义了基于世界双格的多值模型,以及时序逻辑μ演算所对应的语义。然后，我们从两个角度刻画了新的多值模型的精化关系：（i）通过将多值模型分解为叁值模型进行刻画，(ii)直接针对多值模型的结构进行刻画；证明了这两种刻画等价，是具体模型与约简模型满足对μ演算公式的模型检测保持信息序关系的充分必要条件；给出识别多值模型状态上的精化关系的算法。进一步，以此精化关系基础，定义了多值模型的对称化简商结构，证明商结构与原模型之间存在互为精化的关系，将对称化简扩展到一般的多值模型上。(本文来源于《南京航空航天大学》期刊2014-03-01）
陈娟娟,魏欧,黄志球,陈哲[7]（2013）在《基于双格的多值模型的精化关系与对称化简》一文中研究指出多值模型是传统布尔模型的扩展。与布尔模型相比,多值模型更适合对包含不确定和不一致信息的软件系统进行建模。为了解决模型检测时的状态爆炸问题,研究了对基于双格的多值模型的对称化简方法。提出了一种新的多值模型的精化关系,证明其保持对μ演算公式的模型检测结果的正确性。定义多值模型的对称化简商结构,证明商结构与原模型之间存在互为精化的关系,因此对μ演算公式的模型检测在二者上可以得到相同的结果。(本文来源于《计算机工程与应用》期刊2013年22期）
赵林,吴尽昭[8]（2008）在《基于吴方法的多值模型检验》一文中研究指出大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.(本文来源于《系统科学与数学》期刊2008年08期）
曹飞[9]（1999）在《经典命题演算的多值模型》一文中研究指出自Ｌｕｋａｓｉｅｗｉｃｚ创立多值逻辑以来，人们普遍认为经典命题演算只是二值逻辑系统。然而，这种观点实际上并不成立。本文用集合概念对逻辑学的基本概念“真值”作了精确定义，并以此区分了真值与真的概率，由此给出了经典命题演算的一般真值模型、有穷多值模型及无穷多值模型，并具体证明了可靠性定理和完全性定理，从理论上说明了经典命题演算不仅存在二值逻辑系统，而且存在多值逻辑系统，不仅存在有穷多值逻辑系统，而且存在无穷多值逻辑系统。(本文来源于《华东师范大学学报(哲学社会科学版)》期刊1999年01期）
陈岩松,朱伟利[10]（1993）在《光学神经网络多值模型及实验研究》一文中研究指出本文对两种光学神经网络多值模型进行了探讨,并设计了以空间光调制器PROM为主体的光学系统对这两种模型进行了光学模似。实验结果及计算机拟结果均表明,采用这两种模型的网络存贮容量有所提高。(本文来源于《光电子·激光》期刊1993年05期）
多值模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着互联网技术和软件开发技术的不断发展,软件即服务(Software as a service)作为一种新型软件服务方式,得到了业界越来越多的认可。基于SaaS的应用主要面向云计算终端用户,为其提供基于互联网的服务。SaaS模式下软件服务提供商采用多租户模式将软件以服务的形式租赁给众多租户使用,而租户可以根据自身需求定制个性化的服务。目前SaaS应用主要集中在CRM、ERP、在线办公、企业管理等领域,并在这些领域取得了良好的发展。但是,SaaS应用实现过程复杂且用户需求多变,如何对SaaS应用的安全性、可靠性及有效性进行合理的测试,以保证用户能够获取满意的服务,成为亟需解决的难题。由于SaaS应用中普遍存在不确定或不一致信息,所以传统软件测试方法及工具己无法有效应用到SaaS应用测试中,需要找到一种新的SaaS应用测试方法,对SaaS应用的正确性和可靠性提供保障。本文基于多值模型检测理论,研究了SaaS应用的测试及其自动化实现方法。文中首先分析了SaaS应用的背景及研究现状,对SaaS应用面对的问题进行简要讨论；接着介绍了经典模型检测及自动机的相关基础理论,并阐述了多值模型和多值性质；在此基础上重点说明了本文提出的基于多值模型检测的SaaS应用测试方法。该方法的目的是对SaaS应用“流程设计”及“服务配置”这两个部分进行自动测试,技术路线是对SaaS应用“流程设计”及“服务配置”建立多值模型,再利用多值模型检测技术验证SaaS应用设计是否满足用户的需求,最后根据反例自动生成测试用例。本文引入多值逻辑对SaaS应用中的不确定性进行了更加准确的描述,提出的测试方法为SaaS应用测试提供了一种新的思路。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
多值模型论文参考文献
[1].刘姣.基于多值模型检测自动生成测试用例方法的研究[D].陕西师范大学.2016
[2].王彬.基于多值模型检测的SaaS应用测试及其自动化研究[D].陕西师范大学.2015
[3].张恒.多值模型检测器的研究与实现[D].陕西师范大学.2015
[4].黄鸣宇,石玉峰.基于χChek的软件产品线多值模型检测方法[J].计算机与现代化.2014
[5].陈娟娟,魏欧.基于分解的多值模型的逼近关系[J].计算机科学.2014
[6].陈娟娟.基于双格的多值模型精化关系及对称化简[D].南京航空航天大学.2014
[7].陈娟娟,魏欧,黄志球,陈哲.基于双格的多值模型的精化关系与对称化简[J].计算机工程与应用.2013
[8].赵林,吴尽昭.基于吴方法的多值模型检验[J].系统科学与数学.2008
[9].曹飞.经典命题演算的多值模型[J].华东师范大学学报(哲学社会科学版).1999
[10].陈岩松,朱伟利.光学神经网络多值模型及实验研究[J].光电子·激光.1993