Abstract: This paper presents a worst-case execution time (WCET) analysis method where its automatic program flow analysis method is based on value range propagation method supported by abstract interpretation. The WCET analysis method is for modern RISC processor including pipelining and caching. Based on this method, the paper implements a WCET analysis tool——NPCA-WCET.

Key words: Real-time programs, Worst-case execution time (WCET) analysis tool, Abstract interpretation

摘要： 利用基于抽象解释的变量值范围传播技术，提出了一种自动分析高级语言程序流信息的方法；并在白盒测试工具NPCA的基础上，利用该方法实现了WCET分析工具NPCA-WCET。

关键词: 实时程序, WCET分析工具, 抽象解释

CLC Number: 

• TP277