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 managable size, a process dubbed CFG Segmentation.
|Title of host publication||Procs of the Junior Scientist Conference 2008|
|Editors||Hans K. Kaiser, Raimund Kirner|
|Place of Publication||Vienna, Austria|
|Publisher||Technische Universität Wien|
|Number of pages||2|
|Publication status||Published - 1 Nov 2008|