导读:本文包含了代数规格说明论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:代数,规格,抽象,范式,测试,软件,数据类型。
代数规格说明论文文献综述
朱丹江,王黎明[1]（2013）在《基于代数规格说明的OOP测试用例生成算法研究》一文中研究指出现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代数规格化说明生成测试用例的方法.首先,根据代数规格化说明得到一组基本项.为了避免从理想基本项集合中选择一组基本项时受理想基本项集合的制约,本文用基本项模型图生成基本项,然后,从基本项集合中得到等价的范式集合.针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出对基本项模型图路径拆分的方法.最后,用范式替换规格化说明公理系统中的变量,生成测试用例.对于公理中的条件语句和循环语句,还提出一种公理变换方法,保证了测试路径的覆盖.实例分析和实验验证表明,本文的方法可以生成一个范式的最小集合,减少了生成测试用例的数量,提高了测试用例的效率.(本文来源于《小型微型计算机系统》期刊2013年04期）
朱丹江[2]（2012）在《基于代数规格化说明的OOP测试用例生成算法研究》一文中研究指出随着计算机技术的发展和计算机应用的普及,软件系统的需求量越来越大,在现阶段,面向对象软件系统占据了其中很大的比例,在软件系统的测试方面出现了许多测试方法,基于形式化规格说明的软件测试方法是其中重要、有效的一种。在基于形式化规格说明的软件测试方法中,形式化规格说明通常作为正确性验证的基础。目前,基于形式化规格说明的软件测试主要用于安全性和可靠性要求较高的软件系统,根据所用的规格化说明语言的特点,用不同的方法进行软件测试。主要的测试思路有等价测试和不等价测试等。生成测试用例所用的工具有基本项、等价项、不等价项、基本对等。本文主要研究了基于程序的代数规格化说明生成测试用例进行软件测试的方法。本文提出了根据代数规格化说明生成基本项模型图的方法,并且生成的基本项模型图也能完全体现程序的面向对象特征。本文测试方法的主要思路是：首先根据代数规格化说明得到一组基本项。为了避免从理想基本项集合中选择一组基本项时受到理想基本项集合的完备性和无穷性等因素的制约,本文根据代数规格化说明构造一个基本项模型图,然后用基本项模型图生成基本项。为了进一步减少最终生成测试用例的数量,本文从生成的基本项集合中得到与这个基本项集合等价的范式集合,再通过范式来生成测试用例。针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出了对基本项模型图进行路径拆分,根据路径拆分后基本项模型图生成范式的方法。最后,用范式替换代数规格化说明公理系统中的变量,生成测试用例。在用范式生成测试用例时,本文根据而向对象程序的继承、多态等特征,提出了替换准则,根据这个替换准则用范式替换公理系统中的变量,保证了生成的测试用例能够体现程序的面向对象特征。本文还提出了对公理系统中的条件公理和循环公理的处理方法,并且用简单域测试策略选择测试数据填充测试用例。(本文来源于《郑州大学》期刊2012-05-01）
谭琳[3]（2008）在《代数规格说明的半自动化辅助构造工具的设计和实现》一文中研究指出形式化方法是目前兴起的一种很重要的软件开发方法。代数规格说明可以应用于形式化方法。它用一组代数公理来刻画对类操作行为的需求,它提供了一种形式化的手段,使人们能够把类的实体的需求说明较严谨地描述出来。在基于代数规格说明的面向对象类级的软件测试研究中,代数规格说明作为一个基本的已知条件必须首先构造出来。公理系统是一个代数规格说明的最主要部分,它描述需求的语义,它必须具有独立性、一致性和完整性。本课题基于代数规格说明的独立性、一致性和完整性来完成代数规格说明中公理的辅助构造工具的设计和实现,包括对原有方案CLA作了某些局部性修改;较详细地分析和阐述了方案CLA所枚举的公理左边的所有可能的模式的理由;在代数规格说明公理系统一致性和独立性原有的形式化定义和命题的基础上,提出了判断这种公理系统一致性和独立性的一个半自动化近似算法;对这两者作了实现和实验。以期提高构造代数规格说明的效率,节约形式化软件开发的成本,舒缓产业界人士对构造公理的困难。(本文来源于《暨南大学》期刊2008-05-05）
宋立彤,金成植[4]（1994）在《代数规格说明语言ASL及到PROLOG的转换》一文中研究指出本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换 的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。(本文来源于《吉林大学自然科学学报》期刊1994年03期）
李中华,李玉茜[5]（1991）在《抽象数据类型的代数规格说明》一文中研究指出本文提出抽象数据类型的代数规格说明的一种新的语义。以该语义为基础,讨论代数方法的说明能力,并证明:所有部分可计算代数都存在代数规格说明。最后,文章还将论证代数规格说明的充分完备性、协调性、独立性的不可判定性。(本文来源于《计算机研究与发展》期刊1991年07期）
陈意云,郭青[6]（1990）在《程序设计语言的代数规格说明方法》一文中研究指出程序设计语言的形式规格说明是程序设计语言标准化、编译器自动生成和程序正确性证明的基础。良好的形式规格说明对语言的设计者、实现者和使用者都是有益的。 1.程序设计语言的代数规格说明方法 代数规格说明方法起源于ADJ小组,他们把语言的语法作为初始代数T,语义论域则是同样基调(signature)上的代数A,使得语言的语义由唯一同态f:T→A自动给(本文来源于《计算机学报》期刊1990年08期）
郑国梁,蓬颖[7]（1988）在《代数规格说明及其转换系统》一文中研究指出本文讨论从规格说明到高级语言程序的自动转挟,尤其是基于知识的转换.首先给出一种基于抽象数据类型的代数规格说明语言AAA;然后介绍作者设计并实现的一个实验性自动转换系统.该系统接受AAA语言描述的规格说明,通过不断选用适当的转挟规则,逐步将此规格说明转换成可执行的LISP语言的程序.(本文来源于《计算机学报》期刊1988年12期）
蓬颖,郑国梁[8]（1988）在《抽象数据类型及其代数规格说明》一文中研究指出本文介绍抽象数据类型及其规格说明技术中很活跃的一个研究方向——代数描述方法.给出基于抽象数据类型的代数规格说明的语法和语义,讨论一致性、完备性等问题.最后探讨规格说明的实现以及正确性证明的方法.(本文来源于《计算机科学》期刊1988年03期）
代数规格说明论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着计算机技术的发展和计算机应用的普及,软件系统的需求量越来越大,在现阶段,面向对象软件系统占据了其中很大的比例,在软件系统的测试方面出现了许多测试方法,基于形式化规格说明的软件测试方法是其中重要、有效的一种。在基于形式化规格说明的软件测试方法中,形式化规格说明通常作为正确性验证的基础。目前,基于形式化规格说明的软件测试主要用于安全性和可靠性要求较高的软件系统,根据所用的规格化说明语言的特点,用不同的方法进行软件测试。主要的测试思路有等价测试和不等价测试等。生成测试用例所用的工具有基本项、等价项、不等价项、基本对等。本文主要研究了基于程序的代数规格化说明生成测试用例进行软件测试的方法。本文提出了根据代数规格化说明生成基本项模型图的方法,并且生成的基本项模型图也能完全体现程序的面向对象特征。本文测试方法的主要思路是：首先根据代数规格化说明得到一组基本项。为了避免从理想基本项集合中选择一组基本项时受到理想基本项集合的完备性和无穷性等因素的制约,本文根据代数规格化说明构造一个基本项模型图,然后用基本项模型图生成基本项。为了进一步减少最终生成测试用例的数量,本文从生成的基本项集合中得到与这个基本项集合等价的范式集合,再通过范式来生成测试用例。针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出了对基本项模型图进行路径拆分,根据路径拆分后基本项模型图生成范式的方法。最后,用范式替换代数规格化说明公理系统中的变量,生成测试用例。在用范式生成测试用例时,本文根据而向对象程序的继承、多态等特征,提出了替换准则,根据这个替换准则用范式替换公理系统中的变量,保证了生成的测试用例能够体现程序的面向对象特征。本文还提出了对公理系统中的条件公理和循环公理的处理方法,并且用简单域测试策略选择测试数据填充测试用例。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
代数规格说明论文参考文献
[1].朱丹江,王黎明.基于代数规格说明的OOP测试用例生成算法研究[J].小型微型计算机系统.2013
[2].朱丹江.基于代数规格化说明的OOP测试用例生成算法研究[D].郑州大学.2012
[3].谭琳.代数规格说明的半自动化辅助构造工具的设计和实现[D].暨南大学.2008
[4].宋立彤,金成植.代数规格说明语言ASL及到PROLOG的转换[J].吉林大学自然科学学报.1994
[5].李中华,李玉茜.抽象数据类型的代数规格说明[J].计算机研究与发展.1991
[6].陈意云,郭青.程序设计语言的代数规格说明方法[J].计算机学报.1990
[7].郑国梁,蓬颖.代数规格说明及其转换系统[J].计算机学报.1988
[8].蓬颖,郑国梁.抽象数据类型及其代数规格说明[J].计算机科学.1988
论文知识图
