Divide and Measure : CFG Segmentation for the Measurement-Based Analysis of Resource Consumption
暂无分享,去创建一个
A computer system is a good computer system if it correctly performs the task it was intended to perform. This is not even half of the truth: Non-functional requirements are abundant in the world of software and system engineering, even if they are not always stated explicitly. In our work we are concerned with the measurement-based analysis of resource consumption. Examples of resources are time, energy, or memory space. In the context of our measurement-based approach for software analysis, we face the problem of breaking the software under examination into smaller parts of manageable size, a process dubbed CFG Segmentation.
[1] Steven S. Muchnick,et al. Advanced Compiler Design and Implementation , 1997 .
[2] Raimund Kirner,et al. Measurement-Based Timing Analysis , 2008, ISoLA.
[3] Raimund Kirner,et al. Automatic timing model generation by CFG partitioning and model checking , 2005, Design, Automation and Test in Europe.