Concept

Model-based testing

Publications associées (129)

UWB-based Local Positioning System: from a small-scale Experimental Platform to a large-scale Deployable System

Pierre-André Farine, Cyril Botteron, Phillip Tomé, Christian Robert

A few years ago an experimental platform was designed and built in order to demonstrate the feasibility of Ultra-Wideband (UWB) technology applied to indoor positioning. This small-scale demonstrator proved to be a valuable research tool with the flexibili ...

2010

Model checking: Algorithmic verification and debugging

Joseph Sifakis

Turing Lecture from the winners of the 2007 ACM A.M. Turing Award.In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly succes ...

2009

TMunit: Testing Transactional Memories

Vincent Gramoli, Pascal Felber

Transactional memory (TM) is expected to become a widely used parallel programming paradigm for multi-core architectures. To reach this goal, we need tools that do not only help develop TMs, but also test them and evaluate them on a wide range of workloads ...

2009

On Test Generation through Programming in UDITA

Viktor Kuncak, Tihomir Gvero, Milos Gligoric

We present an approach for describing tests using non-deterministic test generation programs. To write test generation programs, we introduce UDITA, a Java-based language with non-deterministic choice operators and an interface for generating linked struct ...

2009

PathScore-Relevance: A Metric for Improving Test Quality

George Candea, Silviu Andrica

Reliability of today's software systems hinges on developers writing test cases that exercise as much of a program as possible. Writing and running such tests is inevitably subject to a time budget. This paper addresses the question of how to maximize qual ...

2009

Data-driven controller validation

Dominique Bonvin, Alireza Karimi, Klaske van Heusden

This paper proposes a data-driven test for closed-loop stability. The test is based on a non-conservative stability condition that can be veriﬁed without having to actually implement the controller. It uses a set of measurements from the plant but does not ...

2009

Compressed Sensing with Probabilistic Measurements: A Group Testing Solution

Martin Vetterli, Amin Karbasi, Ali Hormati, Mahdi Cheraghchi Bashi Astaneh

Detection of defective members of large populations has been widely studied in the statistics community under the name ``group testing'', a problem which dates back to World War~II when it was suggested for syphilis screening. There the main interest is to ...

2009

Dynamic Testing of Flow Graph Based Parallel Applications

Roger Hersch

In message-passing parallel applications, messages are not delivered in a strict order. The number of messages, their content and their destination may depend on the ordering of their delivery. Nevertheless, for most applications, the computation results s ...

ACM2008

Mechanistic interpretation of Alpine glacierized environments: Part 2. Hydrologic interpretation and model parameters identification on case study

Paolo Perona

The differential model MIAGE (see "Mechanistic Interpretation of Alpine Glacierized Environments: Part 1. Model formulation and related dynamical properties" by Perona and Burlando, this issue) is analyzed in this work with the purpose of: (i) showing the ...

Elsevier2008

Unsteady CFD Prediction of von Kármán Vortex Shedding in Hydraulic Turbine Stay Vanes

François Avellan, Mohamed Farhat, Philippe Ausoni

All hydraulic turbines containing a casing with stay vanes face the potential dynamic problem of stay vane von Kármán vortex shedding. For hydraulic efficiency purposes the stay vanes tend to be relatively slender in the direction normal to the flow thus b ...

2007

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search