SDL数据流的正则性判定准则

摘要

数据流分析能够可靠地证明顺序软件以及并发软件中存在的软件错误．在对软件常见错误性质进行归纳的基础上，提出了软件正则性与非正则性的概念，并提出了顺序软件和并发软件中数据流的正则性判定准则．该判定准则可以用来判断一个软件的数据流是否正常。