%%
%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2001-2013. All Rights Reserved.
%%
%% The contents of this file are subject to the Erlang Public License,
%% Version 1.1, (the "License"); you may not use this file except in
%% compliance with the License. You should have received a copy of the
%% Erlang Public License along with this software. If not, it can be
%% retrieved online at http://www.erlang.org/.
%%
%% Software distributed under the License is distributed on an "AS IS"
%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
%% the License for the specific language governing rights and limitations
%% under the License.
%%
%% %CopyrightEnd%
%%
%% Purpose: Test suite for the ASN.1 application
-module(asn1_SUITE).
-define(only_ber(Func),
if Rule =:= ber -> Func;
true -> ok
end).
-compile(export_all).
-include_lib("test_server/include/test_server.hrl").
%%------------------------------------------------------------------------------
%% Suite definition
%%------------------------------------------------------------------------------
suite() -> [{ct_hooks, [ts_install_cth]}].
all() ->
[{group, compile},
{group, parallel},
{group, app_test},
{group, appup_test},
% TODO: Investigate parallel running of these:
testComment,
testName2Number,
ticket_7407,
ticket7904,
{group, performance}].
groups() ->
[{compile, parallel([]),
[c_syntax,
c_string,
c_implicit_before_choice,
constraint_equivalence]},
{ber, parallel([]),
[ber_choiceinseq,
% Uses 'SOpttest'
ber_optional]},
{app_test, [], [{asn1_app_test, all}]},
{appup_test, [], [{asn1_appup_test, all}]},
{parallel, parallel([]),
[cover,
xref,
{group, ber},
% Uses 'P-Record', 'Constraints', 'MEDIA-GATEWAY-CONTROL'...
{group, [], [parse,
test_undecoded_rest,
specialized_decodes,
special_decode_performance,
testMegaco,
testConstraints,
testCompactBitString]},
default,
% Uses 'Def', 'MULTIMEDIA-SYSTEM-CONTROL', 'H323-MESSAGES', 'Prim',
% 'Real'
{group, [], [testPrim,
rtUI,
testPrimStrings,
per,
ber_other,
der,
h323test]},
testChoPrim,
testChoExtension,
testChoOptional,
testChoRecursive,
testChoTypeRefCho,
testChoTypeRefPrim,
testChoTypeRefSeq,
testChoTypeRefSet,
testMultipleLevels,
testDef,
testOpt,
testSeqDefault,
% Uses 'External'
{group, [], [testExternal,
testSeqExtension]},
testSeqOptional,
testSeqPrim,
testSeqTypeRefCho,
% Uses 'SeqTypeRefPrim'
{group, [], [testSeqTypeRefPrim,
testTypeValueNotation]},
testSeqTypeRefSeq,
testSeqTypeRefSet,
% Uses 'SeqOf'
{group, [], [testSeqOf,
testSeqOfIndefinite]}, % Uses 'Mvrasn*'
testSeqOfCho,
testSetDefault,
testExtensionAdditionGroup,
testSetOptional,
testSetPrim,
testSetTypeRefCho,
testSetTypeRefPrim,
testSetTypeRefSeq,
testSetTypeRefSet,
testSetOf,
testSetOfCho,
testEnumExt,
value_test,
testSeq2738,
% Uses 'Constructed'
{group, [], [constructed,
ber_decode_error]},
testSeqSetIndefinite,
testChoiceIndefinite,
per_open_type,
testInfObjectClass,
testParameterizedInfObj,
testFragmented,
testMergeCompile,
testobj,
testDeepTConstr,
testExport,
testImport,
% Uses 'ParamBasic'
{group, [], [testParamBasic,
testDER]},
testMvrasn6,
testContextSwitchingTypes,
testOpenTypeImplicitTag,
duplicate_tags,
testROSE,
testINSTANCE_OF,
testTCAP,
test_ParamTypeInfObj,
test_Defed_ObjectIdentifier,
testSelectionType,
testSSLspecs,
testNortel,
% Uses 'PKCS7', 'InformationFramework'
{group, [], [test_WS_ParamClass,
test_modified_x420,
testX420]},
testTcapsystem,
testNBAPsystem,
testS1AP,
test_compile_options,
testDoubleEllipses,
test_x691,
ticket_6143,
test_OTP_9688]},
{performance, [],
[testTimer_ber,
testTimer_per,
testTimer_uper]}].
parallel(Options) ->
case erlang:system_info(smp_support) andalso
erlang:system_info(schedulers) > 1 of
true -> [parallel|Options];
false -> Options
end.
%%------------------------------------------------------------------------------
%% Init/end
%%------------------------------------------------------------------------------
init_per_suite(Config) ->
Config.
end_per_suite(_Config) ->
ok.
init_per_group(_GroupName, Config) ->
Config.
end_per_group(_GroupName, Config) ->
Config.
init_per_testcase(Func, Config) ->
CaseDir = filename:join(?config(priv_dir, Config), Func),
ok = filelib:ensure_dir(filename:join([CaseDir, dummy_file])),
true = code:add_patha(CaseDir),
Dog = case Func of
testX420 -> ct:timetrap({minutes, 90});
_ -> ct:timetrap({minutes, 60})
end,
[{case_dir, CaseDir}, {watchdog, Dog}|Config].
end_per_testcase(_Func, Config) ->
code:del_path(?config(case_dir, Config)).
%%------------------------------------------------------------------------------
%% Test runners
%%------------------------------------------------------------------------------
test(Config, TestF) ->
test(Config, TestF, [per,
uper,
ber]).
test(Config, TestF, Rules) ->
Fun = fun(C, R, O) ->
M = element(2, erlang:fun_info(TestF, module)),
F = element(2, erlang:fun_info(TestF, name)),
io:format("Running ~p:~p with ~p...~n", [M, F, {R, O}]),
try
TestF(C, R, O)
catch
Class:Reason ->
NewReason = {Reason, [{rule, R}, {options, O}]},
erlang:raise(Class, NewReason,
erlang:get_stacktrace())
end
end,
Result = [run_case(Config, Fun, rule(Rule), opts(Rule)) || Rule <- Rules],
case lists:usort(Result) of
[true|_Skips] -> true; % At least one test ran
Skips -> {skip, [R || {skip, R} <- Skips]} % All skipped
end.
rule(A) when is_atom(A) -> A;
rule({A, _Opts} ) -> A.
opts(Rule) when is_atom(Rule) -> [];
opts({_Rule, Opts}) -> Opts.
run_case(Config, Fun, Rule, Opts) ->
CaseDir = ?config(case_dir, Config),
Dir = filename:join([CaseDir, join(Rule, Opts)]),
ok = filelib:ensure_dir(filename:join([Dir, dummy_file])),
replace_path(CaseDir, Dir),
NewConfig = lists:keyreplace(case_dir, 1, Config, {case_dir, Dir}),
% Run the actual test function
Result = Fun(NewConfig, Rule, Opts),
replace_path(Dir, CaseDir),
case Result of
{skip, _Reason} -> Result;
_ -> true
end.
replace_path(PathA, PathB) ->
true = code:del_path(PathA),
true = code:add_patha(PathB).
join(Rule, Opts) ->
string:join([atom_to_list(Rule)|lists:map(fun atom_to_list/1, Opts)], "_").
%%------------------------------------------------------------------------------
%% Test cases
%%------------------------------------------------------------------------------
%% Cover run-time functions that are only called by the ASN.1 compiler
%% (if any).
cover(_) ->
Wc = filename:join([code:lib_dir(asn1),"ebin","asn1ct_eval_*.beam"]),
Beams = filelib:wildcard(Wc),
true = Beams =/= [],
[begin
M0 = filename:basename(Beam),
M1 = filename:rootname(M0),
M = list_to_atom(M1),
"asn1ct_eval_" ++ Group0 = M1,
Group = list_to_atom(Group0),
io:format("%%\n"
"%% ~s\n"
"%%\n", [M]),
asn1ct_func:start_link(),
[asn1ct_func:need({Group,F,A}) ||
{F,A} <- M:module_info(exports), F =/= module_info],
asn1ct_func:generate(group_leader())
end || Beam <- Beams],
ok.
testPrim(Config) -> test(Config, fun testPrim/3).
testPrim(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["Prim", "Real"], Config, [Rule|Opts]),
testPrim:bool(Rule),
testPrim:int(Rule),
testPrim:enum(Rule),
testPrim:obj_id(Rule),
testPrim:rel_oid(Rule),
testPrim:null(Rule),
testPrim:real(Rule).
testCompactBitString(Config) -> test(Config, fun testCompactBitString/3).
testCompactBitString(Config, Rule, Opts) ->
asn1_test_lib:compile("PrimStrings", Config,
[Rule, compact_bit_string|Opts]),
testCompactBitString:compact_bit_string(Rule),
testCompactBitString:bit_string_unnamed(Rule),
testCompactBitString:bit_string_unnamed(Rule),
testCompactBitString:ticket_7734(Rule),
asn1_test_lib:compile("Constraints", Config,
[Rule, compact_bit_string|Opts]),
testCompactBitString:otp_4869(Rule).
testPrimStrings(Config) -> test(Config, fun testPrimStrings/3).
testPrimStrings(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["PrimStrings", "BitStr"], Config, [Rule|Opts]),
testPrimStrings_cases(Rule),
asn1_test_lib:compile_all(["PrimStrings", "BitStr"], Config,
[legacy_bit_string,Rule|Opts]),
testPrimStrings:bit_string(Rule),
asn1_test_lib:compile_all(["PrimStrings", "BitStr"], Config,
[compact_bit_string,Rule|Opts]),
testPrimStrings:bit_string(Rule),
testPrimStrings:more_strings(Rule).
testPrimStrings_cases(Rule) ->
testPrimStrings:bit_string(Rule),
testPrimStrings:octet_string(Rule),
testPrimStrings:numeric_string(Rule),
testPrimStrings:other_strings(Rule),
testPrimStrings:universal_string(Rule),
testPrimStrings:bmp_string(Rule),
testPrimStrings:times(Rule),
testPrimStrings:utf8_string(Rule),
testPrimStrings:fragmented(Rule).
testExternal(Config) -> test(Config, fun testExternal/3).
testExternal(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["External",
"ChoExternal",
"PrimExternal",
"SeqExternal",
"SeqOfExternal",
"SeqOfTag",
"SeqTag",
"SetExtension",
"SetExternal",
"SetOfExternal",
"SetOfTag",
"SetTag"],
Config, [Rule|Opts]),
testChoExternal:external(Rule),
testPrimExternal:external(Rule),
testSeqExternal:main(Rule),
testSeqOfExternal:main(Rule),
testSeqOfTag:main(Rule),
testSeqTag:main(Rule),
testSetExtension:main(Rule),
testSetExternal:main(Rule),
testSetOfExternal:main(Rule),
testSetOfTag:main(Rule),
testSetTag:main(Rule).
testChoPrim(Config) -> test(Config, fun testChoPrim/3).
testChoPrim(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoPrim", Config, [Rule|Opts]),
testChoPrim:bool(Rule),
testChoPrim:int(Rule).
testChoExtension(Config) -> test(Config, fun testChoExtension/3).
testChoExtension(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoExtension", Config, [Rule|Opts]),
testChoExtension:extension(Rule).
testChoOptional(Config) -> test(Config, fun testChoOptional/3).
testChoOptional(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["ChoOptional",
"ChoOptionalImplicitTag"], Config, [Rule|Opts]),
testChoOptional:run().
testChoRecursive(Config) -> test(Config, fun testChoRecursive/3).
testChoRecursive(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoRecursive", Config, [Rule|Opts]),
testChoRecursive:recursive(Rule).
testChoTypeRefCho(Config) -> test(Config, fun testChoTypeRefCho/3).
testChoTypeRefCho(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoTypeRefCho", Config, [Rule|Opts]),
testChoTypeRefCho:choice(Rule).
testChoTypeRefPrim(Config) -> test(Config, fun testChoTypeRefPrim/3).
testChoTypeRefPrim(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoTypeRefPrim", Config, [Rule|Opts]),
testChoTypeRefPrim:prim(Rule).
testChoTypeRefSeq(Config) -> test(Config, fun testChoTypeRefSeq/3).
testChoTypeRefSeq(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoTypeRefSeq", Config, [Rule|Opts]),
testChoTypeRefSeq:seq(Rule).
testChoTypeRefSet(Config) -> test(Config, fun testChoTypeRefSet/3).
testChoTypeRefSet(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoTypeRefSet", Config, [Rule|Opts]),
testChoTypeRefSet:set(Rule).
testMultipleLevels(Config) -> test(Config, fun testMultipleLevels/3).
testMultipleLevels(Config, Rule, Opts) ->
asn1_test_lib:compile("MultipleLevels", Config, [Rule|Opts]),
testMultipleLevels:main(Rule).
testDef(Config) -> test(Config, fun testDef/3).
testDef(Config, Rule, Opts) ->
asn1_test_lib:compile("Def", Config, [Rule|Opts]),
testDef:main(Rule).
testOpt(Config) -> test(Config, fun testOpt/3).
testOpt(Config, Rule, Opts) ->
asn1_test_lib:compile("Opt", Config, [Rule|Opts]),
testOpt:main(Rule).
testEnumExt(Config) -> test(Config, fun testEnumExt/3).
testEnumExt(Config, Rule, Opts) ->
asn1_test_lib:compile("EnumExt", Config, [Rule|Opts]),
testEnumExt:main(Rule).
%% Test of OTP-2523 ENUMERATED with extensionmark.
testSeqDefault(Config) -> test(Config, fun testSeqDefault/3).
testSeqDefault(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqDefault", Config, [Rule|Opts]),
testSeqDefault:main(Rule).
testSeqExtension(Config) -> test(Config, fun testSeqExtension/3, [ber,uper]).
testSeqExtension(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["External",
"SeqExtension",
"SeqExtension2"],
Config,
[Rule|Opts]),
DataDir = ?config(data_dir, Config),
testSeqExtension:main(Rule, DataDir, [Rule|Opts]).
testSeqOptional(Config) -> test(Config, fun testSeqOptional/3).
testSeqOptional(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqOptional", Config, [Rule|Opts]),
testSeqOptional:main(Rule).
testSeqPrim(Config) -> test(Config, fun testSeqPrim/3).
testSeqPrim(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqPrim", Config, [Rule|Opts]),
testSeqPrim:main(Rule).
%% Test of OTP-2738 Detect corrupt optional component.
testSeq2738(Config) -> test(Config, fun testSeq2738/3).
testSeq2738(Config, Rule, Opts) ->
asn1_test_lib:compile("Seq2738", Config, [Rule|Opts]),
testSeq2738:main(Rule).
testSeqTypeRefCho(Config) -> test(Config, fun testSeqTypeRefCho/3).
testSeqTypeRefCho(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqTypeRefCho", Config, [Rule|Opts]),
testSeqTypeRefCho:main(Rule).
testSeqTypeRefPrim(Config) -> test(Config, fun testSeqTypeRefPrim/3).
testSeqTypeRefPrim(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqTypeRefPrim", Config, [Rule|Opts]),
testSeqTypeRefPrim:main(Rule).
testSeqTypeRefSeq(Config) -> test(Config, fun testSeqTypeRefSeq/3).
testSeqTypeRefSeq(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqTypeRefSeq", Config, [Rule|Opts]),
testSeqTypeRefSeq:main(Rule).
testSeqTypeRefSet(Config) -> test(Config, fun testSeqTypeRefSet/3).
testSeqTypeRefSet(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqTypeRefSet", Config, [Rule|Opts]),
testSeqTypeRefSet:main(Rule).
testSeqOf(Config) -> test(Config, fun testSeqOf/3).
testSeqOf(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["SeqOf", "SeqOfEnum", "XSeqOf"], Config,
[Rule|Opts]),
testSeqOf:main(Rule).
testSeqOfCho(Config) -> test(Config, fun testSeqOfCho/3).
testSeqOfCho(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqOfCho", Config, [Rule|Opts]),
testSeqOfCho:main(Rule).
testSeqOfIndefinite(Config) ->
test(Config, fun testSeqOfIndefinite/3, [ber]).
testSeqOfIndefinite(Config, Rule, Opts) ->
Files = ["Mvrasn-Constants-1", "Mvrasn-DataTypes-1", "Mvrasn-21-4",
"Mvrasn-20-4", "Mvrasn-19-4", "Mvrasn-18-4", "Mvrasn-17-4",
"Mvrasn-15-4", "Mvrasn-14-4", "Mvrasn-11-4", "SeqOf"],
asn1_test_lib:compile_all(Files, Config, [Rule|Opts]),
testSeqOfIndefinite:main().
testSetDefault(Config) -> test(Config, fun testSetDefault/3).
testSetDefault(Config, Rule, Opts) ->
asn1_test_lib:compile("SetDefault", Config, [Rule|Opts]),
testSetDefault:main(Rule).
testParamBasic(Config) -> test(Config, fun testParamBasic/3).
testParamBasic(Config, Rule, Opts) ->
asn1_test_lib:compile("ParamBasic", Config, [Rule|Opts]),
testParamBasic:main(Rule).
testSetOptional(Config) -> test(Config, fun testSetOptional/3).
testSetOptional(Config, Rule, Opts) ->
asn1_test_lib:compile("SetOptional", Config, [Rule|Opts]),
testSetOptional:ticket_7533(Rule),
testSetOptional:main(Rule).
testSetPrim(Config) -> test(Config, fun testSetPrim/3).
testSetPrim(Config, Rule, Opts) ->
asn1_test_lib:compile("SetPrim", Config, [Rule|Opts]),
testSetPrim:main(Rule).
testSetTypeRefCho(Config) -> test(Config, fun testSetTypeRefCho/3).
testSetTypeRefCho(Config, Rule, Opts) ->
asn1_test_lib:compile("SetTypeRefCho", Config, [Rule|Opts]),
testSetTypeRefCho:main(Rule).
testSetTypeRefPrim(Config) -> test(Config, fun testSetTypeRefPrim/3).
testSetTypeRefPrim(Config, Rule, Opts) ->
asn1_test_lib:compile("SetTypeRefPrim", Config, [Rule|Opts]),
testSetTypeRefPrim:main(Rule).
testSetTypeRefSeq(Config) -> test(Config, fun testSetTypeRefSeq/3).
testSetTypeRefSeq(Config, Rule, Opts) ->
asn1_test_lib:compile("SetTypeRefSeq", Config, [Rule|Opts]),
testSetTypeRefSeq:main(Rule).
testSetTypeRefSet(Config) -> test(Config, fun testSetTypeRefSet/3).
testSetTypeRefSet(Config, Rule, Opts) ->
asn1_test_lib:compile("SetTypeRefSet", Config, [Rule|Opts]),
testSetTypeRefSet:main(Rule).
testSetOf(Config) -> test(Config, fun testSetOf/3).
testSetOf(Config, Rule, Opts) ->
asn1_test_lib:compile("SetOf", Config, [Rule|Opts]),
testSetOf:main(Rule).
testSetOfCho(Config) -> test(Config, fun testSetOfCho/3).
testSetOfCho(Config, Rule, Opts) ->
asn1_test_lib:compile("SetOfCho", Config, [Rule|Opts]),
testSetOfCho:main(Rule).
c_syntax(Config) ->
DataDir = ?config(data_dir, Config),
[{error, _} = asn1ct:compile(filename:join(DataDir, F))
|| F <-["Syntax",
"BadTypeEnding",
"BadValueAssignment1",
"BadValueAssignment2",
"BadValueSet",
"ChoiceBadExtension",
"EnumerationBadExtension",
"Example",
"Export1",
"MissingEnd",
"SequenceBadComma",
"SequenceBadComponentName",
"SequenceBadComponentType",
"SeqBadComma"]].
c_string(Config) ->
test(Config, fun c_string/3).
c_string(Config, Rule, Opts) ->
asn1_test_lib:compile("String", Config, [Rule|Opts]),
asn1ct:test('String').
c_implicit_before_choice(Config) ->
test(Config, fun c_implicit_before_choice/3, [ber]).
c_implicit_before_choice(Config, Rule, Opts) ->
DataDir = ?config(data_dir, Config),
CaseDir = ?config(case_dir, Config),
{error, _R2} = asn1ct:compile(filename:join(DataDir, "CCSNARG3"),
[Rule, {outdir, CaseDir}|Opts]).
constraint_equivalence(Config) ->
DataDir = ?config(data_dir, Config),
CaseDir = ?config(case_dir, Config),
Asn1Spec = "ConstraintEquivalence",
Asn1Src = filename:join(DataDir, Asn1Spec),
ok = asn1ct:compile(Asn1Src, [abs,{outdir,CaseDir}]),
AbsFile = filename:join(CaseDir, Asn1Spec++".abs"),
{ok,Terms} = file:consult(AbsFile),
Cs = [begin
Constraints = element(4, Type),
Name1 = atom_to_list(Name0),
{Name,_} = lists:splitwith(fun(C) -> C =/= $X end, Name1),
{Name,Constraints}
end || {typedef,_,_,Name0,Type} <- Terms],
R = sofs:relation(Cs, [{name,constraint}]),
F0 = sofs:relation_to_family(R),
F = sofs:to_external(F0),
Diff = [E || {_,L}=E <- F, length(L) > 1],
case Diff of
[] ->
ok;
[_|_] ->
io:put_chars("Not equivalent:\n"),
[io:format("~s: ~p\n", [N,D]) || {N,D} <- Diff],
test_server:fail(length(Diff))
end.
parse(Config) ->
[asn1_test_lib:compile(M, Config, [abs]) || M <- test_modules()].
per(Config) ->
test(Config, fun per/3, [per,uper]).
per(Config, Rule, Opts) ->
[module_test(M, Config, Rule, Opts) || M <- per_modules()].
ber_other(Config) ->
test(Config, fun ber_other/3, [ber]).
ber_other(Config, Rule, Opts) ->
[module_test(M, Config, Rule, Opts) || M <- ber_modules()].
der(Config) ->
asn1_test_lib:compile_all(ber_modules(), Config, [der]).
module_test(M, Config, Rule, Opts) ->
asn1_test_lib:compile(M, Config, [Rule|Opts]),
case asn1ct:test(list_to_atom(M), [{i, ?config(case_dir, Config)}]) of
ok -> ok;
Error ->
erlang:error({test_failed, M, Opts, Error})
end.
ber_choiceinseq(Config) ->
test(Config, fun ber_choiceinseq/3, [ber]).
ber_choiceinseq(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoiceInSeq", Config, [Rule|Opts]).
ber_optional(Config) ->
test(Config, fun ber_optional/3, [ber]).
ber_optional(Config, Rule, Opts) ->
asn1_test_lib:compile("SOpttest", Config, [Rule|Opts]),
V = {'S', {'A', 10, asn1_NOVALUE, asn1_NOVALUE},
{'B', asn1_NOVALUE, asn1_NOVALUE, asn1_NOVALUE},
{'C', asn1_NOVALUE, 111, asn1_NOVALUE}},
asn1_test_lib:roundtrip('SOpttest', 'S', V).
%% records used by test-case default
-record('Def1', {bool0,
bool1 = asn1_DEFAULT,
bool2 = asn1_DEFAULT,
bool3 = asn1_DEFAULT}).
default(Config) -> test(Config, fun default/3).
default(Config, Rule, Opts) ->
asn1_test_lib:compile("Def", Config, [Rule|Opts]),
asn1_test_lib:roundtrip('Def',
'Def1',
#'Def1'{bool0=true},
#'Def1'{bool0=true,bool1=false,
bool2=false,bool3=false}),
asn1_test_lib:roundtrip('Def',
'Def1',
#'Def1'{bool0=true,bool2=false},
#'Def1'{bool0=true,bool1=false,
bool2=false,bool3=false}).
value_test(Config) -> test(Config, fun value_test/3).
value_test(Config, Rule, Opts) ->
asn1_test_lib:compile("ObjIdValues", Config, [Rule|Opts]),
{ok, _} = asn1ct:test('ObjIdValues', 'ObjIdType',
'ObjIdValues':'mobileDomainId'()).
constructed(Config) ->
test(Config, fun constructed/3, [ber]).
constructed(Config, Rule, Opts) ->
asn1_test_lib:compile("Constructed", Config, [Rule|Opts]),
<<40,3,1,1,0>> =
asn1_test_lib:roundtrip_enc('Constructed', 'S', {'S',false}),
<<40,5,48,3,1,1,0>> =
asn1_test_lib:roundtrip_enc('Constructed', 'S2', {'S2',false}),
<<136,1,10>> =
asn1_test_lib:roundtrip_enc('Constructed', 'I', 10),
ok.
ber_decode_error(Config) ->
test(Config, fun ber_decode_error/3, [ber]).
ber_decode_error(Config, Rule, Opts) ->
asn1_test_lib:compile("Constructed", Config, [Rule|Opts]),
ber_decode_error:run(Opts).
h323test(Config) -> test(Config, fun h323test/3).
h323test(Config, Rule, Opts) ->
Files = ["H235-SECURITY-MESSAGES", "H323-MESSAGES",
"MULTIMEDIA-SYSTEM-CONTROL"],
asn1_test_lib:compile_all(Files, Config, [Rule|Opts]),
h323test:run(Rule).
per_open_type(Config) -> test(Config, fun per_open_type/3, [per]).
per_open_type(Config, Rule, Opts) ->
asn1_test_lib:compile("OpenType", Config, [Rule|Opts]),
{ok, _} = asn1ct:test('OpenType', 'Ot', {'Stype', 10, true}).
testConstraints(Config) -> test(Config, fun testConstraints/3).
testConstraints(Config, Rule, Opts) ->
asn1_test_lib:compile("Constraints", Config, [Rule|Opts]),
asn1_test_lib:compile("LargeConstraints", Config, [Rule|Opts]),
testConstraints:int_constraints(Rule),
case Rule of
ber -> ok;
_ -> testConstraints:refed_NNL_name(Rule)
end.
testSeqSetIndefinite(Config) ->
test(Config, fun testSeqSetIndefinite/3, [ber]).
testSeqSetIndefinite(Config, Rule, Opts) ->
asn1_test_lib:compile("SeqSetIndefinite", Config, [Rule|Opts]),
testSeqSetIndefinite:main().
testChoiceIndefinite(Config) ->
test(Config, fun testChoiceIndefinite/3, [ber]).
testChoiceIndefinite(Config, Rule, Opts) ->
asn1_test_lib:compile("ChoiceIndef", Config, [Rule|Opts]),
testChoiceIndefinite:main(Rule).
testInfObjectClass(Config) -> test(Config, fun testInfObjectClass/3).
testInfObjectClass(Config, Rule, Opts) ->
Files = ["ErrorClass", "InfClass"],
InfObjFiles = ["RANAPextract1", "InfObj", "MAP-ExtensionDataTypes",
"Objects", "INAPv2extract"],
RANAPFiles = ["RANAP-CommonDataTypes", "RANAP-Constants",
"RANAP-Containers", "RANAP-IEs", "RANAP-PDU-Contents",
"RANAP-PDU-Descriptions"],
asn1_test_lib:compile_all(Files ++ InfObjFiles ++ RANAPFiles, Config,
[Rule|Opts]),
testInfObjectClass:main(Rule),
testInfObj:main(Rule).
testParameterizedInfObj(Config) ->
test(Config, fun testParameterizedInfObj/3).
testParameterizedInfObj(Config, Rule, Opts) ->
Files = ["Param","Param2"],
asn1_test_lib:compile_all(Files, Config, [Rule|Opts]),
testParameterizedInfObj:main(Config, Rule).
testFragmented(Config) ->
test(Config, fun testFragmented/3).
testFragmented(Config, Rule, Opts) ->
asn1_test_lib:compile("Fragmented", Config, [Rule|Opts]),
testFragmented:main(Rule).
testMergeCompile(Config) -> test(Config, fun testMergeCompile/3).
testMergeCompile(Config, Rule, Opts) ->
Files = ["MS.set.asn", "RANAPSET.set.asn1", "Mvrasn4.set.asn",
"Mvrasn6.set.asn"],
asn1_test_lib:compile_all(Files, Config, [Rule|Opts]),
testMergeCompile:main(Rule),
testMergeCompile:mvrasn(Rule).
testobj(Config) -> test(Config, fun testobj/3).
testobj(Config, Rule, Opts) ->
asn1_test_lib:compile("RANAP", Config, [Rule|Opts]),
asn1_test_lib:compile_erlang("testobj", Config, []),
ok = testobj:run(),
ok = testParameterizedInfObj:ranap(Rule).
testDeepTConstr(Config) -> test(Config, fun testDeepTConstr/3).
testDeepTConstr(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["TConstrChoice", "TConstr"], Config,
[Rule|Opts]),
testDeepTConstr:main(Rule).
testExport(Config) ->
{error, _} =
asn1ct:compile(filename:join(?config(data_dir, Config),
"IllegalExport"),
[{outdir, ?config(case_dir, Config)}]).
testImport(Config) ->
test(Config, fun testImport/3).
testImport(Config, Rule, Opts) ->
{error, _} = asn1ct:compile(filename:join(?config(data_dir, Config),
"ImportsFrom"),
[Rule, {outdir, ?config(priv_dir, Config)}
|Opts]).
testMegaco(Config) -> test(Config, fun testMegaco/3).
testMegaco(Config, Rule, Opts) ->
{ok, Module1, Module2} = testMegaco:compile(Config, Rule, Opts),
ok = testMegaco:main(Module1, Config),
ok = testMegaco:main(Module2, Config).
testMvrasn6(Config) -> test(Config, fun testMvrasn6/3).
testMvrasn6(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["Mvrasn-21-4", "Mvrasn-20-6", "Mvrasn-19-6",
"Mvrasn-15-6", "Mvrasn-18-6", "Mvrasn-14-6",
"Mvrasn-11-6"], Config, [Rule|Opts]).
testContextSwitchingTypes(Config) ->
test(Config, fun testContextSwitchingTypes/3).
testContextSwitchingTypes(Config, Rule, Opts) ->
asn1_test_lib:compile("ContextSwitchingTypes", Config, [Rule|Opts]),
testContextSwitchingTypes:test(Config).
testTypeValueNotation(Config) -> test(Config, fun testTypeValueNotation/3).
testTypeValueNotation(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["SeqTypeRefPrim", "ValueTest"], Config,
[Rule|Opts]),
testTypeValueNotation:main(Rule, Opts).
testOpenTypeImplicitTag(Config) ->
test(Config, fun testOpenTypeImplicitTag/3).
testOpenTypeImplicitTag(Config, Rule, Opts) ->
asn1_test_lib:compile("OpenTypeImplicitTag", Config, [Rule|Opts]),
testOpenTypeImplicitTag:main(Rule).
duplicate_tags(Config) ->
DataDir = ?config(data_dir, Config),
CaseDir = ?config(case_dir, Config),
{error, [{error, {type, _, _, 'SeqOpt1Imp',
{asn1, {duplicates_of_the_tags, _}}}}]} =
asn1ct:compile(filename:join(DataDir, "SeqOptional2"),
[abs, {outdir, CaseDir}]).
rtUI(Config) -> test(Config, fun rtUI/3).
rtUI(Config, Rule, Opts) ->
asn1_test_lib:compile("Prim", Config, [Rule|Opts]),
{ok, _} = asn1rt:info('Prim'),
Rule = 'Prim':encoding_rule(),
io:format("Default BIT STRING format: ~p\n",
['Prim':bit_string_format()]).
testROSE(Config) -> test(Config, fun testROSE/3).
testROSE(Config, Rule, Opts) ->
asn1_test_lib:compile("Remote-Operations-Merged.set.asn1", Config,
[Rule|Opts]).
testINSTANCE_OF(Config) -> test(Config, fun testINSTANCE_OF/3).
testINSTANCE_OF(Config, Rule, Opts) ->
asn1_test_lib:compile("INSTANCEOF.asn1", Config, [Rule|Opts]),
testINSTANCE_OF:main(Rule).
testTCAP(Config) ->
test(Config, fun testTCAP/3).
testTCAP(Config, Rule, Opts) ->
testTCAP:compile(Config, [Rule|Opts]),
testTCAP:test(Rule, Config),
case Rule of
ber ->
testTCAP:compile_asn1config(Config, [Rule, asn1config]),
testTCAP:test_asn1config();
_ -> ok
end.
testDER(Config) ->
test(Config, fun testDER/3, [ber]).
testDER(Config, Rule, Opts) ->
asn1_test_lib:compile("DERSpec", Config, [Rule, der|Opts]),
testDER:test(),
asn1_test_lib:compile("ParamBasic", Config, [Rule, der|Opts]),
testParamBasic:main(der),
asn1_test_lib:compile("Default", Config, [Rule, der|Opts]),
testSeqSetDefaultVal:main(Rule).
specialized_decodes(Config) ->
test(Config, fun specialized_decodes/3, [ber]).
specialized_decodes(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["PartialDecSeq.asn",
"PartialDecSeq2.asn",
"PartialDecSeq3.asn",
"PartialDecMyHTTP.asn",
"MEDIA-GATEWAY-CONTROL.asn",
"P-Record"],
Config, [Rule, asn1config|Opts]),
test_partial_incomplete_decode:test(Config),
test_selective_decode:test().
special_decode_performance(Config) ->
test(Config, fun special_decode_performance/3, [ber]).
special_decode_performance(Config, Rule, Opts) ->
Files = ["MEDIA-GATEWAY-CONTROL", "PartialDecSeq"],
asn1_test_lib:compile_all(Files, Config, [Rule, asn1config|Opts]),
test_special_decode_performance:go(all).
test_ParamTypeInfObj(Config) ->
asn1_test_lib:compile("IN-CS-1-Datatypes", Config, [ber]).
test_WS_ParamClass(Config) -> test(Config, fun test_WS_ParamClass/3).
test_WS_ParamClass(Config, Rule, Opts) ->
asn1_test_lib:compile("InformationFramework", Config, [Rule|Opts]),
?only_ber(testWSParamClass:main(Rule)),
ok.
test_Defed_ObjectIdentifier(Config) ->
test(Config, fun test_Defed_ObjectIdentifier/3).
test_Defed_ObjectIdentifier(Config, Rule, Opts) ->
asn1_test_lib:compile("UsefulDefinitions", Config, [Rule|Opts]).
testSelectionType(Config) -> test(Config, fun testSelectionType/3).
testSelectionType(Config, Rule, Opts) ->
asn1_test_lib:compile("SelectionType", Config, [Rule|Opts]),
testSelectionTypes:test().
testSSLspecs(Config) ->
test(Config, fun testSSLspecs/3, [ber]).
testSSLspecs(Config, Rule, Opts) ->
ok = testSSLspecs:compile(Config,
[Rule, compact_bit_string, der|Opts]),
testSSLspecs:run(Rule),
ok = testSSLspecs:compile_combined(Config, Rule),
ok = testSSLspecs:run_combined(Rule).
testNortel(Config) -> test(Config, fun testNortel/3).
testNortel(Config, Rule, Opts) ->
asn1_test_lib:compile("Nortel", Config, [Rule|Opts]).
test_undecoded_rest(Config) -> test(Config, fun test_undecoded_rest/3).
test_undecoded_rest(Config, Rule, Opts) ->
asn1_test_lib:compile("P-Record", Config, [Rule|Opts]),
ok = test_undecoded_rest:test([], Config),
asn1_test_lib:compile("P-Record", Config, [Rule,undec_rest|Opts]),
test_undecoded_rest:test(undec_rest, Config).
testTcapsystem(Config) ->
test(Config, fun testTcapsystem/3).
testTcapsystem(Config, Rule, Opts) ->
testTcapsystem:compile(Config, [Rule|Opts]).
testNBAPsystem(Config) -> test(Config, fun testNBAPsystem/3, [per]).
testNBAPsystem(Config, Rule, Opts) ->
testNBAPsystem:compile(Config, [Rule|Opts]),
testNBAPsystem:test(Rule, Config).
testS1AP(Config) -> test(Config, fun testS1AP/3).
testS1AP(Config, Rule, Opts) ->
S1AP = ["S1AP-CommonDataTypes",
"S1AP-Constants",
"S1AP-Containers",
"S1AP-IEs",
"S1AP-PDU-Contents",
"S1AP-PDU-Descriptions"],
asn1_test_lib:compile_all(S1AP, Config, [Rule|Opts]),
%% OTP-7876.
case Rule of
per ->
Enc = <<0,2,64,49,0,0,5,0,0,0,4,128,106,56,197,0,8,0,3,64,2,134,0,
100,64,8,0,66,240,153,0,7,192,16,0,67,64,6,0,66,240,153,70,
1,0,107,64,5,0,0,0,0,0>>,
{ok,{initiatingMessage,_}} = 'S1AP-PDU-Descriptions':decode('S1AP-PDU', Enc);
uper ->
ok;
ber ->
ok
end.
test_compile_options(Config) ->
ok = test_compile_options:wrong_path(Config),
ok = test_compile_options:path(Config),
ok = test_compile_options:noobj(Config),
ok = test_compile_options:record_name_prefix(Config),
ok = test_compile_options:verbose(Config),
ok = test_compile_options:warnings_as_errors(Config).
testDoubleEllipses(Config) -> test(Config, fun testDoubleEllipses/3).
testDoubleEllipses(Config, Rule, Opts) ->
asn1_test_lib:compile("DoubleEllipses", Config, [Rule|Opts]),
testDoubleEllipses:main(Rule).
test_modified_x420(Config) ->
test(Config, fun test_modified_x420/3, [ber]).
test_modified_x420(Config, Rule, Opts) ->
Files = [filename:join(modified_x420, F) || F <- ["PKCS7",
"InformationFramework",
"AuthenticationFramework"]],
asn1_test_lib:compile_all(Files, Config, [Rule,der|Opts]),
test_modified_x420:test(Config).
testX420() ->
[{timetrap,{minutes,90}}].
testX420(Config) ->
case erlang:system_info(system_architecture) of
"sparc-sun-solaris2.10" ->
{skip,"Too slow for an old Sparc"};
_ ->
Rule = ber,
testX420:compile(Rule, [der], Config),
ok = testX420:ticket7759(Rule, Config)
end.
test_x691(Config) ->
test(Config, fun test_x691/3, [per, uper]).
test_x691(Config, Rule, Opts) ->
Files = ["P-RecordA1", "P-RecordA2", "P-RecordA3"],
asn1_test_lib:compile_all(Files, Config, [Rule|Opts]),
test_x691:cases(Rule),
%% OTP-7708.
asn1_test_lib:compile("EUTRA-extract-55", Config, [Rule|Opts]),
%% OTP-7763.
Val = {'Seq',15,lists:duplicate(8, 0),[0],lists:duplicate(28, 0),15,true},
CompactVal = {'Seq',15,{0,<<0>>},{7,<<0>>},{4,<<0,0,0,0>>},15,true},
{ok,Bin} = 'EUTRA-extract-55':encode('Seq', Val),
{ok,Bin} = 'EUTRA-extract-55':encode('Seq', CompactVal),
%% OTP-7678.
asn1_test_lib:compile("UPERDefault", Config, [Rule|Opts]),
DefVal = 'UPERDefault':seq(),
{ok,DefBin} = 'UPERDefault':encode('Seq', DefVal),
{ok,DefVal} = 'UPERDefault':decode('Seq', DefBin),
case Rule of
uper -> <<0,6,0>> = DefBin;
_ -> ok
end,
ok.
ticket_6143(Config) ->
ok = test_compile_options:ticket_6143(Config).
testExtensionAdditionGroup(Config) ->
test(Config, fun testExtensionAdditionGroup/3).
testExtensionAdditionGroup(Config, Rule, Opts) ->
asn1_test_lib:compile("Extension-Addition-Group", Config, [Rule|Opts]),
asn1_test_lib:compile_erlang("extensionAdditionGroup", Config,
[debug_info]),
asn1_test_lib:compile("EUTRA-RRC-Definitions", Config,
[Rule,{record_name_prefix,"RRC-"}|Opts]),
extensionAdditionGroup:run(Rule).
% parse_modules() ->
% ["ImportsFrom"].
per_modules() ->
[X || X <- test_modules()].
ber_modules() ->
[X || X <- test_modules(),
X =/= "H323-MESSAGES",
X =/= "H235-SECURITY-MESSAGES"].
test_modules() ->
["BitStr",
"CAP",
"CommonDataTypes",
"Constraints",
"ContextSwitchingTypes",
"DS-EquipmentUser-CommonFunctionOrig-TransmissionPath",
"Enum",
"From",
"H235-SECURITY-MESSAGES",
"H323-MESSAGES",
"Import",
"Int",
"MAP-commonDataTypes",
"Null",
"NullTest",
"Octetstr",
"One",
"P-Record",
"P",
"Person",
"PrimStrings",
"Real",
"XSeq",
"XSeqOf",
"XSet",
"XSetOf",
"String",
"SwCDR",
"Time",
"SeqSetLib", % must be compiled before Seq and Set
"Seq",
"Set",
"SetOf",
"SeqOf",
"Prim",
"Cho",
"Def",
"Opt",
"ELDAPv3",
"LDAP"].
test_OTP_9688(Config) ->
PrivDir = ?config(case_dir, Config),
Data = "
OTP-9688 DEFINITIONS ::= BEGIN
foo INTEGER ::= 1
bar INTEGER ::= 42
Baz ::= INTEGER {x-y-z1(foo), x-y-z2(bar)}
Qux ::= SEQUENCE {flerpInfo SEQUENCE {x INTEGER (-10 | -9 | (0..4))} OPTIONAL}
END
",
File = filename:join(PrivDir, "OTP-9688.asn1"),
ok = file:write_file(File, Data),
%% Does it compile with changes to asn1ct_check and asn1ct_gen_per_rt2ct?
%% (see ticket)
ok = asn1ct:compile(File, [{outdir, PrivDir}]).
timer_compile(Config, Rule, Opts) ->
asn1_test_lib:compile_all(["H235-SECURITY-MESSAGES", "H323-MESSAGES"],
Config, [Rule|Opts]).
testTimer_ber(Config) ->
timer_compile(Config,ber,[]),
testTimer:go(Config,ber).
testTimer_per(Config) ->
timer_compile(Config,per,[]),
testTimer:go(Config,per).
testTimer_uper(Config) ->
timer_compile(Config,uper,[]),
{comment,_} = testTimer:go(Config,uper).
%% Test of multiple-line comment, OTP-8043
testComment(suite) -> [];
testComment(Config) ->
asn1_test_lib:compile("Comment", Config, []),
asn1_test_lib:roundtrip('Comment', 'Seq', {'Seq',12,true}).
testName2Number(suite) -> [];
testName2Number(Config) ->
N2NOptions = [{n2n,Type} || Type <- ['CauseMisc', 'CauseProtocol',
'CauseRadioNetwork',
'CauseTransport','CauseNas']],
asn1_test_lib:compile("S1AP-IEs", Config, N2NOptions),
0 = 'S1AP-IEs':name2num_CauseMisc('control-processing-overload'),
'unknown-PLMN' = 'S1AP-IEs':num2name_CauseMisc(5),
%% OTP-10144
%% Test that n2n option generates name2num and num2name functions supporting
%% values not within the extension root if the enumeration type has an
%% extension marker.
N2NOptionsExt = [{n2n, 'NoExt'}, {n2n, 'Ext'}, {n2n, 'Ext2'}],
asn1_test_lib:compile("EnumN2N", Config, N2NOptionsExt),
%% Previously, name2num and num2name was not generated if the type didn't
%% have an extension marker:
0 = 'EnumN2N':name2num_NoExt('blue'),
2 = 'EnumN2N':name2num_NoExt('green'),
blue = 'EnumN2N':num2name_NoExt(0),
green = 'EnumN2N':num2name_NoExt(2),
%% Test enumeration extension:
7 = 'EnumN2N':name2num_Ext2('orange'),
orange = 'EnumN2N':num2name_Ext2(7),
%% 7 is not defined in Ext, only in Ext2.
{asn1_enum, 7} = 'EnumN2N':num2name_Ext(7),
7 = 'EnumN2N':name2num_Ext({asn1_enum, 7}),
42 = 'EnumN2N':name2num_Ext2({asn1_enum, 42}),
ok.
ticket_7407(Config) ->
asn1_test_lib:compile("EUTRA-extract-7407", Config, [uper]),
ticket_7407_code(true),
asn1_test_lib:compile("EUTRA-extract-7407", Config, [uper,no_final_padding]),
ticket_7407_code(false).
ticket_7407_code(FinalPadding) ->
Msg1 = {Type1,_} = eutra1(msg),
{ok,B1} = 'EUTRA-extract-7407':encode(Type1, Msg1),
B1 = eutra1(result, FinalPadding),
Msg2 = {Type2,_} = eutra2(msg),
{ok,B2} = 'EUTRA-extract-7407':encode(Type2, Msg2),
B2 = eutra2(result, FinalPadding),
ok.
eutra1(msg) ->
{'BCCH-BCH-Message',
{'MasterInformationBlock',[0,1,0,1],[1,0,1,0],
{'PHICH-Configuration',short,ffs},[1,0,1,0,0,0,0,0]}}.
eutra1(result, true) ->
<<90,80,0>>;
eutra1(result, false) ->
<<90,80,0:1>>.
eutra2(msg) ->
{'BCCH-DL-SCH-Message',
{c1,
{systemInformation1,
{'SystemInformationBlockType1',
{'SystemInformationBlockType1_cellAccessRelatedInformation',
[{'SystemInformationBlockType1_cellAccessRelatedInformation_plmn-IdentityList_SEQOF',
{'PLMN-Identity'},true},
{'SystemInformationBlockType1_cellAccessRelatedInformation_plmn-IdentityList_SEQOF',
{'PLMN-Identity'},false},
{'SystemInformationBlockType1_cellAccessRelatedInformation_plmn-IdentityList_SEQOF',
{'PLMN-Identity'},true}],
{'TrackingAreaCode'},
{'CellIdentity'},
false,
true,
true,
true
},
{'SystemInformationBlockType1_cellSelectionInfo',-50},
24,
[{'SystemInformationBlockType1_schedulinInformation_SEQOF',
{'SystemInformationBlockType1_schedulinInformation_SEQOF_si-MessageType'},
ms320,
{'SystemInformationBlockType1_schedulinInformation_SEQOF_sib-MappingInfo'}}],
0
}
}
}
}.
eutra2(result, true) ->
%% 55 5C A5 E0
<<85,92,165,224>>;
eutra2(result, false) ->
<<85,92,165,14:4>>.
-record('InitiatingMessage',{procedureCode,criticality,value}).
-record('Iu-ReleaseCommand',{first,second}).
ticket7904(Config) ->
asn1_test_lib:compile("RANAPextract1", Config, [per]),
Val1 = #'InitiatingMessage'{procedureCode=1,
criticality=ignore,
value=#'Iu-ReleaseCommand'{
first=13,
second=true}},
{ok,_} = 'RANAPextract1':encode('InitiatingMessage', Val1),
{ok,_} = 'RANAPextract1':encode('InitiatingMessage', Val1).
xref(_Config) ->
xref:start(s),
xref:set_default(s, [{verbose,false},{warnings,false},{builtins,true}]),
Test = filename:dirname(code:which(?MODULE)),
{ok,_PMs} = xref:add_directory(s, Test),
UnusedExports = "X - XU - asn1_appup_test - asn1_app_test - \".*_SUITE\" : Mod",
case xref:q(s, UnusedExports) of
{ok,[]} ->
ok;
{ok,[_|_]=Res} ->
io:format("Exported, but unused: ~p\n", [Res]),
?t:fail()
end.
