计算机应用与软件2017，Vol.34Issue(2)：236-241,271,7.DOI:10.3969/j.issn.1000-386x.2017.02.042
面向Web的WCET模式自动分析系统
AN AUTOMATIC WCET ANALYSIS SYSTEM FOR WEB
摘要
Abstract
In light of the problems of deficient precision and troublesome usage the traditional WCET analysis systems usual suffer,a new automatic analysis method based on program modes is proposed and a WCET analysis system on the idea of the method for Web is designed.Firstly,a method is presented based on the analysis of source code which produces an acyclic input parameter dependent control flow graph called ICFG by using program control flow graph and a specific program slicing under data flow framework.Secondly,by constructing a solution system for each path in ICFG,a mode and its input parameter expression maybe conducted,and the WCET value of a mode can be computed.Finally,a Dynamic link library (DLL) is implemented based on the method above for C language in order to be used by different systems,and an automated analysis system in the Web by using the DLL is realized,which is called WCET Mode Analyzer.The result for a Benchmark implemented by the analysis system shows the effectiveness of the solution and the characteristics of using conveniently.关键词
实时系统/WCET/程序模式/程序分析Key words
Real-time systems/WCET/Program mode/Program analysis分类
信息技术与安全科学引用本文复制引用
姬孟洛,舒云星,黄辰林,高翔..面向Web的WCET模式自动分析系统[J].计算机应用与软件,2017,34(2):236-241,271,7.基金项目
河南省科技计划项目(152300410115). （152300410115）
