Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach

Madani, Laya; Oriat, Catherine; Parissis, Ioannis; Bouchet, Jean-François; Nigay, Laurence

doi:10.1109/issre.2005.40

Cited by 11 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Indeed, Lutess is mainly based on a model of the environment in which a software component is running and not on the implementation of the component itself. Thus, the approach can be used to generate test data for non synchronous systems provided that a synchronous communication with the component can be made (it has been shown that Lutess can be used in testing feature interaction in telecommunications systems [3] as well as in testing multimodal interactive systems [7]). …”

Section: Resultsmentioning

confidence: 99%

Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs

Selimi

Parissis

2006

2006 17th International Symposium on Software Reliability Engineering

View full text Add to dashboard Cite

Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language. It makes possible to automatically generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as operational profiles and behavioral patterns. Lutess deals with software and specifications involving only boolean inputs and outputs. In this paper we propose an extension of Lutess, using Constraint Logic Programming (CLP), making possible to deal with numeric inputs and outputs. In particular, we define an appropriate execution model for test input generation and show how test data generation according to the main guiding facilities of Lutess can still be performed. Furthermore, operational profile based generation becomes more powerful thanks to the introduction of CLP solvers capabilities which make possible to associate occurrence probabilities to any boolean expression.

show abstract

Section: Resultsmentioning

confidence: 99%

Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs

Selimi

Parissis

2006

2006 17th International Symposium on Software Reliability Engineering

View full text Add to dashboard Cite

show abstract

“…In [16] we presented a preliminary study showing the feasibility of our approach and a first definition of the CARE properties that we simplify here. Moreover in [17], we presented in the context of a case study, one way to generate test data, namely the operational profile strategy. In this section, we present the complete approach with three different ways of generating test data.…”

Section: Formal Approach For Testing Multimodal Systemsmentioning

confidence: 99%

“…4. In [17], we fully illustrate our testing method by considering the test of Memo using an operational profile-based approach for generating the test data. In order to illustrate all the strategies for generating test data, we consider here three tasks, namely "get a post-it", "set a post-it" and "remove a post-it" with Memo.…”

Section: Illustration: the Memo Multimodal Systemmentioning

confidence: 99%

Formal Testing of Multimodal Interactive Systems

Bouchet

Madani

Nigay

et al. 2008

Engineering Interactive Systems

View full text Add to dashboard Cite

This paper presents a method for automatically testing interactive multimodal systems. The method is based on the Lutess testing environment, originally dedicated to synchronous software specified using the Lustre language. The behaviour of synchronous systems, consisting of cycles starting by reading an external input and ending by issuing an output, is to a certain extent similar to the one of interactive systems. Under this hypothesis, the paper presents our method for automatically testing interactive multimodal systems using the Lutess environment. In particular, we show that automatic test data generation based on different strategies can be carried out. Furthermore, we show how multimodality-related properties can be specified in Lustre and integrated in test oracles.

show abstract