静态程序的合法性检查研究

• 作者: 王汝传 韩光法
• 来源期刊: 南京邮电学院学报(自然科学版)
• 学科: 工学
• 关键词: 静态分析 程序 合法性 模块关系 入度 出度
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 研究报告
• 页码范围: 86-90
• 页数: 5页
• 分类号: TP311.5
• 字数: 3099字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2003.03.020

摘要

介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计来满足测试的要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王汝传	南京邮电学院计算机科学与技术系	671	6841	35.0	53.0
2	韩光法	南京邮电学院计算机科学与技术系	12	90	6.0	9.0