切片准则相关论文
随着软件系统的规模越来越大,结构越来越复杂,为了更好的理解程序,为了更合理的开发软件,软件切片技术逐渐成为软件工程学中的一个......
模型检查技术在硬件和协议设计方面已经取得很大成功，但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所......
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维......
程序切片技术是一种在程序调试、测试、代码理解和软件维护等领域用来分析和理解程序的技术,它具有简化问题、缩小目标范围的特性......
众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述.首先规范定......
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软......
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序......
