A comparison of constraint-based and sequence-based generation of complex input data structures

Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Generation of complex input data structures is one of the challenging tasks in testing. Manual generation of such structures is tedious and error-prone. Automated generation approaches include those based on constraints, which generate structures at the concrete representation level, and those based on sequences of operations, which generate structures at the abstract representation level by inserting or removing elements to or from the structure. In this paper, we compare these two approaches for five complex data structures used in previous research studies. Our experiments show several interesting results. First, constraint-based generation can generate more structures than sequence-based generation. Second, the extra structures can lead to false alarms in testing. Third, some concrete representations of structures cannot be generated only with sequences of insert operations. Fourth, slightly different implementations of the same data structure can behave differently in testing.

Original languageEnglish (US)
Title of host publicationICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops
Pages337-342
Number of pages6
DOIs
StatePublished - Jun 25 2010
Event3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 - Paris, France
Duration: Apr 6 2010Apr 10 2010

Publication series

NameICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Other

Other3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010
CountryFrance
CityParis
Period4/6/104/10/10

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'A comparison of constraint-based and sequence-based generation of complex input data structures'. Together they form a unique fingerprint.

  • Cite this

    Sharma, R., Gligoric, M., Jagannath, V., & Marinov, D. (2010). A comparison of constraint-based and sequence-based generation of complex input data structures. In ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops (pp. 337-342). [5463666] (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops). https://doi.org/10.1109/ICSTW.2010.7