Testing a Timing Analysis tool: SWEET
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
The main purpose of analysis of timing behavior of real time systems is to verify that the systemmeets its timing requirements. One important part of this analysis is to find the worst caseexecution time (WCET) of the software in the system. SWEET (Swedish Execution TimeAnalysis Tool) is a tool, developed at IDT in Västerås, that calculates the WCET by staticanalysis. The calculated WCET must be safe, i.e., it must never underestimate the real WCET.The tool should be able to handle large programs efficiently. It must also calculate correct resultsfor different types of program constructs.This thesis mainly focuses on verifying these two requirements for SWEET. Firstly, we havecreated large programs (larger than 14 KLOC) to find the limits of the program size that can behandled by SWEET and observed the result and the analysis time for these programs. Secondly,we have created a number of useful examples to test special features of SWEET and to showhow SWEET is capable to analyze different types of C programs, handling arrays/matrices,strings, etc.During analysis we have encountered some problems, which have pointed out a number of bugsin SWEET.
Place, publisher, year, edition, pages
2013. , 40 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:mdh:diva-24444OAI: oai:DiVA.org:mdh-24444DiVA: diva2:694784
Subject / course