论文部分内容阅读
该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图，对C++程序进行分层切片，有效地表示了C++中的单重继承、多重继承、多态和动态绑定，该方法比其它C++切片技术更清晰地描述了C++程序中类之间的各种关系和消息传递机制。
一种C＋＋程序的分层切片方法
【摘 要】
：
该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图，对C++程序进行分层切片，有效地表示了C++中的单重继承、多重继承
【机 构】
：
西安电子科技大学软件所
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年23期
【基金项目】
：
国家部委预研基金资助
其他文献
近几年对欧美经济来说可谓多事之秋：先是美国金融危机，后是欧洲主权债务危机。而与此对应，中国经济却风景这边独好，2010年经济总量已跃居全球第二。不曾想，以美国为首的西方国家突然启动TTP与TTIP谈判，试图通过推行“贸易保护”对中国进行围堵，而同时“中国已陷入中等收入陷阱”的论调也大行其道。中国经济能否突围而又何以突围？ 当前中国经济下行与“中等收入陷阱”无关 无需讳言，近两年中国经济已感受到
目前，已有许多种构建决策树的方法。大多数是基于信息熵的，例如，ID3算法，Min-Ambiguity算法以及它们的变异。文中提出了一种新的启发式算法，它是基于属性对于分类的重要程度的。在
在演绎数据库系统中，一般将完整性约束条件和IDB规则分别表示和存储。文章基于笔者自行设计的SD-DDBS系统的IDB规则视图表示方法，给出了一个生成算法，将完整性约束条件表示成视
特征子集选择问题一直是人工智能领域研究的重要内容，特别是近几年来，特征子集选择的算法研究已经成为机器学习和数据挖掘等领域的一个研究热点。该文在扩张矩阵的基础上提出了
摘 要 该文提出了一种原理图级电路设计自动审查系统协同设计实现方案。这种技术的关键就在于将设计和测试向量融为一体，即当设计和测试单独进行时，能够根据设计资料生成标准的测试向量，依据测试向量实现原理图的自动测试。该文介绍了此协同设计体系的系统结构、集成框架结构及扩展EDA内置的测试功能。 关键词 协同设计 原理图级电路 自动审查 测试向量 文章编号1002—8331—(2003)23