Input Algebras

Grammar-based test generators are highly efficient in producing syntactically valid test inputs, and give their user precise control over which test inputs should be generated. Adapting a grammar or a test generator towards a particular testing goal can be tedious, though. We introduce the concept o...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings / International Conference on Software Engineering s. 699 - 710
Hlavní autoři: Gopinath, Rahul, Nemati, Hamed, Zeller, Andreas
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.05.2021
Témata:
Computer bugs
debuggin
faults
Generators
Grammar
oracles
Software
Software engineering
Test pattern generators
Testing
ISBN:1665402962, 9781665402965
ISSN:1558-1225
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract Grammar-based test generators are highly efficient in producing syntactically valid test inputs, and give their user precise control over which test inputs should be generated. Adapting a grammar or a test generator towards a particular testing goal can be tedious, though. We introduce the concept of a grammar transformer, specializing a grammar towards inclusion or exclusion of specific patterns: "The phone number must not start with 011 or +1". To the best of our knowledge, ours is the first approach to allow for arbitrary Boolean combinations of patterns, giving testers unprecedented flexibility in creating targeted software tests. The resulting specialized grammars can be used with any grammar-based fuzzer for targeted test generation, but also as validators to check whether the given specialization is met or not, opening up additional usage scenarios. In our evaluation on real-world bugs, we show that specialized grammars are accurate both in producing and validating targeted inputs.
AbstractList Grammar-based test generators are highly efficient in producing syntactically valid test inputs, and give their user precise control over which test inputs should be generated. Adapting a grammar or a test generator towards a particular testing goal can be tedious, though. We introduce the concept of a grammar transformer, specializing a grammar towards inclusion or exclusion of specific patterns: "The phone number must not start with 011 or +1". To the best of our knowledge, ours is the first approach to allow for arbitrary Boolean combinations of patterns, giving testers unprecedented flexibility in creating targeted software tests. The resulting specialized grammars can be used with any grammar-based fuzzer for targeted test generation, but also as validators to check whether the given specialization is met or not, opening up additional usage scenarios. In our evaluation on real-world bugs, we show that specialized grammars are accurate both in producing and validating targeted inputs.
Author Zeller, Andreas
Gopinath, Rahul
Nemati, Hamed
Author_xml – sequence: 1
  givenname: Rahul
  surname: Gopinath
  fullname: Gopinath, Rahul
  email: rahul.gopinath@cispa.saarland
  organization: CISPA Helmholtz Center for Information Security, Germany
– sequence: 2
  givenname: Hamed
  surname: Nemati
  fullname: Nemati, Hamed
  email: hamed.nemati@cispa.saarland
  organization: CISPA Helmholtz Center for Information Security, Germany
– sequence: 3
  givenname: Andreas
  surname: Zeller
  fullname: Zeller, Andreas
  email: andreas.zeller@cispa.saarland
  organization: CISPA Helmholtz Center for Information Security, Germany
BookMark eNotzs9Kw0AQgPEBK9jW-gJ68AUSZ2Zn9s-xhFoDBQ_quewmuxKosTT14Nsr6Om7_fgWMBs_xwxwR1gTYXhom5eNmIBcMzLViOjwAhZkrQpysDyDOan6ipj1ClbTNCQUcYHQyhxu2vH4db5fH95zOsXpGi5LPEx59d8lvD1uXpunave8bZv1rors9Vy5njuyIWHBzClm7ZwpKWFScZ32NnVGhYxHFVvQaxEtlLmoF3Y-9mYJt3_ukHPeH0_DRzx978PvMRKaH6aKOOY
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/ICSE43902.2021.00070
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library (IEL) (UW System Shared)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 710
ExternalDocumentID 9402010
Genre orig-research
GroupedDBID -~X
.4S
.DC
123
23M
29O
5VS
6IE
6IF
6IH
6IK
6IL
6IM
6IN
8US
AAJGR
AAWTH
ABLEC
ADZIZ
AFFNX
ALMA_UNASSIGNED_HOLDINGS
APO
ARCSS
AVWKF
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
EDO
FEDTE
I-F
I07
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
XOL
ID FETCH-LOGICAL-a285t-7d2c169b0f0e2bae5c73fbb0b547c5d6bc3541380546f085f45f1e2f584278ad3
IEDL.DBID RIE
ISBN 1665402962
9781665402965
ISICitedReferencesCount 3
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000684601800057&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1558-1225
IngestDate Wed Aug 27 02:50:26 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a285t-7d2c169b0f0e2bae5c73fbb0b547c5d6bc3541380546f085f45f1e2f584278ad3
PageCount 12
ParticipantIDs ieee_primary_9402010
PublicationCentury 2000
PublicationDate 2021-May
PublicationDateYYYYMMDD 2021-05-01
PublicationDate_xml – month: 05
  year: 2021
  text: 2021-May
PublicationDecade 2020
PublicationTitle Proceedings / International Conference on Software Engineering
PublicationTitleAbbrev ICSE
PublicationYear 2021
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssib044791064
ssj0006499
Score 2.1978424
Snippet Grammar-based test generators are highly efficient in producing syntactically valid test inputs, and give their user precise control over which test inputs...
SourceID ieee
SourceType Publisher
StartPage 699
SubjectTerms Computer bugs
debuggin
faults
Generators
Grammar
oracles
Software
Software engineering
Test pattern generators
Testing
Title Input Algebras
URI https://ieeexplore.ieee.org/document/9402010
WOSCitedRecordID wos000684601800057&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV25TgMxEB2FiIICBUgQt7agZMna67NEKBFpokiAlC6yvTZCQhuUg-9n7GwCBQ2d7crH2G9sz5sHcMsqjeehIblFA8mZclWuSChzbYkxUtuSepXEJuR4rKZTPWnB3Y4L471PwWf-PhbTX341d-v4VNbX8bIT-VR7UooNV2trO4xJBL7o-jensGBJOxLhEm9JaLSR1BWVdguqBW1yPW3rvOHUkUL3R4_PAwTpRNKiJKY3jDrGv5RXEvAMO__r8hH0fhh82WSHTcfQ8vUJdLYSDlmzo7twOKqxJXv4eIsfyMsevA4HL49PeSORkBuq-CqXFXVEaFuEwlNrPHeyDNYWljPpeCWsKznClELHTAT0rgLjgXga0O2gUpmqPIV2Pa_9GWRFCIjuzlFHEdkYM0IYRXGNo2ofD_ocunF4s89NFoxZM7KLv5sv4SDO3yY08Araq8XaX8O--1q9Lxc3aem-Ae2hjt4
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlZ27T8MwEMZPVUGCARVoEW8yMBKaOH6OCLVqRakqUaRule3YCAmlqA_-fs5pWhhY2BJPcXzxd4793Q_gluYK50OdxgYDJKbS5rFMfRYrk2otlMmIkyVsQgyHcjJRoxrcbb0wzrny8Jm7D5flXn4-s6vwq6ytwmIn-Kl2AjmLrd1am-ihVKD0heS_moc5LemRKJi4TsKwDbauwNpNiOKkqva0uWeVqy5NVLv_-NJBmS5tWiQNBQ4DyfgXe6WUnm7jfw99CK0fD1802qrTEdRccQyNDcQhqr7pJhz0C2yJHj7ewhbyogWv3c74sRdXkIRYE8mWsciJTbkyiU8cMdoxKzJvTGIYFZbl3NiMoVBJTM24x_zKU-ZTRzwmHkRInWcnUC9mhTuFKPEe9d1aYglqG6Wacy0JjnLg9jGvzqAZujf9XNfBmFY9O_-7-Qb2euPnwXTQHz5dwH54l-uDgpdQX85X7gp27dfyfTG_LofxG6Jpkik
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+%2F+International+Conference+on+Software+Engineering&rft.atitle=Input+Algebras&rft.au=Gopinath%2C+Rahul&rft.au=Nemati%2C+Hamed&rft.au=Zeller%2C+Andreas&rft.date=2021-05-01&rft.pub=IEEE&rft.isbn=9781665402965&rft.issn=1558-1225&rft.spage=699&rft.epage=710&rft_id=info:doi/10.1109%2FICSE43902.2021.00070&rft.externalDocID=9402010
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1558-1225&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1558-1225&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1558-1225&client=summon