Unit test generalization
作者： Wolfgang Grieskamp , Wolfram Schulte , Nikolai Tillmann
DOI:
关键词:
摘要: A computer system provides a test program and one or more unit tests, such as traditional parameterized test. The also includes constraint solver, theorem prover, an implementation under test, symbolic executor, generalizor, generated cases. generalizor receives tests input, modifies the into modification replacing plural concrete values in with symbols, exporting symbols signature of executor identifies constraints while symbolically executing created solver prover generates set cases by solving for that satisfy series constraints. executes automatically
google.nl 参考文章(44)
Margus Veanes, Wolfram Schulte, Colin Campbell, Pushmeet Kohli, On-The-Fly Testing of Reactive Systems ,(2005)
Algebraic system specification and development Springer-Verlag New York, Inc.. ,(1991) , 10.1007/BFB0018512
G.M. Bierman, M.J. Parkinson, A.M. Pitts, MJ: An imperative core calculus for Java and Java with effects ,(2003)
David Whitlock, Lise Storc, Methods and systems for performing unit testing across multiple virtual machines ,(2004)
Chet Hendrickson, Ann Anderson, Ron E. Jeffries, Extreme Programming Installed ,(2000)
Adam Kolawa, Alex Kanevsky, Yaniv Inbar, Mathew Love, Roman Salvador, Method and system for predicting memory leaks from unit testing ,(2004)
K. Rustan M. Leino, Madan Musuvathi, Xinming Ou, A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover Tools and Algorithms for the Construction and Analysis of Systems. pp. 334- 348 ,(2005) , 10.1007/978-3-540-31980-1_22
Robert J. Hall, Using Symbolic Evaluation to Validate Models that have Incomplete Information ,(2004)
Steve Freeman, Tim Mackinnon, Philip Craig, Endo-testing: unit testing with mock objects Extreme programming examined. pp. 287- 301 ,(2001)
Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Access driven filtering ,(2003)