Data Flow Analysis and Formal Method

• 作者: Junyu Lin Shaobin Huang Ya Li Yanmei Li
• 来源期刊: 国际计算机前沿大会会议论文集
• 学科: 社会科学
• 关键词: EXCEPTION PROPAGATION FORMAL METHOD MODEL CHECKING
• 年，卷（期）: 2015,（1）
• 页码范围: 114-116
• 页数: 3页
• 分类号: C5

摘要

Exceptions are those abnormal data flow which needs additional calculation to deal with. Exception analysis concerned abnormal flow contains a lot of research content, such as exception analysis method, program verification. This article introduces another research direction of exception analysis which based on formal method. The article analyses and summarizes those research literatures referring exception analysis and exception handling logic verification based on formal reasoning and model checking. In the article, we provide an overview of the relationship and difference between traditional ideas and formal method concerning program exception analysis. In the end of the article, we make some ideas about exception analysis based on formal semantic study of procedure calls. Exception handling is seen as a special semantic effect of procedures calls.