Critical Path Analysis of Real-Time ADA Programs
Dan Cristian Marinescu, Ryan D. Stansifer · Purdue e-Pubs (Purdue University System) · 1989
sidered to be incorrect. Consequently, testing ofreal-Limeprograms has two aspects: testing offunctionality and verification of timing requirements. For the most parts testing of the functionality of real-time programs is performed using methodologies known from the testing ofnon-realtime programs. Then the execution time of the program is measured for various testcases to determine ifthe timing constraints are met.This is unsatisfactory for several reasons:1. Measurements canbe made only after the program is developed.