Abstract
While model based development is common practice in software industry, model based testing is only at an emerging stage, though very promising in terms of production flexibility, collaboration support, and output quality. We present a new approach for automating the validation of critical and complex embedded systems, based on a dedicated language, TBSL (for Test Bench Scripting Language), used to derive test sequences from the modeling of the system under test and the properties to check. TBSL allows both updating easily tests sequences according to the evolution of the system and its use requirements, and solving operational issues related to the different level of abstraction between textual specifications and effective test routines. It is integrated in a collaborative programming framework and has been proofed in validating high-class sensor prototypes for the automotive industry.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lemke, K., Paar, C., Wolf, M.: Embedded Security in Cars, pp. 3–12 (2006)
Fujii, R., Wallace, D.: Software Verification and Validation. IEEE Comp. Soc. 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 & Generation of Test Cases in an Industrial Setting: a Process & a Tool. In: Testing: Academic & Industrial Conf., Windsor, UK (2008)
Vector CANoe, http://www.vector-worldwide.com/vi_canoe_en_html
James, G.: Collaboration Models. In: Chip Design Magazine (June 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tamisier, T., Bouzite, H., Louis, C., Gaffinet, Y., Feltz, F. (2009). Model Based Testing for Horizontal and Vertical Collaboration in Embedded Systems Development. In: Luo, Y. (eds) Cooperative Design, Visualization, and Engineering. CDVE 2009. Lecture Notes in Computer Science, vol 5738. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04265-2_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-04265-2_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04264-5
Online ISBN: 978-3-642-04265-2
eBook Packages: Computer ScienceComputer Science (R0)