M. Stephenson’s scientific contributions

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (2)


Automated test methodology for Operational Flight Programs
  • Conference Paper

March 1997

·

13 Reads

·

21 Citations

P. Savage

·

S. Walters

·

M. Stephenson

This paper describes how a new testing methodology was employed to evaluate the possibility of reducing the cost of systems testing and improving reliability of the F-16A/B Expanded Fire Control Computer (XFCC) Operational Flight Program (OFP). This new testing methodology was utilized to automatically generate tests which provide all of the stimuli and verification needed to fully drive and test the XFCC OFP in a simulated environment


Using advanced tools to automate the design, generation and execution of formal qualification testing

October 1996

·

15 Reads

·

6 Citations

The paper describes the use of automated testing tools to improve the quality of operational flight program testing. Specifically this paper examines the use of Model Reference Technology, or MRT, to model the desired behavior of Operational Flight Programs, automate test generation and systematize software testing. Examples are given of the usage of TestMaster, a commercial MRT-based quality solution, in combination with automated test execution tools, such as AutoVal, to significantly improve the formal qualification testing process of an avionics mission computer subsystem

Citations (1)


... In this step, the Extended Finite State Machine ( EFSM) is constructed from the source code automatically. EFSM [7], [24] is very popular for modelling state-based systems like computer communications, telecommunications, and industrial control systems. An EFSM consists of states(including an initial state and an exit state) and transitions between states. ...

Reference:

Automatic Test case Generation From UML State Chart Diagram
Automated test methodology for Operational Flight Programs
  • Citing Conference Paper
  • March 1997