Practical Guidelines for Testing Ada Programs

摘要

Practical testing guidelines are given for Ada programs. This involves a general testing strategy supplemented with testing guidelines for specialized features. A general background of testing is given which covers testing objectives, testing steps, and current testing approaches for Pascal-like languages. Testing approaches for Pascal-like languages are given because Pascal is the base language for Ada. Ada is then analyzed from a testing point of view. Features are identified that are different from Pascal-like languages. The analysis includes a brief description of each feature and a description of errors/problems that might occur when using the feature. The analysis determines whether Pascal-like language structural testing approaches are adequate for the structural testing of each feature. If a new structural testing approach is needed for a feature, then testing guidelines are presented for that feature. A general testing strategy is then presented. The general testing strategy applies to Ada as a whole. The additional structural testing guidelines for certain features are to supplement the general testing strategy. Case studies are then given which demonstrate the general testing strategy and the supplemental guidelines. Each case study consists of a sample routine, sample test cases, and a step by step description of how to apply the supplemental guidelines to the sample routine. Finally, topics are given for future research. (Author)