导读:本文包含了覆盖矩阵论文开题报告文献综述及选题提纲参考文献，主要关键词:程序频谱,谓词错误,分层覆盖矩阵,缺陷定位
覆盖矩阵论文文献综述
朱润凝,赵逢禹[1]（2016）在《一种基于谓词分层覆盖矩阵的缺陷定位方法》一文中研究指出基于程序频谱的动态缺陷定位(spectrum based dynamic fault localization,SFL)可分为基于可执行语句覆盖的方法和基于谓词覆盖的方法。通过分析以上两类方法可以发现:a)基于可执行语句覆盖的方法未考虑谓词错误和执行结果之间的关联;b)基于谓词覆盖的方法只针对谓词进行插桩,最后只计算谓词的可疑度并对谓词进行排序,如果缺陷是非谓词,此类方法无法准确定位缺陷位置;c)忽略了基本块之间的关联和层次特性,将各个基本块看成相互独立的个体。为解决上述问题,首先,将谓词错误与执行结果之间的关联性这一有用信息加入到算法的设计中;其次,加入谓词分层覆盖与分析的思想,对覆盖矩阵中的基本块进行细分和分层;最后,将两者结合,提出一种基于谓词分层覆盖矩阵的缺陷定位方法,即谓词分层覆盖算法Phcm。将西门子程序集作为目标程序,通过与其他叁种缺陷定位方法进行对比实验,验证了该方法在提高缺陷定位的精准度和减小代码检查率上的有效性。(本文来源于《计算机应用研究》期刊2016年08期）
何鹏,王学平[2]（2015）在《覆盖矩阵和max-min合成模糊关系方程的极小解》一文中研究指出讨论[0,1]格上max-min合成模糊关系方程R⊙x=b极小解的计算问题。首先定义方程R⊙x=b的极小覆盖子矩阵,用极小覆盖子矩阵给出了方程的解是极小解的充要条件。然后给出用方程R⊙x=b的极小覆盖子矩阵求解方程所有极小解的算法,并对算法计算复杂性进行了估计。(本文来源于《模糊系统与数学》期刊2015年02期）
方冉[3]（2013）在《一种基于混合覆盖矩阵的pairwise测试用例生成方法》一文中研究指出测试用例集的生成是组合测试的一个关键问题,但是使用完全组合覆盖生成测试用例集是NP完全问题.对偶覆盖要求测试用例集至少覆盖输入参数的每一个取值对.该类方法在测试代价和效率方面进行了很好的折中,一直受到广泛关注.基于混合覆盖矩阵,提出了一种pairwise覆盖的测试用例生成方法.实例分析表明,该方法具有生成的测试用例较少、时间消耗小等特点.(本文来源于《安徽师范大学学报(自然科学版)》期刊2013年02期）
张良,佟冬,程旭,王克义[4]（2011）在《覆盖矩阵反馈的演化测试程序生成方法》一文中研究指出覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子模型独立运行基于覆盖矩阵反馈的演化测试程序生成进程.将文中方法应用到北大众志UniCore32定点处理器核的流水线控制相关机制的功能验证中,可以取得95.11%的功能覆盖率;与现有演化测试生成方法相比,在算法运行时间节省60.4%的情况下功能覆盖率提高了31.03%.(本文来源于《计算机辅助设计与图形学学报》期刊2011年03期）
张丹,高建华[5]（2008）在《覆盖矩阵在参数组合配对测试中的应用》一文中研究指出在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试案例集,扩大其应用范围,提高测试效率。用.net工具实现该算法,证明其能够有效、快速地找到一个较优测试集。(本文来源于《计算机工程》期刊2008年21期）
[6]（2004）在《覆盖矩阵交界处——VERITAS将“效用计算”理念落到实处》一文中研究指出在VERITAS“效用计算”矩阵上,横轴是用户关注数据应用的叁个核心:可用性、性能、自动化,竖轴是实施的叁个层次:存储、服务器和应用程序。在矩阵不同层次的交界上,VERITAS都有为用户提供实现效用计算的解决方案。在2004年VERITAS全球用户大会上(本文来源于《每周电脑报》期刊2004年28期）
万宏辉[7]（1991）在《覆盖矩阵P的(0,1)-矩阵类u_p(R,S)的结构》一文中研究指出本文研究了覆盖矩阵P的(0,1)-矩阵类U_p(R,S)的结构,给出了U_p(R,S)中恒元的存在性定理.取P=0,即得Ryser关于U(R,S)中恒1的结果.(本文来源于《华中理工大学学报》期刊1991年04期）
刘明业,李建一[8]（1983）在《求解多输出逻辑函数覆盖问题的覆盖矩阵取补法》一文中研究指出本文根据多输出多维体蕴涵的概念,提出构成多输出函数简化覆盖表的方法,将求解单输出函数的覆盖矩阵取补法推广到多输出函数的求解。该方法可求得函数全部有意义的无冗余覆盖(包括最小覆盖)。对于大覆盖表运用修改的锐积运算可只求得唯一一组无冗余覆盖。这个方法同时可用于消除输出冗余连接。覆盖表的产生和求解,只需存储它的某一部分或全部不存。因此本算法很简单,程序实现方便,解覆盖几乎不需要增加内存,并且计算量较小。现已编成程序,试算结果表明适于求解输入、输出变量较多的逻辑函数覆盖问题和其它规模较大的覆盖问题。(本文来源于《计算机学报》期刊1983年02期）
覆盖矩阵论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
讨论[0,1]格上max-min合成模糊关系方程R⊙x=b极小解的计算问题。首先定义方程R⊙x=b的极小覆盖子矩阵,用极小覆盖子矩阵给出了方程的解是极小解的充要条件。然后给出用方程R⊙x=b的极小覆盖子矩阵求解方程所有极小解的算法,并对算法计算复杂性进行了估计。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
覆盖矩阵论文参考文献
[1].朱润凝,赵逢禹.一种基于谓词分层覆盖矩阵的缺陷定位方法[J].计算机应用研究.2016
[2].何鹏,王学平.覆盖矩阵和max-min合成模糊关系方程的极小解[J].模糊系统与数学.2015
[3].方冉.一种基于混合覆盖矩阵的pairwise测试用例生成方法[J].安徽师范大学学报(自然科学版).2013
[4].张良,佟冬,程旭,王克义.覆盖矩阵反馈的演化测试程序生成方法[J].计算机辅助设计与图形学学报.2011
[5].张丹,高建华.覆盖矩阵在参数组合配对测试中的应用[J].计算机工程.2008
[6]..覆盖矩阵交界处——VERITAS将“效用计算”理念落到实处[J].每周电脑报.2004
[7].万宏辉.覆盖矩阵P的(0,1)-矩阵类u_p(R,S)的结构[J].华中理工大学学报.1991
[8].刘明业,李建一.求解多输出逻辑函数覆盖问题的覆盖矩阵取补法[J].计算机学报.1983