Quality assurance of large commercial software is a crucial and time-consuming process. In the course of producing word-processing and finite element programs, the author discusses a post-development procedure for improving the reliability of computer programs. This tool, originally used to to test Fortran programs, is language-independent and is meant to accompany the more traditional methods. To test a program for minimal completeness, sentries are posted at strategic points in the code. They confirm whether or not the flow of execution has passed their stations.
机构:
Univ Antilles La Guyane, Dept Math & Informat, Campus Fouillole 97159, F-97159 Pointe A Pitre, Guadeloupe, FranceUniv Antilles La Guyane, Dept Math & Informat, Campus Fouillole 97159, F-97159 Pointe A Pitre, Guadeloupe, France
Mophou, G. Massengo
Nakoulima, O.
论文数: 0引用数: 0
h-index: 0
机构:
Univ Antilles La Guyane, Dept Math & Informat, Campus Fouillole 97159, F-97159 Pointe A Pitre, Guadeloupe, FranceUniv Antilles La Guyane, Dept Math & Informat, Campus Fouillole 97159, F-97159 Pointe A Pitre, Guadeloupe, France