程序分片相关论文
程序分片是一种程序抽取技术，对于程序分析、程序理解以及软件工程的各个领域都很有帮助。自从1979年被提出以来，程序分片受到人们的......
变体测试是一种有效的测试度量技术,它提供了一种度量测试的指标及基于该指标的测试方法。基本思想是根据一定的准则(变体算子)在......
基于模型的诊断(MBD)是人工智能领域中一个重要的分支,而软件排错是软件工程中的一项基本技术.该文改进了MBD模型,并将之应用到软......
基于模型的诊断(Model-BasedDiagnosis，MBD)是人工智能领域近年发展起来的一个十分活跃的研究分支。其主要思想是根据系统的逻......
在对程序分片技术研究的基础上,提出一种新的片变体测试方法。通过实例说明,该方法能更有效地提高变体测试的准确性及测试效率。......
程序分片在程序设计、并行、诊断与测试等方面均有广泛的应用,介绍了一种用遗传算法计算最 小动态分片的算法。将整个程序看成是一......
程序分片是一种有效的程序分析技术。它能根据给定的分片准则从源程序中提取出所需部分进行分析，如进行程序调试、测试、程序重构分......
程序分片是一种分析和理解程序的技术.系统介绍了程序分片的概念、计算方法及分片工具、应用领域、研究现状和发展趋势等方面的问......
程序分片在程序理解、调试、维护、测试和集成等许多领域都有广泛的应用.过程间的程序分片是分片技术的难点之一.在总结了现有的过......
基于语义的程序版本合并在异步协同编程中有着重要的应用前景，可以自动地合并多人异地协同编程工作，为最终的修改提供基础，有力地支持......
程序静态分析是白盒测试的主要手段,主要用于度量程序复杂度,分析程序是否满足一定的规则或标准,分析模块的结构并发现结构性错误......
程序分片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称......
