Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Finding a Boundary between Valid and Invalid Regions of the Input Space
Blekinge Tekniska Högskola, Fakulteten för datavetenskaper, Institutionen för programvaruteknik.ORCID-id: 0000-0002-1393-4123
Blekinge Tekniska Högskola, Fakulteten för datavetenskaper, Institutionen för programvaruteknik.ORCID-id: 0000-0002-5179-4205
2018 (Engelska)Ingår i: Proceedings - Asia-Pacific Software Engineering Conference, APSEC, IEEE Computer Society , 2018, s. 169-178, artikel-id 8719523Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In the context of robustness testing, the boundary between the valid and invalid regions of the input space can be an interesting source of erroneous inputs. Knowing where a specific software under test (SUT) has a boundary is also essential for validation in relation to requirements. However, finding where a SUT actually implements the boundary is a non-trivial problem that has not gotten much attention. This paper proposes a method of finding the boundary between the valid and invalid regions of the input space, by developing pairs of test sets that describe that boundary in detail. The proposed method consists of two steps. First, test data generators, directed by a search algorithm to maximise distance to known, valid test cases, generate valid test cases that are closer to the boundary. Second, these valid test cases undergo mutations to try to push them over the boundary and into the invalid part of the input space. This results in a pair of test sets, one consisting of test cases on the valid side of the boundary and a matched set on the outer side, with only a small distance between the two sets. The method is evaluated on a number of examples from the standard library of a modern programming language. We propose a method of determining the boundary between valid and invalid regions of the input space, and apply it on a SUT that has a non-contiguous valid region of the input space. From the small distance between the developed pairs of test sets, and the fact that one test set contains valid test cases and the other invalid test cases, we conclude that the pair of test sets described the boundary between the valid and invalid regions of that input space. Differences of behaviour can be observed between different distances and different sets of mutation operators, but all show that the method is able to identify the boundary between the valid and invalid regions of the input space. This is an important step towards more automated robustness testing. © 2018 IEEE.

Ort, förlag, år, upplaga, sidor
IEEE Computer Society , 2018. s. 169-178, artikel-id 8719523
Nyckelord [en]
search based software testing, software testing, Testing, Input space, Mutation operators, Non trivial problems, Robustness testing, Search Algorithms, Search-based software testing, Standard libraries, Test sets
Nationell ämneskategori
Programvaruteknik
Identifikatorer
URN: urn:nbn:se:bth-18159DOI: 10.1109/APSEC.2018.00031ISI: 000474770300018Scopus ID: 2-s2.0-85066806423ISBN: 9781728119700 (tryckt)OAI: oai:DiVA.org:bth-18159DiVA, id: diva2:1328123
Konferens
25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, 4 December 2018 through 7 December
Tillgänglig från: 2019-06-20 Skapad: 2019-06-20 Senast uppdaterad: 2025-09-30Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Marculescu, BogdanFeldt, Robert

Sök vidare i DiVA

Av författaren/redaktören
Marculescu, BogdanFeldt, Robert
Av organisationen
Institutionen för programvaruteknik
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 144 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf