Dagstuhl Seminar Proceedings, Volume 4371



Publication Details

  • published at: 2005-11-28
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
04371 Abstracts Collection – Perspectives of Model-Based Testing

Authors: Ed Brinksma, Wolfgang Grieskamp, and Jan Tretmans


Abstract
From 05.09.04 to 10.09.04, the Dagstuhl Seminar 04371 ``Perspectives of Model-Based Testing'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Ed Brinksma, Wolfgang Grieskamp, and Jan Tretmans. 04371 Abstracts Collection – Perspectives of Model-Based Testing. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{brinksma_et_al:DagSemProc.04371.1,
  author =	{Brinksma, Ed and Grieskamp, Wolfgang and Tretmans, Jan},
  title =	{{04371 Abstracts Collection – Perspectives of Model-Based Testing}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.1},
  URN =		{urn:nbn:de:0030-drops-3655},
  doi =		{10.4230/DagSemProc.04371.1},
  annote =	{Keywords: Model-based testing, software testing, formal methods, automatic test generation}
}
Document
04371 Summary – Perspectives of Model-Based Testing

Authors: Ed Brinksma, Wolfgang Grieskamp, and Jan Tretmans


Abstract
The aim of the seminar Perspectives of Model-Based Testing was to bring together researchers and practitioners from industry and academia to discuss the state of the art in theory, methods, tools, applications, and industrialization of model-based testing, and to identify the important open issues and challenges.

Cite as

Ed Brinksma, Wolfgang Grieskamp, and Jan Tretmans. 04371 Summary – Perspectives of Model-Based Testing. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{brinksma_et_al:DagSemProc.04371.2,
  author =	{Brinksma, Ed and Grieskamp, Wolfgang and Tretmans, Jan},
  title =	{{04371 Summary – Perspectives of Model-Based Testing}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.2},
  URN =		{urn:nbn:de:0030-drops-3640},
  doi =		{10.4230/DagSemProc.04371.2},
  annote =	{Keywords: Model-based testing, software testing, formal methods, automatic test generation}
}
Document
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work

Authors: Kim G. Larsen, Marius Mikucionis, and Brian Nielsen


Abstract
We present TUPPAAL --- a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. We describe a sound and complete randomized online testing algorithm, and describe how to implement it using symbolic state representation and manipulation techniques. We propose the notion of relativized timed input/output conformance as the formal implementation relation. A novelty of this relation and our testing algorithm is that they explicitly take environment assumptions into account, generate, execute and verify the result online using the UPPAAL on-the-fly model-checking tool engine. A medium size case study shows promising results in terms of error detection capability and computation performance.

Cite as

Kim G. Larsen, Marius Mikucionis, and Brian Nielsen. Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{larsen_et_al:DagSemProc.04371.3,
  author =	{Larsen, Kim G. and Mikucionis, Marius and Nielsen, Brian},
  title =	{{Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.3},
  URN =		{urn:nbn:de:0030-drops-3269},
  doi =		{10.4230/DagSemProc.04371.3},
  annote =	{Keywords: Online testing, black-box testing, real-time systems, embedded systems, symbolic state representation, relativized timed input/output conformance, mo}
}
Document
Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES)

Authors: Mirko Conrad


Abstract
The software embedded in automotive control systems increasingly determines the functionality and properties of present-day motor vehicles. The development and test process of the systems and the software embedded becomes the limiting factor. While these challenges, on the development side, are met by employing model-based specification, design, and implementation techniques [KCF+04], satisfactory solutions on the testing side are slow in arriving. With regard to the systematic selection (test design) and the description of test scenarios especially, there is a lot of room for improvement. Thus, a main goal is to effectively minimize these deficits by creating an efficient procedure for the selection and description of test scenarios for embedded automotive software and its integration in the model-based development process. The realization of this idea involves the combination of a classical software testing procedure with a technology, prevalent in the automotive industry, which is used for the description of time-dependent stimuli signals. The result of this combination is the classification-tree method for embedded systems, CTM/ES [Con04]. The classification-tree method for embedded systems complements model-based development by employing a novel approach to the systematic selection and description of the test scenarios for the software embedded in the control systems. CTM/ES allows for the graphic representation of time-variable test scenarios on different levels of abstraction: A problem-oriented, compact representation, adequate for a human tester and containing a high potential for reusability, is gradually being transformed into a solution-oriented technical representation which is suited for the test objects' stimulation. The CTM/ES notation facilitates a consistent representation of test scenarios which may result from different test design techniques. The test design technique which this method is primarily based on, is a data-oriented partitioning of the input domain in equivalence classes. Secondary test design techniques are, for instance, the testing of specific values (or value courses) or requirement-based testing. A domain-specific application pragmatics in the form of agendas supports the methodical execution of individual test activities and the interaction of different test design techniques. The methodology description leads up to an effective test strategy for model-based testing, combining the classification-tree method for embedded systems with structural testing on the model level, and accommodating the different forms of representation of the test object during model-based development. Systems which have been developed in a model-based way can be tested systematically and efficiently by means of the CTM/ES and the tools based thereon, such as the classification-tree editor for embedded systems CTE/ES [CTE/ES], as well as the model-based test environment MTest [LBE+04, MTest].

Cite as

Mirko Conrad. Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{conrad:DagSemProc.04371.4,
  author =	{Conrad, Mirko},
  title =	{{Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES)}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.4},
  URN =		{urn:nbn:de:0030-drops-3257},
  doi =		{10.4230/DagSemProc.04371.4},
  annote =	{Keywords: Model-based Testing, Classification-tree Method for Embedded Systems (CTM/ES), test design technique, test notation}
}
Document
Testing with Functions as Specifications

Authors: Pieter Koopman


Abstract
In this paper we show that mathematical functions and logical expressions can very well be used as, partial, specifications. Reactive systems can be modelled by powerful extended state transition systems, that can be nondeterministic and can handle parameterized and infinite types for the inputs, outputs and states. These specifications can very concisely and directly be stated in a modern functional programming language. The test tool Gast is able to generate test data based on these specifications, execute the associated tests, and make a verdict fully automatically. Test data can be generated fully automatically, but can also be tailored in various high level ways, if that is desired. Advantages of this approach are that one specifies properties instead of instances of these properties, test data are automatically derived instead of manually, the tests performed are always up to date with the current specification, and testing is automatic (and hence fast and accurate).

Cite as

Pieter Koopman. Testing with Functions as Specifications. In Perspectives of Model-Based Testing. Dagstuhl Seminar Proceedings, Volume 4371, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{koopman:DagSemProc.04371.5,
  author =	{Koopman, Pieter},
  title =	{{Testing with Functions as Specifications}},
  booktitle =	{Perspectives of Model-Based Testing},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4371},
  editor =	{Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04371.5},
  URN =		{urn:nbn:de:0030-drops-3246},
  doi =		{10.4230/DagSemProc.04371.5},
  annote =	{Keywords: Automatic testing, model based testing, specification based testing, functions}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail