Parameterized unit tests
N Tillmann, W Schulte - ACM SIGSOFT Software Engineering Notes, 2005 - dl.acm.org
… using closed unit tests defined as parameterless methods. Parameterized unit tests separate
two … : 1) They specify the external behavior of the involved methods for all test arguments. 2) …
two … : 1) They specify the external behavior of the involved methods for all test arguments. 2) …
Generating parameterized unit tests
… When converting a concrete unit test to a parameterized unit test, we initially have very
specific but implicit preconditions, represented by the actual test inputs. Similarly, the test case …
specific but implicit preconditions, represented by the actual test inputs. Similarly, the test case …
Unit tests reloaded: Parameterized unit testing with symbolic execution
N Tillmann, W Schulte - IEEE software, 2006 - ieeexplore.ieee.org
… of good unit tests? We think the answer is yes. Parameterized unit tests4 are unit tests that
… PUTs describe behavior more concisely than traditional unit tests. We use symbolic execu…
… PUTs describe behavior more concisely than traditional unit tests. We use symbolic execu…
Retrofitting unit tests for parameterized unit testing
… testing introduced parameterized unit tests (PUT), which accept parameters, unlike conventional
unit tests … describe the behaviors of methods under test for all test arguments. In general, …
unit tests … describe the behaviors of methods under test for all test arguments. In general, …
相关搜索
- parameterized unit testing symbolic execution
- parameterized unit tests automated technique
- parameterized unit tests characteristic study
- parameterized unit testing open source
- parameterized unit tests mutation analysis
- parameterized unit testing theory and practice
- unit test generation
- concolic unit testing engine
Parameterized unit testing: Theory and practice
N Tillmann, J De Halleux, T Xie - Proceedings of the 32nd ACM/IEEE …, 2010 - dl.acm.org
… In order to address these issues and give guidance, this tutorial teaches the notion of
parameterized unit testing, test input generation by automated program analysis, and environment …
parameterized unit testing, test input generation by automated program analysis, and environment …
Parameterized unit tests with unit meister
N Tillmann, W Schulte - Proceedings of the 10th European software …, 2005 - dl.acm.org
… In parameterized unit testing we also use symbolic computation to derive test inputs, but
we do not split conditions into their disjunctive normal forms, instead we simply use the path …
we do not split conditions into their disjunctive normal forms, instead we simply use the path …
Carving parameterized unit tests
A Kampmann, A Zeller - 2019 IEEE/ACM 41st International …, 2019 - ieeexplore.ieee.org
… a parameter. Instead of using the recorded value v, we now allow the fuzzer to insert a new
value v into the unit test… parameters of the carved parameterized unit test test_bc_add(p1, p2): …
value v into the unit test… parameters of the carved parameterized unit test test_bc_add(p1, p2): …
Mutation analysis of parameterized unit tests
T Xie, N Tillmann, J De Halleux… - … on Software Testing …, 2009 - ieeexplore.ieee.org
… Recently parameterized unit testing has emerged as a promising and effective … -box test
inputs (ie, highcode-covering test inputs) by tools. A parameterized unit test (PUT) is simply a test …
inputs (ie, highcode-covering test inputs) by tools. A parameterized unit test (PUT) is simply a test …
[PDF][PDF] Parameterized test patterns for effective testing with Pex
P de Halleux, N Tillmann - Copyright Microsoft, 2008 - Citeseer
… This paper contains common patterns for parameterized unit tests (… to parameterized unit
testing. Section 4 goes over various other concepts that are useful in parameterized unit testing …
testing. Section 4 goes over various other concepts that are useful in parameterized unit testing …
Parameterized Unit Testing with Pex: (Tutorial)
J De Halleux, N Tillmann - Tests and Proofs: Second International …, 2008 - Springer
… Parameterized Unit Testing with Pex … We have seen earlier how parameterized unit tests
are a way to write general tests that do not have to state particular test inputs. In a similar way, …
are a way to write general tests that do not have to state particular test inputs. In a similar way, …