Abstract
It is time and resource intensive to derive test cases manually from the requirements specification to fully verify that the embedded system design fulfills its specification. However, automatic parsing to generate test cases is often not possible due to the informal, non-machine readable structure of the specification document. Formal specification languages would ease the parsing process, however they are difficult to use and rarely accepted. A promising trade-off are semi-formal specification languages, which are both easy-to-parse and easy-to-use.
This paper presents a novel approach developed in the SIMBA1 project to tightly integrate a semi-formal requirements specification document into the design flow of embedded system designs. It considers the specification as a series of semiformal textual use cases and automatically generates specification-based SystemC test cases. During a simulation with the System-under-Verification (SuV) the test cases are executed to determine whether the SuV fulfills the specification. A demonstration is given by a case study of an RFID controller. It shows that errors in the specification and discrepancies between the design and its specification are detected.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J.R. Abrial. The B-book : assigning programs to meanings. Cambridge University Press, August 1996.
S. Bird, E. Klein, and E. Loper. Introduction to Natural Language Processing. 2001.
L.C Briand and Y. Labiche. A uml-based approach to system testing. In Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages 194–208, London, UK, 2001. Springer-Verlag.
A. Cockburn. Writing Effective Use Cases. Addison-Wesley Professional, 2001.
A.L.L. de Figueiredo, W.L. Andrade, and P.D.L. Machado. Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes, 31(6):1–10, 2006.
EPCGlobal. EPC Radio-Frequency Identity Protocols Class-1 Generation-2 UHF RFID Protocol for Communications at 860 MHz 960 MHz, 1.0.9.
A. Fantechi, S. Gnesi, G. Lami, and A. Maccari. Application of Linguistic Techniques for Use Case Analysis. In Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on, pages 157–164, 9-13 Sept. 2002.
Centre for Language Technology. Controlled Natural Languages, 2007.
M. Friske and H. Schlingloff. Von use cases zu test cases: Eine systematische vorgehensweise. 2005.
P. Fröohlich and J. Link. Automated test case generation from dynamic models. In ECOOP ’00: Proceedings of the 14th European Conference on Object-Oriented Programming, pages 472–492, London, UK, 2000. Springer-Verlag.
J. Hartmann, C. Imoberdorf, and M. Meisinger. Uml-based integration testing. In ISSTA ’00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, pages 60–70, New York, NY, USA, 2000. ACM.
S. Hudson. Cup - lalr parser generator for java, 2007.
Y. JinShan, L. Tun, and T. QingPing. The Use of UML Sequence Diagram for System-on-Chip System Level Transaction-based Functional Verification. In Intelligent Control and Automation, 2006. WCICA 2006. The Sixth World Congress on, volume 2, pages 6173–6177, 21-23 June 2006.
S. Kajtazovic, C. Steger, A. Schuhai, and M. Pistauer. Automatic generation of a verification platform for heterogeneous system designs. In Advances in Design and Specification Languages for SoCs - Selected Contributions from FDL’05, 2005.
S. Kansomkeat and W. Rivepiboon. Automated-generating test case using uml statechart diagrams. In SAICSIT ’03: Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, pages 296–300, , Republic of South Africa, 2003. South African Institute for Computer Scientists and Information Technologists.
Y.G. Kim, H.S. Hong, D.H. Bae, and S.D. Cha. Test cases generation from uml state diagrams. Software, IEE Proceedings -, 146(4):187–192, Aug 1999.
G. Klein. Jflex - the fast scanner generator for java, 2007.
Cadence Labs. The Transaction-Based Verification Methodology. Technical report, 2000.
Naumann and B.G. Lang. Parsing. 1994.
C. Norris and S. Swan. A tutorial introduction on the new systemc verification standard. Technical report, 2003.
A. Piziali. Functional Verification Coverage Measurement and Analysis. Kluwer Academic Publishers, 2004.
M. Riebisch and M. Hubner. Traceability-driven Model Refinement for Test Case Generation. In Engineering of Computer-Based Systems, 2005. ECBS ’05. 12th IEEE International Conference and Workshops on the, pages 113–120, 4-7 April 2005.
Sun. Java architecture for xml binding (jaxb), 2003.
Q. Zhu, R. Oishi, T. Hasenawa, and T. Nakata. System-On-Chip Validation using UML and CWL. In Hardware/Software Codesign and System Synthesis, 2004. CODES + ISSS 2004.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this paper
Cite this paper
Kirchsteiger, C.M., Trummer, C., Steger, C., Weiss, R., Pistauer, M. (2008). Specification-based Verification of Embedded Systems by Automated Test Case Generation. In: Kleinjohann, B., Wolf, W., Kleinjohann, L. (eds) Distributed Embedded Systems: Design, Middleware and Resources. DIPES 2008. IFIP – The International Federation for Information Processing, vol 271. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09661-2_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-09661-2_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-09660-5
Online ISBN: 978-0-387-09661-2
eBook Packages: Computer ScienceComputer Science (R0)