Sökning: id:"swepub:oai:research.chalmers.se:8d42eebf-51cc-488e-8297-23d553c0b9ee" >
Proof-based Test Ca...
Proof-based Test Case Generation
-
- Ahrendt, Wolfgang, 1967 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Gladisch, Christoph (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
- Herda, Mihai (författare)
- Karlsruher Institut für Technologie (KIT),Karlsruhe Institute of Technology (KIT)
-
(creator_code:org_t)
- ISBN 9783319498119
- 2016-12-21
- 2016
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. - 9783319498119 ; 10001 LNCS, s. 415-451
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- KeYTestGen is a white-box test generator for Java methods based on KeY's program analysis and symbolic execution. KeYTestGen generates a JUnit test harness (test driver) which does not only initialize method parameters but also the global state that is defined by the (potentially private) fields of objects and classes. For example, a complex linked data structure may be created as test input. The tests can satisfy different test criteria such as branch coverage, path coverage, and MC/DC coverage. The user may also provide a specification in the Java Modeling Language (JML) from which a test oracle can be generated or which can be used as an abstraction for a loop or method call. KeYTestGen can be used either as a simple stand-alone tool not requiring expert knowledge or it can be used in an advanced way to support and complement formal verification.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Solftware Analysis
- Software Verification
- Testing
- Test Generation
Publikations- och innehållstyp
- kap (ämneskategori)
- vet (ämneskategori)
Hitta via bibliotek
Till lärosätets databas