Steve Toeppe - Academia.edu (original) (raw)
Uploads
Papers by Steve Toeppe
SAE Technical Paper Series, 2003
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126), 2000
Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033), 1999
... Motor Company, Dearbom, MI Dave Bostic, Ford Research Laboratory, Ford Motor Company, Dearbom... more ... Motor Company, Dearbom, MI Dave Bostic, Ford Research Laboratory, Ford Motor Company, Dearbom, MI Yanxin Wang, Ford Research Laboratory, Ford Motor Company, Dearbom, MI Abstract Computer Aided Control System ...
Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033), 1999
Traditional approaches to unit testing involve establishing test vectors from the source code and... more Traditional approaches to unit testing involve establishing test vectors from the source code and establishing expected results that can be used to determine if a particular case has been addressed. This approach is time consuming and expensive. The availability of Computer Aided Control System Design (CACSD) tools for software modeling has permitted expected values to be automatically established from an executable specification. Further automation and implementation independence can be achieved by generating test vectors directly from the executable specification. A model driven automatic unit testing tool architecture and specification has been established. This paper discusses the architecture and requirements of such a tool. Topics include control coverage, data flow coverage, domain coverage, path sensitizing and test management.
Digital Avionics Systems …, 1998
... in the ac-on state of the ND-ctl StateflowTM chart (Figure 3). The reader can refer to the St... more ... in the ac-on state of the ND-ctl StateflowTM chart (Figure 3). The reader can refer to the StateflowTM IJser's Guide [24] to ... Hatley, D., and Pirhhai, I., Strategies for Real-Time System Specification, Dorset House Publishing, 1988,1987 Huang, J., "Detection of Data Flow Anomaly ...
SAE Technical Paper Series, 2003
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126), 2000
Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033), 1999
... Motor Company, Dearbom, MI Dave Bostic, Ford Research Laboratory, Ford Motor Company, Dearbom... more ... Motor Company, Dearbom, MI Dave Bostic, Ford Research Laboratory, Ford Motor Company, Dearbom, MI Yanxin Wang, Ford Research Laboratory, Ford Motor Company, Dearbom, MI Abstract Computer Aided Control System ...
Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033), 1999
Traditional approaches to unit testing involve establishing test vectors from the source code and... more Traditional approaches to unit testing involve establishing test vectors from the source code and establishing expected results that can be used to determine if a particular case has been addressed. This approach is time consuming and expensive. The availability of Computer Aided Control System Design (CACSD) tools for software modeling has permitted expected values to be automatically established from an executable specification. Further automation and implementation independence can be achieved by generating test vectors directly from the executable specification. A model driven automatic unit testing tool architecture and specification has been established. This paper discusses the architecture and requirements of such a tool. Topics include control coverage, data flow coverage, domain coverage, path sensitizing and test management.
Digital Avionics Systems …, 1998
... in the ac-on state of the ND-ctl StateflowTM chart (Figure 3). The reader can refer to the St... more ... in the ac-on state of the ND-ctl StateflowTM chart (Figure 3). The reader can refer to the StateflowTM IJser's Guide [24] to ... Hatley, D., and Pirhhai, I., Strategies for Real-Time System Specification, Dorset House Publishing, 1988,1987 Huang, J., "Detection of Data Flow Anomaly ...