Structural Coverage Tool Analysis & Evaluation Satisfying DO-178B Objectives
Beizer1990 Beizer, Boris, "Software Testing Techniques", 2nd edition, New York: Van Nostrand Reinhold, 1990
Chilenski1994 John Joseph Chilenski and Steven P. Miller, "Applicability of Modified Condition/Decision Coverage to Software Testing", Software Engineering Journal, September 1994, Vol. 9, No. 5, pp.193-200.
DO-178B, "Software Considerations in Airborne Systems and Equipment Certification", RCTA, December 1992, pp.31, 74.
DO-278B, "Final Annual Report For Clarification Of DO-178B Software Considerations In Airborne Systems And Equipment Certification", October 2001
SVTAS2007 Software Verification Tools Assessment Study, FAA, June 2007
Howden1982 "Weak Mutation Testing and Completeness of Test Sets", IEEE Trans. Software Eng., Vol.SE-8, No.4, July 1982, pp.371-379.
McCabe1976 McCabe, Tom, "A Software Complexity Measure", IEEE Trans. Software Eng., Vol.2, No.6, December 1976, pp.308-320.
Morell1990 Morell, Larry, "A Theory of Fault-Based Testing", IEEE Trans. Software Eng., Vol.16, No.8, August 1990, pp.844-857.
Ntafos1988 Ntafos, Simeon,"A Comparison of Some Structural Testing Strategies", IEEE Trans. Software Eng., Vol.14, No.6, June 1988, pp.868-874.
Roper1994 Roper, Marc, "Software Testing", London, McGraw-Hill Book Company, 1994
Woodward1980 Woodward, M.R., Hedley, D. and Hennell, M.A., "Experience with Path Analysis and Testing of Programs", IEEE Transactions on Software Engineering, Vol. SE-6, No. 3, pp. 278-286, May 1980.
RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification.
RTCA Inc.,Washington, D.C, 1992. Copies of DO-178B may be obtained from RTCA, Inc., 1140 .
Connecticut Avenue, NW, Suite 1020, Washington, D.C. 20036-4001 U.S. (202) 833-9339. This document is also known as ED 12B, Software Considerations in Airborne Systems and Equipment© 2001 by CRC Press LLC
Certification, EUROCAE, Paris, 1992. Copies of ED-12B may be obtained from EUROCAE, 17, rue Hamelin, 75783 PARIS CEDEX France, vole 331, pp. 4505-7188.
SAE ARP4754, Certification Considerations for Highly-Integrated or Complex Aircraft Systems, SAE,Warrendale, PA, 1996.
Chilenski, J.J. and Miller, P.S., Applicability of modified condition/decision coverage to software testing, Software
Eng. J., 193, September 1994.
Myers, G. J., The Art of Software Testing, John Wiley & Sons, New York, 1979.
Beizer,B., Software Testing Techniques, 2nd ed., Coriolis Group, Scottsdale, AZ, 1990.
McCracken, D. and Passafiume, M., Software Testing and Evaluation, Benjamin/Cummings, Menlo Park, CA, 1987.
RTCA DO-248, Annual Report for Clarification of DO-178B “Software Considerations in Airbone Systems and Equipment Certification; EOROCAE ED-94, Annual Report for Clarification of ED-12B “Software Considerations in Airbone Systems and Equipment Certification.”
The Federal Aviation Administration Web Page: www.faa.gov.
The RTCA Web Page: www.rtca.org.
Spitzer, C.R., Digital Avionics Systems Principles and Practice, 2nd ed., McGraw-Hill, New York, 1993.
Wichmann, B.A., A Review of a Safety-Critical Software Standard, National Physical Laboratory,Teddington, Middlesex, U.K. (report is not dated).
Herrman, D.S., Software Safety and Reliability, IEEE Computer Society Press, Washington, D.C., 1999.
- There are currently no refbacks.
This work is licensed under a Creative Commons Attribution 3.0 License.