程序分片相关论文
程序分片是一种程序抽取技术，对于程序分析、程序理解以及软件工程的各个领域都很有帮助。自从1979年被提出以来，程序分片受到人们的......
变体测试是一种有效的测试度量技术,它提供了一种度量测试的指标及基于该指标的测试方法。基本思想是根据一定的准则(变体算子)在......
基于模型的诊断(MBD)是人工智能领域中一个重要的分支,而软件排错是软件工程中的一项基本技术.该文改进了MBD模型,并将之应用到软......
基于模型的诊断(Model-BasedDiagnosis，MBD)是人工智能领域近年发展起来的一个十分活跃的研究分支。其主要思想是根据系统的逻......
