Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/21096
Title: | Towards Automated Construction of Tabular Expressions |
Authors: | Wang, Yazhi |
Advisor: | Wassyng, Alan |
Department: | Computing and Software |
Publication Date: | Apr-2006 |
Abstract: | <p>Deriving precise descriptions of existing programs using automated actions plays a significant role in software engineering, especially in projects that are not well documented. Tabular expressions (tables) are practical formalized specification notations that can be used in place of conventional mathematical expressions. Building function tables from source code is a tremendous aid to understand the behavior of target programs for inspectors and maintainers. However, generating those tables manually is tedious and time consuming.</p> <p>This thesis presents an automated method that will help extract vector function tables from imperative programs in C. By dealing with the three primitive constructs (assignments, alternations, iterations) we aim to translate the target programs into functional documentation using tabular expressions. We discuss the difficulties we encountered and t he methods we chose to overcome t hose difficulties. Loop termination and pattern matching are also discussed in our analysis. Currently, we stop short of producing the tabular expressions, but it is easy to see that tables can be generated from the expressions produced by our tool.</p> |
Description: | Title: Towards Automated Construction of Tabular Expressions, Author: Yazhi Wang, Location: Thode |
URI: | http://hdl.handle.net/11375/21096 |
Appears in Collections: | Digitized Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Wamg_Yazhi_2006_04_master.pdf | Title: Towards Automated Construction of Tabular Expressions, Author: Yazhi Wang, Location: Thode | 23.08 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.