Abstract
This paper presents a new way to test embedded software with a scenario pattern-based method. It also introduces some concepts of scenario and scenario patterns, and formalizes the embedded software with scenario model ACDATE. The verification patterns are built with embedded system, and are tested with the samples of basic scenario pattern. This paper shows the process about how to verify the embedded software.
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
Tsai, W.T., Yu, L., Zhu, F.: Rapid Verification of Embedded Systems using Patterns. In: Computer Software and Applications Conference, pp. 466–471 (2003)
Tsai, W.T., Yu, L., Liu, X.X., Said, A., Xiao, Y.: Scenario-Based Test Case Generation for State-Based Embedded Systems, Performance. In: Computing and Communications Conference, pp. 335–342 (2003)
Tsai, W.T., Yu, L., Zhu, F.: Rapid Embedded System Testing Using Verification Patterns. Software 22(4), 68–75 (2005)
Hui, X., Jinwen, F., Aimin, P.: One kind of time scenario recognize arithmetic and its applications in the safety alarm system. Bei Jing University Transaction (Natural Science)Â l41(3) (May 2005)
Paul, R.A., Tsal, W.T., Mikell, J.S.: Rapid simulation evaluation from scenario specifications for command and control systems, pp. 121–126 (June 2004)
Bai, X., Tsai, W.-T., Paul, R., Feng, K., Yu, L.: Scenario-Based Modeling and Its Applications. In: Proceedings of the Seventh International Workshop, January 7-9, pp. 253–260 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ren, Y., Li, T. (2006). A New Method for Testing Embedded Software with Scenario Pattern. In: Pan, Z., Aylett, R., Diener, H., Jin, X., Göbel, S., Li, L. (eds) Technologies for E-Learning and Digital Entertainment. Edutainment 2006. Lecture Notes in Computer Science, vol 3942. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11736639_25
Download citation
DOI: https://doi.org/10.1007/11736639_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33423-1
Online ISBN: 978-3-540-33424-8
eBook Packages: Computer ScienceComputer Science (R0)