%% %% %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"}; _ -> test(Config, fun testX420/3, [ber]) end. testX420(Config, Rule, Opts) -> testX420:compile(Rule, [der|Opts], Config), ok = testX420:ticket7759(Rule, Config), testX420:compile(Rule, Opts, Config). 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.