Language-Based Software Testing.
The article explores the potential for language-based testing bots to conduct software testing. First, the authors detail the requirements of a software testing bot including input generation as well as output evaluation. Then, an investigation of the incorporation of grammars with constraints in or...
| Publicado en: | Communications of the ACM Vol. 67; no. 4; pp. 80 - 85 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Apr2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=176231526&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 176231526 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2024 vid: 67 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 176231526 10.1145/3631520 ppf: 80 ppct: 5 formats: tig: atl: Language-Based Software Testing. aug: au: Steinhöfel, Dominic Zeller, Andreas affil: CISPA Helmholtz Center for Information Security, in Saarbrücken, Germany Saarland University, Germany su: Language & languages Computer software testing Syntax (Grammar) Semantics Automation sug: subj: Language & languages Computer software testing Syntax (Grammar) Semantics Automation ab: The article explores the potential for language-based testing bots to conduct software testing. First, the authors detail the requirements of a software testing bot including input generation as well as output evaluation. Then, an investigation of the incorporation of grammars with constraints in order to satisfy both syntax and semantics of inputs and outputs are presented utilizing the authors' open source tool ILSa (Input Specification Language). pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2024 holdings: @attributes: islocal: N |
|---|