Automated isolation for white-box test generation
نویسندگان
چکیده
منابع مشابه
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to pathbounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce new test inputs wh...
متن کاملWarum White-Box-Test kein Test ist
Testentwurfsverfahren werden in die beiden Kategorien White-Box und Black-Box eingeteilt. Die Black-Box-Verfahren setzen auf der Spezifikation auf, um daraus systematisch Testfälle abzuleiten. Die White-Box-Verfahren nutzen hierfür zusätzlich den Programmtext. Oft werden beide als gleichwertig angesehen, wobei die White-BoxVerfahren eher auf den unteren Teststufen (Komponentenund Integrationste...
متن کاملConstraint Generation Tool for White-box Testing
Testing of database application is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. Conventionally database application testing is based upon whether or not the application can perform a set of predefined functions. While it is useful to achieve a basic degree of quality by considering the application to be a black box in the testing p...
متن کاملWhite on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases
Many useful test case construction methods that are based on important aspects of the specifcation have been proposed in the literature. A comprehensive test suite thus obtained is often very large and yet is non-redundant with respect to the aspects ident$ed from the specif cation. This paper addresses the problem of selecting a subset of test cases from such a test suite. We propose the use o...
متن کاملAutomated Test Generation
Testing remains the principal means of verification in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction of test cases, and discuss some of the research challen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Software Technology
سال: 2020
ISSN: 0950-5849
DOI: 10.1016/j.infsof.2020.106319