Function Composition Tool

A.H. Tyson
Software Engineering Research Group
McMaster University, Hamilton, Ontario L8S 4L7, Canada


Abstract

Experience has shown that the issue of software documentation cannot be ignored if safe reliable software is the goal. To be useful, software documentation should be easy to manipulate. Function tables are a natural way of documenting software through the use of mathematical tabular notation. The need has been expressed for a tool to automatically generate the mathematical composition of two function tables, which would document the sequential execution of two programs. The Function Composition Tool is a prototype toward this end. The tool is based on existing algorithms using normal function tables, and their extensions to vector function tables. This work involves the design and implementation of the software. Supporting software enables the execution of test suites on the tool.