ISU Electrical and Computer Engineering Archives

Resource flow simulation model

Mathews, Jon (2004) Resource flow simulation model. Masters thesis, Iowa State University.

Full text available as:

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

Abstract

Many programs have been and are still being written using explicit resource management; that is, the program explicitly allocates and deallocates resources. This kind of management leads to code that can be difficult to understand because the fragments that implement explicit resource management for a single resource can cross-cut the code. Often the software engineer is faced with analyzing the code by hand in order to locate the fragments that make up this cross-cutting concern. We propose a model for simulating the flow of resources through a program in order to assist in locating the fragments of code that implement resource management. The model is domain-specific: the user supplies the names of functions that allocate and deallocate resources. Although simulation is interprocedural, the user can model functions with a few simple primitives to speed up the analysis or to test assumptions about the resource management behavior of the code. A simulation has been built based on this model, and a user interface has been built to navigate the fragments. The tool has been tested on several case studies involving the network stack in the XINU operating system.

EPrint Type:Thesis (Masters)
Uncontrolled Keywords:resource management cross-cutting concerns software analysis program understanding
Subjects:Computer Engineering > SOFTWARE SYSTEMS > Software Engineering
ID Code:113
Identification Number:TR-2004-11-9
Deposited By:Jon Mathews
Deposited On:27 November 2004

Archive Staff Only: edit this record