静态程序的合法性检查研究 |
| |
引用本文: | 韩光法,王汝传.静态程序的合法性检查研究[J].南京邮电大学学报(自然科学版),2003,23(3):86-90. |
| |
作者姓名: | 韩光法 王汝传 |
| |
作者单位: | 南京邮电学院,计算机科学与技术系,江苏,南京,210003 |
| |
摘 要: | 介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计来满足测试的要求。
|
关 键 词: | 静态分析 程序 合法性 模块关系 入度 出度 |
文章编号: | 1000-1972(2003)03-0086-05 |
修稿时间: | 2002年9月16日 |
Check of Program's Legitimacy |
| |
Abstract: | This paper discuss the way to analyze software's legitimacy, and it also introduce the related association among modules, the correspond tactics. |
| |
Keywords: | Analysis of static state Program Legitimacy Relation of module Indegree Outdegree |
本文献已被 CNKI 万方数据 等数据库收录! |
|