可扩展程序对象模型相关论文
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测.......
介绍一种源程序度量系统的实现方法,它以可扩展程序对象模型作为其构建基础,将对源程序的 信息抽取变为对抽象对象模型的信息抽取,......
对程序进行静态分析是程序检查的一种有效的手段，而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模......
扩展程序参考模型是在可扩展的程序对象模型(EPOM)的基础上建立起来的有关程序统计信息的模型.它能够反映程序中的变量信息、函数......
