Journal article

Seamless Testing for Models and Code.

Abstract:: 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 specific...
Expand abstract
Collapse abstract

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Holzer, A., Januzaj, V., Kugele, S., Langer, B., Schallhart, C., Tautschnig, M., & Veith, H. (2011). Seamless Testing for Models and Code. FASE, 6603, 278–293.

MLA Style

Holzer, A., et al. “Seamless Testing for Models and Code.” FASE, edited by D Giannakopoulou and F Orejas, vol. 6603, Springer, 2011, pp. 278–93.

Chicago Style

Holzer, A, V Januzaj, S Kugele, B Langer, C Schallhart, M Tautschnig, and H Veith. 2011. “Seamless Testing for Models and Code.” Edited by D Giannakopoulou and F Orejas. FASE 6603: 278–93.
Tweet
Print

Access Document

Publisher copy:: 10.1007/978-3-642-19811-3_20

Authors

+ Holzer, A More by this author

Role:

Author

+ Januzaj, V More by this author

Role:

Author

+ Kugele, S More by this author

Role:

Author

+ Langer, B More by this author

Role:

Author

+ Schallhart, C More by this author

Role:

Author

More authors...

Contributors

+ Giannakopoulou, D

Role:

Editor

Role:

Editor

Bibliographic Details

Publisher:: Springer
Journal:: FASE More from this journal
Volume:: 6603
Pages:: 278-293
Publication date:: 2011-01-01
DOI:: 10.1007/978-3-642-19811-3_20
EISSN:: 1611-3349
ISSN:: 0302-9743

Item Description

Language:: English
Pubs id:: pubs:303306
UUID:: uuid:5e428ec5-594b-48e2-bdad-8b0b6f62d76d
Local pid:: pubs:303306
Source identifiers:: 303306
Deposit date:: 2012-12-19

Terms of use

Copyright date:: 2011

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Metrics

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP