GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P300 - Software Engineering 2020
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P300 - Software Engineering 2020
  • View Item

Cooperative Test-Case Generation with Verifiers

Author:
Beyer, Dirk [DBLP] ;
Jakobs, Marie-Christine [DBLP]
Abstract
Software testing is widely applied in software quality assurance. Often, test suites fulfilling a certain coverage measure must be constructed. Manually constructing them is laborious. However, numerous automatic test-generation approaches exist. Due to various strengths and weaknesses of individual approaches, hybrid approaches, which combine different approaches, construct test suites that achieve higher coverage values than test suites generated by individual approaches. We propose the hybrid test-generation approach CoVeriTest. CoVeriTest is flexible, cooperative, and based on verification technology. It iteratively executes a sequence of verifiers that may exchange analysis information between each other and output a test case whenever they reach a test goal. The verifiers, their individual time limits, and which analysis information is exchanged between them is configurable. We experimented with different CoVeriTest configurations. The best configuration participated in the 1st International Competition on Software Testing (Test-Comp’19) and won the third place. This proves the value of our CoVeriTest approach.
  • Citation
  • BibTeX
Beyer, D. & Jakobs, M.-C., (2020). Cooperative Test-Case Generation with Verifiers. In: Felderer, M., Hasselbring, W., Rabiser, R. & Jung, R. (Hrsg.), Software Engineering 2020. Bonn: Gesellschaft für Informatik e.V.. (S. 107--108). DOI: 10.18420/SE2020_31
@inproceedings{mci/Beyer2020,
author = {Beyer, Dirk AND Jakobs, Marie-Christine},
title = {Cooperative Test-Case Generation with Verifiers},
booktitle = {Software Engineering 2020},
year = {2020},
editor = {Felderer, Michael AND Hasselbring, Wilhelm AND Rabiser, Rick AND Jung, Reiner} ,
pages = { 107--108 } ,
doi = { 10.18420/SE2020_31 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
B10-01.pdf257.3Kb PDF View/Open

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/SE2020_31

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

DOI: 10.18420/SE2020_31
ISBN: 978-3-88579-694-7
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2020
Language: en (en)
Content Type: Text/Conference Paper

Keywords

  • Test-case Generation
  • Software Testing
  • Test Coverage
  • Conditional Model Checking
  • Cooperative Verification
  • Model Checking
Collections
  • P300 - Software Engineering 2020 [70]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.