一种检查面向对象程序中数据流异常的方法

• 作者: 郑云
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 数据流分析 程序分析 面向目标程序设计
• 年，卷（期）: 2001,（1）
• 页码范围: 70-72,96
• 页数: 4页
• 分类号: TP311.5
• 字数: 4465字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-506X.2001.01.020

摘要

数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，我们将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流异常的方法。当类中方法的调用顺序符合该类的方法序列规范时，应用提出的方法能确保发现所有的介于不同方法之间的数据流异常。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑云		1	0	0.0	0.0