Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010 Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010
Conference papers
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
Abstract : We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is automatically translated into UML class diagrams. After annotations of the class diagrams and the definition of test cases by sequence diagrams, both are converted into classification trees. From the classification trees we can finally generate SystemVerilog code. The methodology is introduced and evaluated by the example of an Adaptive Cruise Controller.
https://hal.inria.fr/hal-01054484
Contributor : Hal Ifip <>
Submitted on : Thursday, August 7, 2014 - 8:49:35 AM Last modification on : Thursday, March 5, 2020 - 5:40:47 PM Long-term archiving on: : Wednesday, November 26, 2014 - 1:06:53 AM
Wolfgang Mueller, Alexander Bol, Alexander Krupp, Ola Lundkvist. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.78-89, ⟨10.1007/978-3-642-15234-4_9⟩. ⟨hal-01054484⟩