导读:本文包含了动态测试工具论文开题报告文献综述及选题提纲参考文献，主要关键词:并发错误模式,传感网程序,动态测试,TinyOS
动态测试工具论文文献综述
程明[1]（2017）在《基于并发错误模式的传感网程序动态测试工具的开发》一文中研究指出近几年来,随着无线通信技术、微电子技术的不断进步,无线传感网络得到了快速发展。然而,随着越来越多的WSN程序被部署到实际应用中,这些应用也常常因为软件质量问题而产生不可预知的故障。TinyOS系统是WSN节点级编程事实上的标准平台。由于TinyOS程序复杂的系统并发模型,并发缺陷成为TinyOS程序中常见却难以检测的缺陷。WSN程序主要的功能包括对数据进行采集、转发和处理,需要大量事件处理过程实例的协同工作以完成这些功能。事件处理过程实例是并发交织地执行的,包括执行对共享变量读写和对共享信道的使用等。而事件处理过程实例对这些共享资源的交织访问都可能导致传感网程序产生并发错误。本文研究TinyOS程序中事件处理过程实例交织访问共享资源所引起的并发错误,包括因共享内存位置和共享信道引起的并发错误。本文提出了一组描述这些并发错误特征的错误模式,用以传感网程序并发错误的动态检测。本文实现了检测这两类并发错误模式的算法,可以在TinyOS程序运行时实时地识别所出现的并发错误。本文基于此算法实现了一个TinyOS并发错误的动态测试工具,能可视化地报告被测程序的错误模式和错误语句。在被测程序运行时,该工具追踪各个共享变量的访问序列以及共享信道的使用情况,从而识别错误模式,并报告确定性的或可疑的并发错误。对于每一个特定的错误模式,此工具还能定位错误到其所在的源码语句行。(本文来源于《暨南大学》期刊2017-06-21）
梁昊,艾云峰,陈丽容,沈怀荣,赵永超[2]（2015）在《控制系统多重中断并发程序测试动态工具设计》一文中研究指出为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式,以动态偏序化简算法为基础,引入中断处理机制和sleep集合,将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。(本文来源于《计算机工程与设计》期刊2015年07期）
邵巳航[3]（2014）在《基于过程间动态符号执行的自动测试工具设计与实现》一文中研究指出由于信息技术的迅速发展,计算机软件越来越多地融入到人们的工作和生活当中。随着云计算技术和各种移动终端的普及,市场对软件需求不断增长的同时,对软件质量的要求也不断提高。尤其在高可信领域中,测试人员必须利用有限的时间和资源,发现软件的漏洞,从而保证程序的正确性。在此背景下,测试用例自动化生成技术得到了不断发展。动态符号执行是针对白盒测试的自动化用例生成技术之一,在传统符号执行的基础上,加入符号实例化的思想,收集被测代码中程序路径上的分支表达式作为约束,求解后得到程序输入变量的具体值作为测试用例。然而,在针对以函数为单位的过程间测试中,往往存在大量的函数调用关系导致路径爆炸,一系列基于过程间动态符号执行的算法得到了发展。本文针对过程间自动测试工具进行研究,提出了基于函数摘要的过程间动态符号执行算法；设计了一套通用的、与约束求解器无关的约束范式；提出了过程间Def-Use算法以及执行树模型,从而统一了函数调用中实参和形参的符号,并使程序能以函数为单位处理路径信息。本文在项目单元测试工具CAUT的框架下,针对C语言,详细论述了一套可行的过程间动态符号执行模型并且实现,最后通过实验体现了本文算法对提高测试准确度和效率的价值。(本文来源于《华东师范大学》期刊2014-05-01）
史娇娇,姜淑娟[4]（2012）在《基于遗传算法的动态可变参数的测试数据自动生成工具》一文中研究指出测试数据的生成是实现软件测试自动化的关键,这一技术的实现大大节省了软件开发的时间和费用。利用遗传算法的理论与算法特点,建立了动态可变参数的测试数据自动生成工具。通过该工具的可视化界面可以动态地输入遗传算法参数,而且能够根据不同的路径选择输入相应的适应度函数,克服了以往在源代码中修改适应度函数的缺陷。最后通过两个实验,证明了算法的优越性。(本文来源于《计算机科学》期刊2012年05期）
蒋思远[5]（2012）在《基于动态符号执行的测试工具设计与实现》一文中研究指出随着各行各业对计算机软件的日趋依赖,软件故障带来的经济损失也日渐庞大。尤其在高可信领域,应最大可能地避免软件故障。为了达到该目标,软件测试是一个重要且易行的方法。白盒测试将程序内部结构作为测试目标,用于测试程序的正确性,被广泛地运用在高可信领域。近十几年,人工成本不断的增加、白盒测试标准的日渐复杂以及被测程序复杂性的快速增长,使得对自动化白盒测试工具的需求日趋强烈。为了自动化地进行白盒测试,测试工具需要根据被测代码来自动生成测试输入。符号执行技术通过将输入变量看作符号来模拟执行,可以收集被测代码中的分支条件表达式,并将这些信息作为对输入变量的约束用于自动生成测试输入的过程中。符号执行技术要运用在真实程序中非常困难,主要的问题是真实程序中抽取的约束过于复杂而求解太慢或不能求解。为了处理上述问题,动态符号执行被提出,将过于复杂的约束用变量的实际值简化,来提高符号执行的可行性。为了使动态符号执行生成的测试输入更有效,本文从叁方面着手提高动态符号执行的效率：将白盒测试覆盖目标作为测试驱动；优化可变偏移的约束处理；动态管理测试输入生成的变量集合。本文描述并讨论了一个基于动态符号执行的测试工具CAUT的设计与实现,详细描述并分析了在这套设计中的叁个改进方案。本文通过将本测试工具与其它现有的基于动态符号执行的测试工具相比较,实验说明了叁个方案的有效性,并且进行了179个函数单元的测试,反映了其实际应用价值。(本文来源于《华东师范大学》期刊2012-05-01）
何维英[6]（2009）在《数据库动态恢复测试工具的设计与实现》一文中研究指出在越来越激烈的信息战中,恶意事务对数据库的攻击取得成功在一定程度上已不可避免,传统的恢复机制已不能保护数据库的安全,数据库动态恢复技术应运而生。动态恢复技术在保证DBMS的可生存性和可用性的同时,也会降低DBMS的性能。为了分析动态恢复对DBMS性能的影响,就要对动态恢复进行测试。传统的测试工具不能提供故障负载,显然不能满足动态恢复测试的要求。另外,造成动态恢复复杂性的主要因素是事务之间的依赖关系,分析事务之间的依赖关系与动态恢复之间的关系是动态恢复测试应该考虑的一个方面。针对动态恢复测试的需求,制定了动态恢复测试工具的功能需求:第一,能够定制负载数据库的数据规模,以满足不同负载测试;第二,设计的事务要有一定的应用语义,正常事务之间要有依赖关系,恶意事务能够造成破坏并形成扩散;第叁,根据动态恢复测试的要求,为动态恢复的测试提供事务集。根据动态恢复测试工具的功能需求,设计并实现了数据库动态恢复测试工具,该工具由叁部分组成:测试数据准备、事务集生成和操作终端。测试数据准备为测试准备数据,它根据用户定制的装载系数向数据库中载入数据。事务集生成先设计满足动态恢复工具功能要求的事务,然后针对动态恢复测试的两种情况,生成对应的测试事务集:一种是测试DBMS性能的事务集;另一种是根据用户指定的事务集中事务依赖关系的程度,生成符合这个依赖程度的事务集。操作终端为用户提供较友好的操作界面并控制测试工具的运行。最后,通过实验对动态恢复测试工具进行了功能测试,实验表明该测试工具能够满足动态恢复系统测试的要求。(本文来源于《华中科技大学》期刊2009-05-01）
徐丽[7]（2008）在《Rational功能测试工具中动态数据验证点的实现方法》一文中研究指出Rational功能测试工具通过执行验证点完成被测试应用程序生成的实际数据与期望数据的比较,动态数据验证点用来处理期望值不是常量或期望值随着输入参数不同而发生变化的情况。文章给出了Rational功能测试工具中动态数据验证点的实现方法。(本文来源于《现代企业教育》期刊2008年20期）
潘毅[8]（2008）在《CORBA动态测试工具设计》一文中研究指出在网络管理系统中CORBA技术被广泛应用在北向接口模块中,在测试这类模块时通常会针对不同的规范开发专门的测试程序,费时费力,且没有通用性。该文介绍了一个基于idl语法分析的动态测试工具,可动态测试不同规范的CORBA接口,大大提高了生产效率。(本文来源于《电脑知识与技术》期刊2008年29期）
孙玉霞,陈火炎[9]（2003）在《面向对象软件簇级的一种动态测试工具的设计与实现》一文中研究指出提出一种基于规格说明的面向对象簇级动态测试的新方法 ,并将它完全嵌入到被测试程序的解释器中 ,从而构成了一个解释型簇级测试工具 .本文描述运用面向对象的方法设计和实现该测试工具的一个原型系统(本文来源于《小型微型计算机系统》期刊2003年03期）
陈世鸿,叶磊,薛耀永[10]（2002）在《对象式系统动态测试工具OODT研究》一文中研究指出针对对象式系统的特点 ,提出了一种新的测试模型 ,并以此模型设计了动态测试工具OODT 该工具依据使用事件 (USECASE)生成对象式系统测试过程中的对象关联图 (即执行路径 )和LOG文件 ,LOG文件记录执行路径关键点信息 以此实现被测试路径的动态跟踪与执行结果的分析 ,因此OODT是支持系统的动态测试与测试覆盖率分析的有效工具(本文来源于《武汉大学学报(理学版)》期刊2002年05期）
动态测试工具论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式,以动态偏序化简算法为基础,引入中断处理机制和sleep集合,将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
动态测试工具论文参考文献
[1].程明.基于并发错误模式的传感网程序动态测试工具的开发[D].暨南大学.2017
[2].梁昊,艾云峰,陈丽容,沈怀荣,赵永超.控制系统多重中断并发程序测试动态工具设计[J].计算机工程与设计.2015
[3].邵巳航.基于过程间动态符号执行的自动测试工具设计与实现[D].华东师范大学.2014
[4].史娇娇,姜淑娟.基于遗传算法的动态可变参数的测试数据自动生成工具[J].计算机科学.2012
[5].蒋思远.基于动态符号执行的测试工具设计与实现[D].华东师范大学.2012
[6].何维英.数据库动态恢复测试工具的设计与实现[D].华中科技大学.2009
[7].徐丽.Rational功能测试工具中动态数据验证点的实现方法[J].现代企业教育.2008
[8].潘毅.CORBA动态测试工具设计[J].电脑知识与技术.2008
[9].孙玉霞,陈火炎.面向对象软件簇级的一种动态测试工具的设计与实现[J].小型微型计算机系统.2003
[10].陈世鸿,叶磊,薛耀永.对象式系统动态测试工具OODT研究[J].武汉大学学报(理学版).2002