论文部分内容阅读
以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值。
基于数据流表达式的程序数据流分析算法
【摘 要】
：
以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不
【机 构】
：
长春邮电学院计算机工程系
【出 处】
：
长春邮电学院学报
【发表日期】
：
1997年2期
其他文献
采用硬脂酸凝胶法制备了粒度均匀的TiO2纳米晶.用X射线衍射光谱和透射电镜对产物进行表征.通过对所制材料复阻抗的测定,总结出与之相应的等效电路.实验结果表明,随着纳米晶Ti
（Ｆ，Ｋ，１）光正交码（ＯＯＣ’ｓ）是适合于光码分多址通信的最佳地址码，针对成功构造（Ｆ，Ｋ，１）的地址码十分困难的问题，研究了该光正交码的一种新的设计方法－区组设计法，提出了设计光正交码的具体算法并给出相应