The development of operational flight programs (OFP's) requires several stages which include design, coding and test. As an OFP is tested and problems noted, changes are incorporated into source code and new loads produced. Once created these new loads must be tested not only to verify that the changes made have cured the intended problem, but that no new problems have been introduced into previously working functions. For the Improved F-16 radar, Westinghouse has implemented a system to help automate this verification process. The essence of the verification system is a symbolic data gathering package which is triggered by user specified events. The user specifies the events through an Event Specification Language (ESL) which is interpreted by a radar environment generator used in conjunction with a software test bench. The result is a system which can gather the required data at the same point in time for two different OFP loads. Once a coherent set of data representing a functional aspect of the OFP has been gathered, the results can then be compared with a known correct (previously verified) data set to determine the functional correctness of the new OFP.
Automatic OFP reverification through programmable event specification
Automatische OFP-Vergleichspruefung durch programmierbare Vorgangsspezifikationen
1983
4 Seiten, 4 Bilder, 4 Quellen
Aufsatz (Konferenz)
Englisch
Reverification of the Chesapeake Bay Model: Chesapeake Bay Hydraulic Model Investigation
HENRY – Bundesanstalt für Wasserbau (BAW) | 1985
|Transportation Research Record | 2014
|