Seamless Testing for Models and Code.

Seamless Testing for Models and Code.

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Asıl Yazarlar:	Holzer, A, Januzaj, V, Kugele, S, Langer, B, Schallhart, C, Tautschnig, M, Veith, H
Diğer Yazarlar:	Giannakopoulou, D
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	Springer 2011

Benzer Materyaller

Seamless Testing for Models and Code
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.
Yazar:: Januzaj, V, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Timely Time Estimates
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

An Introduction to Test Specification in FQL
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

An Introduction to Test Specification in FQL.
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Query-Driven Program Testing.
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Query−Driven Program Testing
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

How did you specify your test suite ?
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

How did you specify your test suite.
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Seamless Model−driven Development put into Practice
Yazar:: Haberl, W, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Proving Reachability Using FShell - (Competition Contribution).
Yazar:: Holzer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Detecting Malicious Code by Model Checking.
Yazar:: Kinder, J, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Automatic Generation of SystemC Models from Component−based Designs for Early Design Validation and Performance Analysis
Yazar:: Wang, Z, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

One Click from Model to Reality
Yazar:: Haberl, W, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Optimizing Automatic Deployment Using Non−Functional Requirement Annotations
Yazar:: Kugele, S, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

COLA – The component language
Yazar:: Kugele, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Proactive Detection of Computer Worms Using Model Checking.
Yazar:: Kinder, J, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Verification Across Intellectual Property Boundaries.
Yazar:: Chaki, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.
Yazar:: Bauer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Yazar:: Bauer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Yazar:: Bauer, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Generating Distributed Code From COLA Models
Yazar:: Haberl, W, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

SEAMLESS NAVIGATION USING VARIOUS SENSORS: AN OVERVIEW OF THE SEAMLESS NAVIGATION CAMPAIGN
Yazar:: M. Nakagawa, ve diğerleri
Baskı/Yayın Bilgisi: (2012-07-01)

Modeling the seamless cargo logistics development
Yazar:: Tagilceva J.A., ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

From COLA Models to Distributed Embedded Systems Code
Yazar:: Haberl, W, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Short Regular Expressions from Finite Automata: Empirical Results
Yazar:: Gruber, H, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Navigating the Requirements Jungle
Yazar:: Langer, B, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

TO SEW OR NOT TO SEW. SEAMLESS CLOTHES AND SEAMLESS APPEARANCE IN FASHION DESIGN
Yazar:: ANDOR Elena Corina
Baskı/Yayın Bilgisi: (2015-05-01)

Seamless model interoperability for software design and analysis
Yazar:: M. A., Ameedeen, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.
Yazar:: Jha, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Semantic integrity in large-scale online simulations.
Yazar:: Jha, S, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Model checking boot code from AWS data centers
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

The Seamless World: A Spatial Model of International Specialization.
Yazar:: Krugman, P, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

The Seamless World: A Spatial Model of International Specialization.
Yazar:: Krugman, P, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Seamless engagement with tablet computers
Yazar:: Gabarre, Cecile, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Seamless indoor outdoor navigation
Yazar:: Liew, Wan Seng
Baskı/Yayın Bilgisi: (2022)

Seamless Development Applicability: an Experiment
Yazar:: Alexandr Naumchev
Baskı/Yayın Bilgisi: (2018-10-01)

Animating the future seamless public transport journey
Yazar:: Hickman, R, ve diğerleri
Baskı/Yayın Bilgisi: (2013)