Study of Requirement of Automated Testing
Keywords:
engineering, estimated, commercially, insufficientAbstract
With the ever-increasing complexity of embedded software applications, and the emergence of more and more safety critical applications, thorough validation and verification of the code is needed. To address this need, many embedded software development groups are using models and doing upfront engineering before testing on the final product. Using the old style of testing late in the development cycle resulted in very long and expensive release cycles. Ford estimated that 60% of work tasks were to correct requirements or design defects that had been released to downstream developers. With today’s increasing need to get to market quickly with a safe product, this old style of testing is not adequate. Ford also used randomly generated unit test vectors, due to the lack of a commercially available tool, which only had approximately 75% coverage. Because of the need for safe systems, this level of testing is insufficient. This paper presents requirements for model checking and unit test generation tools so that the tools are practical in a large production environment that is typical in the automotive industry.
References
Biezer, B., “Software Testing Techniques”, Second Edition, International Thomson Computer Press, 1990
Chilenski, J. J., Miller, S., “Applicability of modified condition/decision coverage to software testing”, 1994, Software Engineering Journal
Butts, K., Toeppe, S., Ranville, S., “Specification and Testing of Automotive Powertrain Control System Software using CACSD tools”, 1998, Proceedings of the 17th AIAA/IEEE/SAE Digital Avionics System Conference
Butts, K., et. al., “Automotive Powertrain Control Development Using CACSD”, Perspectives in Control: New Concepts and Applications, Tariq Samad (ed.), IEEE Press, 1999.
Toeppe, S., Ranville, S., “Model Driven Automatic Unit Testing Technology: Tool Architecture Introduction and Overview”, 1999, Proceedings of the 18th AIAA/IEEE/SAE Digital Avionics System Conference
Toeppe, S., Ranville, S., “An Automated Inspection Tool For a Graphical Specification and Programming Language”, 1999, Quality Week Conference
Toeppe, S., Ranville, S., Bostic, D., Rzeimen, K., “Automatic Code Generation Requirements For Production Automotive Powertrain Applications”, 1999, IEEE International Symposium on Computer Aided Control System Design
Toeppe, S., Ranville, S., Bostic, D., Wang, C., “Practical Validation of Model Based Code Generation for Automotive Applications”, 1999, Proceedings of the 18th AIAA/IEEE/SAE Digital Avionics System Conf.
Patel, S., Smith, P., Sun, W., Ramanan, R., Donald, H., Toeppe, S., Ranville, S., Bostic, D., Butts, K., “CACSD in Production Development: An Engine Control Case Study”, 2000, Global Powertrain Conference
Toeppe, S., Ranville, S., Bostic, D., "Automating Software Specification, Design and Synthesis for Computer Aided Control System Design Tools", 2000, Proceedings of the 19th AIAA/IEEE/SAE Digital Avionics System Conf.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2015 International Journal for Research Publication and Seminar
This work is licensed under a Creative Commons Attribution 4.0 International License.
Re-users must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. This license allows for redistribution, commercial and non-commercial, as long as the original work is properly credited.