Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Case studies in learning-based testing
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0001-5703-5923
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-9706-5008
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.
Show others and affiliations
2013 (English)In: Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, Springer, 2013, 164-179 p.Conference paper, Published paper (Refereed)
Abstract [en]

We present case studies which show how the paradigm of learning-based testing (LBT) can be successfully applied to black-box requirements testing of industrial reactive systems. For this, we apply a new testing tool LBTest, which combines algorithms for incremental black-box learning of Kripke structures with model checking technology. We show how test requirements can be modeled in propositional linear temporal logic extended by finite data types.We then provide benchmark performance results for LBTest applied to three industrial case studies.

Place, publisher, year, edition, pages
Springer, 2013. 164-179 p.
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 8254 LNCS
Keyword [en]
Black boxes, Industrial case study, Kripke structure, Linear temporal logic, Model-checking technology, Reactive system, Test requirements, Testing tools
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-143280DOI: 10.1007/978-3-642-41707-8_11Scopus ID: 2-s2.0-84893424950ISBN: 9783642417061 (print)OAI: oai:DiVA.org:kth-143280DiVA: diva2:706374
Conference
25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013; Istanbul; Turkey; 13 November 2013 through 15 November 2013
Note

QC 20140320

Available from: 2014-03-20 Created: 2014-03-19 Last updated: 2017-05-17Bibliographically approved

Open Access in DiVA

fulltext(614 kB)150 downloads
File information
File name FULLTEXT02.pdfFile size 614 kBChecksum SHA-512
2b0566a1f9fb632f28991359392a8dce8cad3854fcadecc68e4b8694944622167efc6631dc35127ee906551b3dca883ebf17df0ad25c1b590fd16abd3fa894bf
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusThe final publication is available at www.springerlink.com

Authority records BETA

Feng, LeiMeinke, Karl

Search in DiVA

By author/editor
Feng, LeiMeinke, KarlNiu, FeiSindhu, Mudassar A.
By organisation
MechatronicsTheoretical Computer Science, TCS
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 150 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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