Abstract
With more and more intelligence and cutting edge applications embedded, the need for the accurate validation of industrial products from early stage of conception to commercial releases has become crucial. We present a new approach for automating the validation of critical and complex systems, in which tests sequences can be at first derived both from the modeling of the system under test and the properties to check, and then easily updated according to evolutions of the product or the usage requirements. The approach is being proofed in validating high-class sensor prototypes for the automotive industry, which in particular illustrates how operational issues related to the different level of abstraction between textual specifications and effective test routines can be solved.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lemke, K., Paar, C., Wolf, M.: Embedded Security in Cars, pp. 3-12 (2006)
Fujii, R., Wallace, D.: Software Verification and Validation. IEEE Computer Society Press, Los Alamitos (1996)
Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, p. 46. Springer, Heidelberg (1999)
Baker, P., et al.: Model-Driven Testing. Springer, Heidelberg (2007)
Guelfi, N., Ries, B.: Selection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool. In: Testing: IEEE Academic & Industrial Conference, Windsor, UK, pp. 47–51 (2008)
Vector CANoe, http://www.vector-worldwide.com/vi_canoe_en_html
Guelfi, N., Ries, B.: A Lightweight Model-Driven Test Selection Process Using a DSL for Small Size Reactive Systems. In: Proc. of MODELS Conference (2008)
Guelfi, N., Ries, B.: A Model-driven Test Selection Process with UML2 Class Diagrams and Protocol State Machines. In: Proc. of ISSTA Conference (2008)
Prenninger, W., Pretschner, A.: Abstractions for Model-Based Testing. In: Proc. of ENTCS Conference (2004)
Object Management Group, UML 2.0 testing profile, http://www.omg.org
Vector Informatik GmbH, Programming with CAPL (2004), http://www.vector-cantech.com
James, G.: Collaboration Models. Chip Design Magazine (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tamisier, T., Feltz, F. (2011). Lifelong Automated Testing: A Collaborative Framework for Checking Industrial Products Along Their Lifecycle. In: Cherifi, H., Zain, J.M., El-Qawasmeh, E. (eds) Digital Information and Communication Technology and Its Applications. DICTAP 2011. Communications in Computer and Information Science, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22027-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-22027-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22026-5
Online ISBN: 978-3-642-22027-2
eBook Packages: Computer ScienceComputer Science (R0)