This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Defect Identification With Model-Based Test Automation
Technical Paper
2003-01-1031
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Software is an integral part of automotive products, but organizations face many problems that impede rapid development of software systems critical to their operations and growth. Manual processes to generate tests for software will become increasingly insufficient as automotive software becomes more complex, and more safety-critical. A method exists to develop tests automatically from formal, precise requirement and design models. A model-based approach allows teams to build software systems with measurably higher quality, in less time than with non model-based approaches. This paper discusses a Test Automation Framework (TAF) combining tools and methods to automate comprehensive test generation based on models. Automatic generation of software tests leads to dramatic performance and quality gains relative to manual test generation.
Recommended Content
Authors
Citation
Blackburn, M., Nauman, A., Busser, B., and Stensvad, B., "Defect Identification With Model-Based Test Automation," SAE Technical Paper 2003-01-1031, 2003, https://doi.org/10.4271/2003-01-1031.Also In
SAE 2003 Transactions Journal of Passenger Cars - Electronic and Electrical Systems
Number: V112-7; Published: 2004-09-15
Number: V112-7; Published: 2004-09-15
References
- National Institute of Standards and Technology The Economic Impact of Inadequate Infrastructure for Software Testing May 2002
- National Highway Traffic Safety Administration recall database ftp://ftp.nhtsa.dot.gov/rev_recalls
- Kelly V. Safford E.L. Siok M. Blackburn M. Requirements Testability and Test Automation, Lockheed Martin Joint Symposium June 2001
- Safford, Ed L. Test Automation Framework, State-based and Signal Flow Examples Twelfth Annual Software Technology Conference April 30 May 5 2000
- Blackburn, M.R. Busser R.D. Nauman A.M. Knickerbocker R. Kasuda R. Mars Polar Lander Fault Identification Using Model-based Testing Proceeding in IEEE/NASA 26th Software Engineering Workshop November 2001
- Heitmeyer, C. Jeffords, R. Labaw B. Automated Consistency Checking of Requirements Specifications ACM TOSEM 5 3 231 261 1996
- Parnas, D. Madley, J. Functional Decomposition for Computer Systems Engineering (Version 2) TR CRL 237 Telecommunication Research Inst. of Ontario McMaster University 1991
- van Schouwen, A.J. The A-7 Requirements Model: Re-Examination for Real-Time System and an Application for Monitoring Systems TR 90-276 Queen’s University Kinston, Ontario 1990
- Blackburn, M.R. Busser R.D. Nauman A.M. Removing Requirement Defects and Automating Test STAREAST May 2001
- Blackburn, M. R. Busser, R.D. Nauman, A.M. How To Develop Models For Requirement Analysis And Test Automation Software Technology Conference May 2001
- Blackburn, M. R. Busser, R.D. Nauman, A.M. Eliminating Requirement Defects and Automating Test Test Computer Software Conference June 2001
- Blackburn, M.R. Busser, R.D. Nauman, A.M. Chandramouli, R. Model-based Approach to Security Test Automation In Proceeding of Quality Week 2001 June 2001
- Busser, R. D. Blackburn, M. R. Nauman A. M. Automated Model Analysis and Test Generation for Flight Guidance Mode Logic Digital Avionics System Conference 2001
- Ranville, S. Practical Application of Model-Based Software Design for Automotive SAE Paper 2002-01-0876
- Aissi, S. Test Vector Generation: Current Status and Future Trends Software Quality Professional 4 2 March 2002
- Pretschner, A. Lotzbeyer H. Model Based Testing with Constraint Logic Programming: First Results and Challenges Proc. 2nd ICSE Intl. Workshop on Automated Program Analysis Testing and Verification (WAPATV’01) Toronto May 2001
- Robinson, H. http://www.model-based-testing.org/
- Cooke, D. Gates, A. Demirors, E. Demirors, O. Tankik M. Kramer B. Languages for the Specification of Software Journal of Systems Software 32 269 308 1996
- Yeh, R.T. Zave P. Conn A.P. Cole G.E. Software Requirements: New Directions and Perspectives Handbook of Software Engineering Vick C. R. Ramamoorthy C. V. Van Nostrand Reinhold 1984
- Roman, G.C. A Taxonomy of Current Issues in Requirements Engineering IEEE Computer 18 4 14 23 1985
- Miller S. P. Hoech K. F. Specifying the Mode Logic of a Flight Guidance System in CoRE
- Miller, S. P. Specifying the Mode Logic of a Flight Guidance System in CoRE and SCR Second Workshop on Formal Methods in Software Practice (FMSP‘98) Clearwater Beach Florida March 1998
- Statezni, David. Test Automation Framework State-based and Signal Flow Examples Twelfth Annual Software Technology Conference April 30 May 5 2000
- Offutt, A.J. Generating Test Data From Requirements/Specifications Phase III Final Report George Mason University November 24 1999
- Howden, W.E. Reliability of the Path Analysis Testing Strategy IEEE Transactions on Software Engineering 2 9 208 215 1976
- Blackburn, M. R. Using Models For Test Generation And Analysis Digital Avionics System Conference October, 1998
- Statezni, David. T-VEC’s Test Vector Generation System Software Testing & Quality Engineering May/June 2001
- Software Productivity Consortium Rockwell Pilot Project Technical Note, SPC-2000045-MC 2000
- Beck, K. Extreme Programming Explained: Embrace Change Addison Wesley 1999
- Boger, M. Baier, T. Wienberg F. Lamersdorf. W. Extreme modeling In Proc. Extreme Programming and Flexible Processes in SW Engineering (XP’00) 2000