Jean-François Bergeretti;伯纳德·A·卡雷。 while-programs的信息流和数据流分析。 (英语) Zbl 0559.68014号 ACM事务处理。程序。语言系统。 7, 37-61 (1985). 直到最近,信息流分析主要用于验证程序变量之间的信息传输不会违反安全要求。这里探讨了信息流的概念,以帮助程序开发和验证。信息流关系是为while-programs提供的,它标识那些程序语句,这些语句的执行可能导致信息从特定的输入值、内部值或输出值传递或传递到特定的输入、内部值和输出值。举例说明了这些流关系如何有助于编写、测试和更新程序;它们还有效地扩展了在程序的“静态分析”中可以自动检测到的错误类别。 引用于7文件 理学硕士: 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:数据流;程序分析;自动错误检测;调试;软件维护;信息流分析;while-programs公司 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Bergeretti}和\textit{B.A.Carré},ACM Trans。程序。语言系统。7、37-61(1985;Zbl 0559.68014) 全文: 内政部 链接 链接