Seamless Testing for Models and Code.
This paper describes an approach to model-based testing where a test suite is generated from a model and automatically concretized to drive an implementation. Motivated by an industrial project involving DO-178B compliant avionics software, where the models are UML activity diagrams and the implemen...
| Κύριοι συγγραφείς: | , , , , , , |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Journal article |
| Γλώσσα: | English |
| Έκδοση: |
Springer
2011
|
| _version_ | 1826274821336465408 |
|---|---|
| author | Holzer, A Januzaj, V Kugele, S Langer, B Schallhart, C Tautschnig, M Veith, H |
| author2 | Giannakopoulou, D |
| author_facet | Giannakopoulou, D Holzer, A Januzaj, V Kugele, S Langer, B Schallhart, C Tautschnig, M Veith, H |
| author_sort | Holzer, A |
| collection | OXFORD |
| description | This paper describes an approach to model-based testing where a test suite is generated from a model and automatically concretized to drive an implementation. Motivated by an industrial project involving DO-178B compliant avionics software, where the models are UML activity diagrams and the implementation is ANSI C, we developed a seamless testing environment based on our test specification language FQL. We demonstrate how to apply FQL to activity diagrams in such a way that FQL test specifications easily translate from UML to C code. Our approach does not require any additional glue or auxiliary code but is fully automatic except for straightforward source code annotations that link source and model. In this way, we can check for modeled but unimplemented behavior and vice versa, and we can also evaluate the degree of abstraction between model and implementation. © 2011 Springer-Verlag. |
| first_indexed | 2024-03-06T22:49:15Z |
| format | Journal article |
| id | oxford-uuid:5e428ec5-594b-48e2-bdad-8b0b6f62d76d |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T22:49:15Z |
| publishDate | 2011 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:5e428ec5-594b-48e2-bdad-8b0b6f62d76d2022-03-26T17:39:26ZSeamless Testing for Models and Code.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:5e428ec5-594b-48e2-bdad-8b0b6f62d76dEnglishSymplectic Elements at OxfordSpringer2011Holzer, AJanuzaj, VKugele, SLanger, BSchallhart, CTautschnig, MVeith, HGiannakopoulou, DOrejas, FThis paper describes an approach to model-based testing where a test suite is generated from a model and automatically concretized to drive an implementation. Motivated by an industrial project involving DO-178B compliant avionics software, where the models are UML activity diagrams and the implementation is ANSI C, we developed a seamless testing environment based on our test specification language FQL. We demonstrate how to apply FQL to activity diagrams in such a way that FQL test specifications easily translate from UML to C code. Our approach does not require any additional glue or auxiliary code but is fully automatic except for straightforward source code annotations that link source and model. In this way, we can check for modeled but unimplemented behavior and vice versa, and we can also evaluate the degree of abstraction between model and implementation. © 2011 Springer-Verlag. |
| spellingShingle | Holzer, A Januzaj, V Kugele, S Langer, B Schallhart, C Tautschnig, M Veith, H Seamless Testing for Models and Code. |
| title | Seamless Testing for Models and Code. |
| title_full | Seamless Testing for Models and Code. |
| title_fullStr | Seamless Testing for Models and Code. |
| title_full_unstemmed | Seamless Testing for Models and Code. |
| title_short | Seamless Testing for Models and Code. |
| title_sort | seamless testing for models and code |
| work_keys_str_mv | AT holzera seamlesstestingformodelsandcode AT januzajv seamlesstestingformodelsandcode AT kugeles seamlesstestingformodelsandcode AT langerb seamlesstestingformodelsandcode AT schallhartc seamlesstestingformodelsandcode AT tautschnigm seamlesstestingformodelsandcode AT veithh seamlesstestingformodelsandcode |