Abstract
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.
| Original language | English |
|---|---|
| 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 |
| Pages | 117-118 |
| Number of pages | 2 |
| ISBN (Print) | 978-3-200-01612-5 |
| Publication status | Published - 1 Nov 2008 |