Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems

Résumé

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.
Fichier principal
Vignette du fichier
final_007.pdf (218.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054484 , version 1 (07-08-2014)

Licence

Identifiants

Citer

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⟩
137 Consultations
387 Téléchargements

Altmetric

Partager

More