Language-Based Techniques and Stochastic Models for Automated Testing
Uložené v:
| Názov: | Language-Based Techniques and Stochastic Models for Automated Testing |
|---|---|
| Autori: | Mista, Claudio Agustin, 1991 |
| Zdroj: | Octopi: Säker Programering för Sakernas Internet WebSec: Säkerhet i webb-drivna system. |
| Predmety: | automated testing, software testing, stochastic methods, meta-programming, functional programming |
| Popis: | As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. They both rely on generating large amounts of random (possibly broken) test cases to be used as inputs to the system. Test cases that trigger issues such as crashes, memory leaks, or failed assertions are reported back to the developer for further investigation. Despite being fairly automatable, the Achilles heel of this technique lies in the quality of the randomly generated test cases, often requiring substantial manual work to tune the random generation process when the system under test expects inputs satisfying complex invariants. This thesis tackles this problem from the Programming Languages perspective, taking advantage of the richness of functional, statically-typed languages like Haskell to develop automated techniques for generating good-quality random test cases, as well as for automatically tuning the testing process in our favor. To this purpose, we rely on well-established ideas such as coverage-guided fuzzing, meta-programming, type-level programming, as well as novel interpretations of centuries-old statistical tools designed to study the evolution of populations such as branching processes. All these ideas are empirically validated using an extensive array of case studies and supported by a substantial number of real-world bugs discovered along the way. |
| Popis súboru: | electronic |
| Prístupová URL adresa: | https://research.chalmers.se/publication/535733 https://research.chalmers.se/publication/535733/file/535733_Fulltext.pdf |
| Databáza: | SwePub |
Nájsť tento článok vo Web of Science | FullText | Text: Availability: 0 CustomLinks: – Url: https://research.chalmers.se/publication/535733# Name: EDS - SwePub (s4221598) Category: fullText Text: View record in SwePub – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Mista%20CA Name: ISI Category: fullText Text: Nájsť tento článok vo Web of Science Icon: https://imagesrvr.epnet.com/ls/20docs.gif MouseOverText: Nájsť tento článok vo Web of Science |
|---|---|
| Header | DbId: edsswe DbLabel: SwePub An: edsswe.oai.research.chalmers.se.b017405a.6a38.4b91.9a46.dea54030c37b RelevancyScore: 906 AccessLevel: 6 PubType: PubTypeId: unknown PreciseRelevancyScore: 905.779541015625 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Language-Based Techniques and Stochastic Models for Automated Testing – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Mista%2C+Claudio+Agustin%22">Mista, Claudio Agustin</searchLink>, 1991 – Name: TitleSource Label: Source Group: Src Data: <i>Octopi: Säker Programering för Sakernas Internet WebSec: Säkerhet i webb-drivna system</i>. – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22automated+testing%22">automated testing</searchLink><br /><searchLink fieldCode="DE" term="%22software+testing%22">software testing</searchLink><br /><searchLink fieldCode="DE" term="%22stochastic+methods%22">stochastic methods</searchLink><br /><searchLink fieldCode="DE" term="%22meta-programming%22">meta-programming</searchLink><br /><searchLink fieldCode="DE" term="%22functional+programming%22">functional programming</searchLink> – Name: Abstract Label: Description Group: Ab Data: As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. They both rely on generating large amounts of random (possibly broken) test cases to be used as inputs to the system. Test cases that trigger issues such as crashes, memory leaks, or failed assertions are reported back to the developer for further investigation. Despite being fairly automatable, the Achilles heel of this technique lies in the quality of the randomly generated test cases, often requiring substantial manual work to tune the random generation process when the system under test expects inputs satisfying complex invariants. This thesis tackles this problem from the Programming Languages perspective, taking advantage of the richness of functional, statically-typed languages like Haskell to develop automated techniques for generating good-quality random test cases, as well as for automatically tuning the testing process in our favor. To this purpose, we rely on well-established ideas such as coverage-guided fuzzing, meta-programming, type-level programming, as well as novel interpretations of centuries-old statistical tools designed to study the evolution of populations such as branching processes. All these ideas are empirically validated using an extensive array of case studies and supported by a substantial number of real-world bugs discovered along the way. – Name: Format Label: File Description Group: SrcInfo Data: electronic – Name: URL Label: Access URL Group: URL Data: <link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/535733" linkWindow="_blank">https://research.chalmers.se/publication/535733</link><br /><link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/535733/file/535733_Fulltext.pdf" linkWindow="_blank">https://research.chalmers.se/publication/535733/file/535733_Fulltext.pdf</link> |
| PLink | https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsswe&AN=edsswe.oai.research.chalmers.se.b017405a.6a38.4b91.9a46.dea54030c37b |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English Subjects: – SubjectFull: automated testing Type: general – SubjectFull: software testing Type: general – SubjectFull: stochastic methods Type: general – SubjectFull: meta-programming Type: general – SubjectFull: functional programming Type: general Titles: – TitleFull: Language-Based Techniques and Stochastic Models for Automated Testing Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Mista, Claudio Agustin IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2023 Identifiers: – Type: isbn-print Value: 9179058515 – Type: isbn-print Value: 9789179058517 – Type: issn-locals Value: SWEPUB_FREE – Type: issn-locals Value: CTH_SWEPUB Titles: – TitleFull: Octopi: Säker Programering för Sakernas Internet WebSec: Säkerhet i webb-drivna system Type: main |
| ResultId | 1 |