摘要
介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构,分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略,并具体分析了如何进行程序设计来满足测试的要求。
This paper discuss the way to analyze software's legitimacy, and it also introduce the related association among modules, the correspond tactics.
出处
《南京邮电学院学报（自然科学版）》
2003年第3期86-90,共5页
Journal of Nanjing University of Posts and Telecommunications
关键词
静态程序
软件测试
合法性
模块关系
数据结构
Analysis of static state
Program
Legitimacy
Relation of module
Indegree
Outdegree
