38 property based testing #61

albsch · 2020-07-17T10:27:09Z

Merged worked of @WoelkiM on property-based testing, converting eqc to PropEr tests
Removed eqc profile from rebar configuration
Removed two unused include files

Update Fork

Update branch

* #38 First tests, these are not yet fully functional. * #38 rewrite done * #38 update travis * #38 adjust number of test executions Co-authored-by: Peter Zeller <p_zeller@cs.uni-kl.de>

* #38 First tests, these are not yet fully functional. * quickcheck wip * #38 rewrite done * #38 update travis * #38 adjust number of test executions * #38 update coverage + bug fixing in riak_core_claim Co-authored-by: Peter Zeller <p_zeller@cs.uni-kl.de>

…38_Property_based_Testing # Conflicts: # test/eqc/vclock_qc.erl

38 property based testing

bieniusa · 2020-07-17T19:26:26Z

test/pqc/riak_core_claim_util_qc.erl

+                AS2 = riak_core_claim_util:summarize_am(dict:to_list(FixDAM2)),
+                ?WHENFAIL(
+                   begin
+                       io:format(user, "S=~p\nOwners =~p\n", [S, Owners]),


Is proper really using io:format for test outputs?

bieniusa · 2020-07-17T19:32:52Z

test/pqc/riak_core_ring_util_qc.erl

+
+test_ids_are_boundaries() ->
+    test_ids_are_boundaries(?TEST_TIME_SECS).
+%TODO check time sec


Shall we make issues for the todos?

bieniusa · 2020-07-17T19:35:28Z

Can you please provide a description in the pull request of the major changes? This simplifies it later to understand why some modules disappeared ;)

WoelkiM · 2020-07-27T19:35:16Z

Main changes:
** Rewriting the eqc tests in propEr test.
** Restructuring of the test.Individual proper tests, which were in the unit tests, were restructured into new files and collected in test - pqc.

* update travis * adjust number of test executions * update coverage + bug fixing in riak_core_claim Co-authored-by: Wölki <55596379+WoelkiM@users.noreply.github.com> Co-authored-by: woelki <m_woelki14@cs.uni-kl.de> Co-authored-by: Peter Zeller <p_zeller@cs.uni-kl.de>

* riak_core_vnode_worker_pool to gen_statem (#19) * Added E22 to pipeline * Fixed Readme and descriptions to fit riak_core_lite * Included outside dependencies again * Fixed deprecation warnings in those dependencies * Added xref to pipeline * Added badge that tracks hex.pm version * Added coverage support * Removed unused test dependencies (goldrush, mustache). Added missing meck dependency to tests * Made edoc work again. Replaced macros with direct calls. Added edoc to pipeline * Replaced mochiglobal with persistent_term (#43) * Added lint command and lint to pipeline (#35) * #35 (#45) * fix riak_core_status:ringready/0 (#52) Added test case. * Formatter (#53) * Added default rebar3_format * Changed to otp_formatter, fixed one issue in code by refactoring * Adjusted pipeline * Unused modules (#58) * Bloom filter removed * Removed stats util modules * Removed one eqc files. * property based testing (#61) * update travis * adjust number of test executions * update coverage + bug fixing in riak_core_claim * 20 replaced riak_core_gen_server with gen_server (#63) * Erlang 23 Pipeline (#64) * Format with E23, increased line length by 20 * Added E23 to pipeline * PR basho#959 upstream (#65) * Added unit test case which enforces the deadlock prior the fix * V0.10.1 release * #70 * Moved proper to project_plugins (#72) * Finish removing bucket properties and buckets (#75) Co-authored-by: Wölki <55596379+WoelkiM@users.noreply.github.com> Co-authored-by: Andreas Schultz <andreas.schultz@travelping.com> Co-authored-by: woelki <m_woelki14@cs.uni-kl.de> Co-authored-by: Peter Zeller <p_zeller@cs.uni-kl.de>

* riak_core_vnode_worker_pool to gen_statem (#19) * Added E22 to pipeline * Fixed Readme and descriptions to fit riak_core_lite * Included outside dependencies again * Fixed deprecation warnings in those dependencies * Added xref to pipeline * Added badge that tracks hex.pm version * Added coverage support * Removed unused test dependencies (goldrush, mustache). Added missing meck dependency to tests * Made edoc work again. Replaced macros with direct calls. Added edoc to pipeline * Replaced mochiglobal with persistent_term (#43) * Added lint command and lint to pipeline (#35) * #35 (#45) * fix riak_core_status:ringready/0 (#52) Added test case. * Formatter (#53) * Added default rebar3_format * Changed to otp_formatter, fixed one issue in code by refactoring * Adjusted pipeline * Unused modules (#58) * Bloom filter removed * Removed stats util modules * Removed one eqc files. * property based testing (#61) * update travis * adjust number of test executions * update coverage + bug fixing in riak_core_claim * 20 replaced riak_core_gen_server with gen_server (#63) * Erlang 23 Pipeline (#64) * Format with E23, increased line length by 20 * Added E23 to pipeline * PR basho#959 upstream (#65) * Added unit test case which enforces the deadlock prior the fix * V0.10.1 release * #70 * Moved proper to project_plugins (#72) * Finish removing bucket properties and buckets (#75) Co-authored-by: Andreas Schultz <andreas.schultz@travelping.com> Co-authored-by: woelki <m_woelki14@cs.uni-kl.de> Co-authored-by: Peter Zeller <p_zeller@cs.uni-kl.de>

WoelkiM and others added 23 commits March 19, 2020 16:02

Merge pull request #1 from riak-core-lite/master

2d95798

Update Fork

Merge pull request #2 from WoelkiM/master

9bd3de8

Update branch

#38 First tests, these are not yet fully functional.

9dddb1b

quickcheck wip

cfe33f6

wip

3de9080

#38 rewrite done

78ce014

#38 update travis

54ffa3f

#38 adjust number of test executions

fdee67a

38 property based testing (#55)

c8277ff

* #38 First tests, these are not yet fully functional. * #38 rewrite done * #38 update travis * #38 adjust number of test executions Co-authored-by: Peter Zeller <p_zeller@cs.uni-kl.de>

#38 update coverage + bug fixing in riak_core_claim

a258bc0

Merge branch '38-Property-based-testing' into 38_Property_based_Testing

542f921

adapt the remaining tests

8a135f2

Merge remote-tracking branch 'origin/38_Property_based_Testing' into …

8f6e9e2

…38_Property_based_Testing # Conflicts: # test/eqc/vclock_qc.erl

Merge branch '38-Property-based-testing' into 38_Property_based_Testing

b7c646d

Adaption to lint

15a3202

restructuring of the proper tests

dd450f5

delete not needed sign

ec73c8b

Merge pull request #60 from WoelkiM/38_Property_based_Testing

560d5b5

38 property based testing

Merged master

e8464e6

Fixed plugins config and format

56fc8af

Fixed missing endif

9b32faf

Updated rebar3 version, removed unused code

ee39973

albsch added enhancement New feature or request testing labels Jul 17, 2020

bieniusa reviewed Jul 17, 2020

View reviewed changes

albsch assigned WoelkiM Jul 20, 2020

albsch added this to the Up-to-date riak_core milestone Jul 20, 2020

This was linked to issues Jul 20, 2020

Property-based Testing #38

Closed

Faults found by PropEr #59

Open

albsch removed a link to an issue Jul 21, 2020

Faults found by PropEr #59

Open

2 tasks

albsch merged commit 1e7b5e9 into master Aug 5, 2020

albsch deleted the 38-Property-based-testing branch August 28, 2020 12:25

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

38 property based testing #61

38 property based testing #61

albsch commented Jul 17, 2020 •

edited

Loading

bieniusa Jul 17, 2020

bieniusa Jul 17, 2020

bieniusa commented Jul 17, 2020

WoelkiM commented Jul 27, 2020

38 property based testing #61

38 property based testing #61

Conversation

albsch commented Jul 17, 2020 • edited Loading

bieniusa Jul 17, 2020

Choose a reason for hiding this comment

bieniusa Jul 17, 2020

Choose a reason for hiding this comment

bieniusa commented Jul 17, 2020

WoelkiM commented Jul 27, 2020

albsch commented Jul 17, 2020 •

edited

Loading