File 3131-public_key-update-tests-to-not-depend-on-y... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 3131-public_key-update-tests-to-not-depend-on-year.patch of Package erlang (Revision f08c7ff65135b092146ca407088fbaae)

Currently displaying revision f08c7ff65135b092146ca407088fbaae , Show latest

From b298acd84cadb51b8902ffdf0c8bb43b9dcefadc Mon Sep 17 00:00:00 2001
From: Kiko Fernandez-Reyes <kiko@erlang.org>
Date: Tue, 10 Jan 2023 08:59:48 +0100
Subject: [PATCH] public_key: update tests to not depend on year

---
 lib/public_key/test/pubkey_cert_SUITE.erl | 166 ++++++++++++++--------
 1 file changed, 108 insertions(+), 58 deletions(-)

diff --git a/lib/public_key/test/pubkey_cert_SUITE.erl b/lib/public_key/test/pubkey_cert_SUITE.erl
index 0bf7ffe313..6d568ab48b 100644
--- a/lib/public_key/test/pubkey_cert_SUITE.erl
+++ b/lib/public_key/test/pubkey_cert_SUITE.erl
@@ -38,10 +38,12 @@ groups() ->
 
 time_str_two_gregorian() ->
     [ time_str_2_gregorian_utc_post2000
-    , time_str_2_gregorian_utc_limit_pre2000
-    , time_str_2_gregorian_utc_limit_post2000
-    , time_str_2_gregorian_generaltime_pre2000
-    , time_str_2_gregorian_generaltime_post2000
+    , time_str_2_gregorian_utc_limit_50_years_before_current_time
+    , time_str_2_gregorian_utc_limit_51_years_before_current_time
+    , time_str_2_gregorian_utc_limit_50_years_from_current_time
+    , time_str_2_gregorian_utc_limit_49_years_from_current_time
+    , time_str_2_gregorian_generaltime_50_years_before_current_time
+    , time_str_2_gregorian_generaltime_50_years_from_current_time
     ].
 
 %%--------------------------------------------------------------------
@@ -60,69 +62,117 @@ time_str_2_gregorian_utc_post2000(_) ->
     {ExpectedDate, _} = calendar:gregorian_seconds_to_datetime(Result).
 
 
-time_str_2_gregorian_utc_limit_pre2000() ->
-    [{doc, "Tests a valid gregorian Utc time"}].
-time_str_2_gregorian_utc_limit_pre2000(_) ->
-    YYMMDD = "720101",
-    HHMMSSZ = "000000Z",
-    ExpectedYear = 1972,
-    UtcTime = {utcTime, YYMMDD ++ HHMMSSZ},
-    {ExpectedDate, _} = convert_to_datetime_format(UtcTime, ExpectedYear),
+time_str_2_gregorian_utc_limit_50_years_before_current_time() ->
+    [{doc, "Tests limit of gregorian Utc time 50 years before current time"}].
+time_str_2_gregorian_utc_limit_50_years_before_current_time(_) ->
+    {ExpectedDate, UtcTime} = get_date(utcTime, -50),
+    Result = pubkey_cert:time_str_2_gregorian_sec(UtcTime),
+    {ExpectedDate, _} = calendar:gregorian_seconds_to_datetime(Result).
 
+time_str_2_gregorian_utc_limit_51_years_before_current_time() ->
+    [{doc, "Tests limit of gregorian Utc time 51 years before current time"}].
+time_str_2_gregorian_utc_limit_51_years_before_current_time(_) ->
+    {{Y, M, D}, UtcTime} = get_date(utcTime, -51),
+    Result = pubkey_cert:time_str_2_gregorian_sec(UtcTime),
+    %% the sliding window method from pubkey_cert reaches its limit and
+    %% reverses the year from 19XX to 20XX. Because of this, the expected
+    %% year is current_year + 50, or ExpectedYear + 100 (they are equivalent)
+    ExpectedYear = Y + 100,
+    {{ExpectedYear, M, D}, _} = calendar:gregorian_seconds_to_datetime(Result).
+
+time_str_2_gregorian_utc_limit_50_years_from_current_time() ->
+    [{doc, "Tests a valid gregorian Utc time 50 years from now"}].
+time_str_2_gregorian_utc_limit_50_years_from_current_time(_) ->
+    {{Y, M, D}, UtcTime} = get_date(utcTime, 50),
+    Result = pubkey_cert:time_str_2_gregorian_sec(UtcTime),
+    %% the sliding window method from pubkey_cert reaches its limit and
+    %% reverses the year from 20XX to 19XX. Because of this, the expected
+    %% year is current_year - 50, or ExpectedYear - 100 (they are equivalent)
+    ExpectedYear = Y - 100,
+    {{ExpectedYear, M, D}, _} = calendar:gregorian_seconds_to_datetime(Result).
+
+time_str_2_gregorian_utc_limit_49_years_from_current_time() ->
+    [{doc, "Tests a valid gregorian Utc time 49 years from now"}].
+time_str_2_gregorian_utc_limit_49_years_from_current_time(_) ->
+    {ExpectedDate, UtcTime} = get_date(utcTime, 49),
     Result = pubkey_cert:time_str_2_gregorian_sec(UtcTime),
     {ExpectedDate, _} = calendar:gregorian_seconds_to_datetime(Result).
 
 
-time_str_2_gregorian_utc_limit_post2000() ->
-    [{doc, "Tests a valid gregorian Utc time"}].
-time_str_2_gregorian_utc_limit_post2000(_) ->
-    YYMMDD = "710101",
-    HHMMSSZ = "000000Z",
-    ExpectedYear = 2071,
-    UtcTime = {utcTime, YYMMDD ++ HHMMSSZ},
-    {ExpectedDate, _} = convert_to_datetime_format(UtcTime, ExpectedYear),
-
+time_str_2_gregorian_generaltime_50_years_before_current_time() ->
+    [{doc, "Tests a valid general time 50 years before current time"}].
+time_str_2_gregorian_generaltime_50_years_before_current_time(_) ->
+    {ExpectedDate, UtcTime} = get_date(generalTime, -50),
     Result = pubkey_cert:time_str_2_gregorian_sec(UtcTime),
     {ExpectedDate, _} = calendar:gregorian_seconds_to_datetime(Result).
 
 
-time_str_2_gregorian_generaltime_pre2000() ->
-    [{doc, "Tests a valid gregorian Utc time"}].
-time_str_2_gregorian_generaltime_pre2000(_) ->
-    [Year | _]=YYMMDD = ["1972", "01", "01"],
-    HHMMSSZ = "000000Z",
-    GeneralTime = {generalTime, lists:flatten(YYMMDD) ++ HHMMSSZ},
-    {ExpectedYear, _} = convert_to_datetime_format(GeneralTime
-                                                  , erlang:list_to_integer(Year)),
-
-    Result = pubkey_cert:time_str_2_gregorian_sec(GeneralTime),
-    {ExpectedYear, _} = calendar:gregorian_seconds_to_datetime(Result).
+time_str_2_gregorian_generaltime_50_years_from_current_time() ->
+    [{doc, "Tests a valid general time 50 years from now"}].
+time_str_2_gregorian_generaltime_50_years_from_current_time(_) ->
+    {ExpectedDate, UtcTime} = get_date(generalTime, 50),
+    Result = pubkey_cert:time_str_2_gregorian_sec(UtcTime),
+    {ExpectedDate, _} = calendar:gregorian_seconds_to_datetime(Result).
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Helper functions
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+-spec convert_to_datetime_format({Format, Date}, ExpectedYear) -> Result when
+      Format :: generalTime | utcTime,
+      Date :: YYMMDDHHMMSS | YYYYMMDDHHMMSS,
+      YYMMDDHHMMSS :: string(),
+      YYYYMMDDHHMMSS :: string(),
+      ExpectedYear :: non_neg_integer(),
+      Result :: {{non_neg_integer(), 1..12, 1..31}, {0, 0, 0}}.
+convert_to_datetime_format({Format, Date}, ExpectedYear) ->
+    YYMMDD = group_year(Format, Date),
+    [Y, M, D] = lists:map(fun (Str) -> erlang:list_to_integer(Str) end, YYMMDD),
+    %% assertions to test that the result is the expected one
+    case Format of
+        utcTime -> (ExpectedYear rem 100) =:= Y;
+        generalTime -> ExpectedYear =:= Y
+    end,
+    {{ExpectedYear, M, D}, {0, 0, 0}}.
 
-time_str_2_gregorian_generaltime_post2000() ->
-    [{doc, "Tests a valid gregorian Utc time"}].
-time_str_2_gregorian_generaltime_post2000(_) ->
-    [Year | _]=YYMMDD = ["2045", "01", "01"],
+-spec get_date(Format, YearsFromNow) -> {{Year, Month, Day}, UtcDate} when
+      Format :: utcTime | generalTime,
+      YearsFromNow :: integer(),
+      Year :: non_neg_integer(),
+      Month :: 1..12,
+      Day :: 1..31,
+      UtcDate :: string().
+get_date(Format, Years) ->
+    {YYYY, MM0, DD0} = date(),
+    MM = io_lib:format("~2..0w", [MM0]),
+    DD = io_lib:format("~2..0w", [DD0]),
+    ExpectedYear = YYYY + Years,
+    YYMMDD = format_year(Format, ExpectedYear, {MM, DD}),
     HHMMSSZ = "000000Z",
-    GeneralTime = {generalTime, lists:flatten(YYMMDD) ++ HHMMSSZ},
-    {ExpectedYear, _} = convert_to_datetime_format(GeneralTime
-                                                  , erlang:list_to_integer(Year)),
-
-    Result = pubkey_cert:time_str_2_gregorian_sec(GeneralTime),
-    {ExpectedYear, _} = calendar:gregorian_seconds_to_datetime(Result).
-
-
-convert_to_datetime_format({utcTime, [Y1, Y2, M1, M2, D1, D2 | _]}, ExpectedYear) ->
-    YYMMDD = [[Y1, Y2], [M1, M2], [D1, D2]],
-    [Y, M, D] = lists:map(fun (Str) -> erlang:list_to_integer(Str) end
-                         , YYMMDD),
-    case (ExpectedYear rem 100) =:= Y of
-        true -> {{ExpectedYear, M, D}, {0, 0, 0}};
-        false -> error
-    end;
-
-convert_to_datetime_format({generalTime, [Y1, Y2, Y3, Y4, M1, M2, D1, D2 | _]}, ExpectedYear) ->
-    YYMMDD = [[Y1, Y2, Y3, Y4], [M1, M2], [D1, D2]],
-    [ExpectedYear, M, D] = lists:map(fun (Str) -> erlang:list_to_integer(Str) end
-                                    , YYMMDD),
-    {{ExpectedYear, M, D}, {0, 0, 0}}.
+    FormattedTime = {Format, YYMMDD ++ HHMMSSZ},
+    {ExpectedDate, _} = convert_to_datetime_format(FormattedTime, ExpectedYear),
+    {ExpectedDate, FormattedTime}.
+
+-spec format_year(Format, ExpectedYear, {Month, Day}) -> YYMMDD | YYYYMMDD when
+      Format :: utcTime | generalTime,
+      ExpectedYear :: non_neg_integer(),
+      Month :: string(),
+      Day :: string(),
+      YYMMDD :: string(),
+      YYYYMMDD :: string().
+format_year(utcTime, ExpectedYear, {MM, DD}) ->
+    YY = erlang:integer_to_list((ExpectedYear) rem 100),
+    lists:flatten(YY++MM++DD);
+format_year(generalTime, ExpectedYear, {MM, DD}) ->
+    YY = erlang:integer_to_list(ExpectedYear),
+    lists:flatten(YY++MM++DD).
+
+-spec group_year(Format, Date) -> [list()] when
+      Format :: utcTime | generalTime,
+      Date :: [non_neg_integer()].
+group_year(utcTime, [Y1, Y2, M1, M2, D1, D2 | _]) ->
+    [[Y1, Y2], [M1, M2], [D1, D2]];
+group_year(generalTime, [Y1, Y2, Y3, Y4, M1, M2, D1, D2 | _]) ->
+    [[Y1, Y2, Y3, Y4], [M1, M2], [D1, D2]].
-- 
2.35.3

Places

File 3131-public_key-update-tests-to-not-depend-on-year.patch of Package erlang (Revision f08c7ff65135b092146ca407088fbaae)

Places