中文摘要：

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

英文摘要：

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.