Validation and Verification For Embedded System Design – An Integrated Testing Process Approach
 |
International Journal of Computer & Organization Trends (IJCOT) | 
|
| © 2014 by IJCOT Journal | ||
| Volume - 4 Issue - 4 |
||
| Year of Publication : 2014 | ||
| Authors : Adnan Shaout , Dennis Breton | ||
| DOI : 10.14445/22492593/IJCOT-V10P303 |
Citation
Adnan Shaout , Dennis Breton. "Validation and Verification For Embedded System Design – An Integrated Testing Process Approach ", International Journal of Computer & organization Trends (IJCOT), V4(4):1-18 July - Aug 2014, ISSN:2249-2593, www.ijcotjournal.org. Published by Seventh Sense Research Group.
Abstract
This paper identifies the need for an integrated software solution to manage configuration requirements of currently popular software applications and tool chains used for the validation and verification tasks associated with embedded system design. The intended results of such an approach include: increased design development speed, decreased time to market and additional improvements in quality assurance. A theoretical unifying software automation process is proposed to link specifications and requirements documents not only through the design and test specification phases but directly into the testing platform itself including results and reporting. The result of this approach can be shown to streamline the design, verification and validation testing and reporting processes for an embedded software system. The observations and conclusions presented are based on an elementary user understanding of several software development tools and tool chains and their potential vs. intended extensibilities.
References
[1]V-Model (Software Development) http://en.wikipedia.org/wiki/V-Model_(software_development)
[2] “Flow Diagram of Product-Process Development” Retooling Manufacturing: Bridging Design, Materials, and Production Committee on Bridging Design and Manufacturing, National Research Council ISBN: 0-309-09266-3, 123 pages, 8 1/2 x 11, (2004). Page 15. http://www.nap.edu/catalog/11049.html
[3] Reqtify – A Graphical Requirements Traceability Environment. http://www.chiastek.com/products/reqtify.html
[4] “Telelogic Lifecycle Solutions: Getting Started with DOORS” doors_getting_started.pdf@ http://support.telelogic.com
[5] “External links and DOORS URLs” external_links_and_DOORS_URLs.pdf@ http://support.telelogic.com
[6] Donald E. Kirk, Optimal Control Theory – An Introduction, First Dover Addition, 2004, Dover Publications, Inc.
[7] dSPACE Catalog 2014, page 185. Catalog 2014, dSPACE, Technologiepark 25, 33100 Paderborn, Germany: http://www.dSPACE.de
[8] “Professional quality management and assessment when developing software for embedded systems” page 1. Quality Management and Assessment: Renate Stuecka, Telelogic Deutschland GmbH, Otto-Brenner-Strasse 247, 33604 Bielefeld, Germany, Tel ++49 (0) 521-14 503-254, http://download.telelogic.com/download/paper/qualitymanagement.pdf
[9] “Code Verification and Run-Time Error Detection Through Abstract Interpretation, A Solution to Today’s Embedded Software Testing Challenges”, Polyspace_white_paper_abstract_interpretation.pdf. @: www.mathworks.com/polyspace
[10] Gary W. Johnson, Richard Jennings, LabVIEW Graphical Programming Fourth Addition, 2006, McGraw Hill
[11] “Automated Testing In Software Development: Standards Drive Improved Quality” Version 2, August 2008, Irv Badr, Renate Stuecka, Telelogic, Tester_WP_Automated_Testing_In_Software_Development_FINAL_080804.pdf @: www.telelogic.com
[12] “Early Verification and Validation in Model-Based Design” presented by Amory Wakefield at Mathworks Automotive [Interactive Web] Conference. Tuesday, October 28, 2008.
[13] Simulink® HDL Coder™ 1, User’s Guide (slhdlcoder_ug)@: www.mathworks.com
[14] Micro Max Technology @: http://www.mrmx.com/products
[15] “HP Quality Center: Combine requirement, test and defect management into a single quality platform.” HP Quality Center.pdf @ www.hp.com/go/software
[16] Vahid/Givargis, Embedded System Design: A Unified Hardware/Software Introduction: Chapter 11: Design Technology
Keywords
Software Tools, Validation, Verification, Testing, Embedded Systems, Software Automation Process, Integrated Testing Process Approach