summaryrefslogtreecommitdiff
path: root/lib/ssl/test/ssl_eqc_SUITE.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ssl/test/ssl_eqc_SUITE.erl')
-rw-r--r--lib/ssl/test/ssl_eqc_SUITE.erl79
1 files changed, 71 insertions, 8 deletions
diff --git a/lib/ssl/test/ssl_eqc_SUITE.erl b/lib/ssl/test/ssl_eqc_SUITE.erl
index f7290092c0..4bfff1585e 100644
--- a/lib/ssl/test/ssl_eqc_SUITE.erl
+++ b/lib/ssl/test/ssl_eqc_SUITE.erl
@@ -20,7 +20,29 @@
-module(ssl_eqc_SUITE).
--compile(export_all).
+-behaviour(ct_suite).
+
+%% Common test
+-export([all/0,
+ init_per_suite/1,
+ init_per_testcase/2,
+ end_per_suite/1,
+ end_per_testcase/2
+ ]).
+
+%% Test cases
+-export([tls_handshake_encoding/1,
+ tls_cipher_suite_names/1,
+ tls_cipher_openssl_suite_names/1,
+ tls_anon_cipher_suite_names/1,
+ tls_anon_cipher_openssl_suite_names/1,
+ tls_unorded_chains/1,
+ tls_extraneous_chain/1,
+ tls_extraneous_chains/1,
+ tls_extraneous_and_unorder_chains/1,
+ tls_client_cert_auth/1
+ ]).
+
%%--------------------------------------------------------------------
%% Common Test interface functions -----------------------------------
%%--------------------------------------------------------------------
@@ -29,7 +51,14 @@ all() ->
[
tls_handshake_encoding,
tls_cipher_suite_names,
- tls_cipher_openssl_suite_names
+ tls_cipher_openssl_suite_names,
+ tls_anon_cipher_suite_names,
+ tls_anon_cipher_openssl_suite_names,
+ tls_unorded_chains,
+ tls_extraneous_chain,
+ tls_extraneous_chains,
+ tls_extraneous_and_unorder_chains,
+ tls_client_cert_auth
].
%%--------------------------------------------------------------------
@@ -38,12 +67,6 @@ init_per_suite(Config) ->
end_per_suite(Config) ->
Config.
-init_per_group(_GroupName, Config) ->
- Config.
-
-end_per_group(_,Config) ->
- Config.
-
init_per_testcase(_, Config0) ->
Config0.
@@ -68,3 +91,43 @@ tls_cipher_openssl_suite_names(Config) when is_list(Config) ->
%% manual test: proper:quickcheck(ssl_eqc_handshake:prop_tls_cipher_suite_openssl_name()).
true = ct_property_test:quickcheck(ssl_eqc_cipher_format:prop_tls_cipher_suite_openssl_name(),
Config).
+tls_anon_cipher_suite_names(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_cipher_format:prop_tls_cipher_suite_rfc_name()).
+ true = ct_property_test:quickcheck(ssl_eqc_cipher_format:prop_tls_anon_cipher_suite_rfc_name(),
+ Config).
+
+tls_anon_cipher_openssl_suite_names(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_handshake:prop_tls_cipher_suite_openssl_name()).
+ true = ct_property_test:quickcheck(ssl_eqc_cipher_format:prop_tls_anon_cipher_suite_openssl_name(),
+ Config).
+
+tls_unorded_chains(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_chain:prop_tls_ordered_path("/tmp")
+ ssl:start(),
+ PrivDir = proplists:get_value(priv_dir, Config),
+ true = ct_property_test:quickcheck(ssl_eqc_chain:prop_tls_unordered_path(PrivDir),
+ Config).
+
+tls_extraneous_chain(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_chain:prop_tls_ordered_path("/tmp")
+ ssl:start(),
+ PrivDir = proplists:get_value(priv_dir, Config),
+ true = ct_property_test:quickcheck(ssl_eqc_chain:prop_tls_extraneous_path(PrivDir),
+ Config).
+
+tls_extraneous_chains(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_chain:prop_tls_ordered_path()
+ ssl:start(),
+ true = ct_property_test:quickcheck(ssl_eqc_chain:prop_tls_extraneous_paths(),
+ Config).
+tls_extraneous_and_unorder_chains(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_chain:prop_tls_ordered_path()
+ ssl:start(),
+ true = ct_property_test:quickcheck(ssl_eqc_chain:prop_tls_extraneous_and_unordered_path(),
+ Config).
+
+tls_client_cert_auth(Config) when is_list(Config) ->
+ %% manual test: proper:quickcheck(ssl_eqc_chain:prop_client_cert_auth()
+ ssl:start(),
+ true = ct_property_test:quickcheck(ssl_eqc_chain:prop_client_cert_auth(),
+ Config).