Visualization and animation as a technique to assist in the construction of high assurance software

The software construction process consists of a mixture of informal and formal steps. By their very nature, informal steps cannot be formally verified. Empirical evidence suggests that a majority of software errors originate in the informal steps of the software development process. For this reason, when constructing high assurance software, it is essential that a significant effort be made to increase one`s confidence (i.e., to validate) that the informal steps have been made correctly. Visualization and animation can be used to provide an `intuitive proof` that the informal steps in the software construction process are correct. In addition, the formal portion of software construction often permits/demands artistic (informal) decisions to be made (e.g., design decisions). Such decisions often have unexpected/unforeseen consequences that are only discovered later in the development process. Visualization and animation techniques can be brought to bear on this aspect of the software construction process by providing a better intuitive understanding of the impact of the informal decisions that are made in program development. This increases the likelihood that undesirable decisions can be avoided or at least detected earlier in the development process