mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Global Algorithm for Model-Based Test Suite Generation
Uppsala University, Sweden.
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0003-4040-3480
2007 (English)In: Proceedings of the Third Workshop on Model Based Testing (MBT 2007), 2007, p. 47-59Conference paper, Published paper (Refereed)
Abstract [en]

Model-based testing has been proposed as a technique to automatically

verify that a system conforms to its specification. A popular approach is to

use a model-checker to produce a set of test cases by formulating the test generation problem as a reachability problem. To guide the selection of test cases, a coverage criterion is often used. A coverage criterion can be seen as a set of items to be covered, called coverage items. We propose an on-the-fly algorithm

that generates a test suite that covers all feasible coverage items. The algorithm returns a set of traces that includes a path fulfilling each item, without including redundant paths. The reachability algorithm explores a state only if it might increase the total coverage. The decision is global in the sense that it does not only regard each individual local search branch in isolation, but the total coverage in

all branches together. For simpler coverage criteria as location of edge coverage, this implies that each model state is never explored twice.

The algorithm presented in this paper has been implemented in the test generation tool UPPAAL CoVer. We present encouraging results from applying the tool to a set of experiments and in an industrial sized case study.

Place, publisher, year, edition, pages
2007. p. 47-59
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-6972DOI: 10.1016/j.entcs.2007.08.005Scopus ID: 2-s2.0-34548142683OAI: oai:DiVA.org:mdh-6972DiVA, id: diva2:236982
Conference
Third Workshop on Model Based Testing (MBT 2007), Braga, Portugal 31 March–1 April 2007
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Pettersson, Paul

Search in DiVA

By author/editor
Pettersson, Paul
By organisation
Department of Computer Science and Electronics
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 15 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf