Seamless Testing for Models and Code.

Seamless Testing for Models and Code.

अन्य संस्करण दिखाएं (1)

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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों: Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H
अन्य लेखक: Giannakopoulou, D
स्वरूप: Journal article
भाषा:English
प्रकाशित: Springer 2011
Search Result 1
Seamless Testing for Models and Code

Seamless Testing for Models and Code द्वारा Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H

प्रकाशित 2015
Conference item
सभी संस्करण दिखाएं (2)

समान संसाधन