%Task tests \def\testtaska{\stepcounter{testTotal}} \def\testtaskb{\stepcounter{testTotal}} \def\testtaskc{\stepcounter{testTotal}} \def\testtaskd{\stepcounter{testTotal}} \def\testtaske{\stepcounter{testTotal}} \def\testtaskf{\stepcounter{testTotal}} \def\testtaskg{\stepcounter{testTotal}} \def\testtaskh{\stepcounter{testTotal}} \def\testtaski{\stepcounter{testTotal}} \def\testtaskj{\stepcounter{testTotal}} \def\testtaskk{\stepcounter{testTotal}} \def\testtaskl{\stepcounter{testTotal}} \def\testtaskm{\stepcounter{testTotal}} \def\testtaskn{\stepcounter{testTotal}} \def\testtasko{\stepcounter{testTotal}} % message tests \def\testmessagea{\stepcounter{testTotal}} \def\testmessageb{\stepcounter{testTotal}} % resource tests \def\testresourcea{\stepcounter{testTotal}} \def\testresourceb{\stepcounter{testTotal}} \def\testresourcec{\stepcounter{testTotal}} \def\testresourced{\stepcounter{testTotal}} \def\testresourcee{\stepcounter{testTotal}} \def\testresourcef{\stepcounter{testTotal}} \def\testresourceg{\stepcounter{testTotal}} \def\testresourceh{\stepcounter{testTotal}} \def\testresourcei{\stepcounter{testTotal}} \def\testresourcej{\stepcounter{testTotal}} % statistic tool tests \def\teststatistica{\stepcounter{testTotal}} % buffer tests \def\testbuffera{\stepcounter{testTotal}} \def\testbufferb{\stepcounter{testTotal}} % end to end response time \def\testendtoenda{\stepcounter{testTotal}} \def\testendtoendb{\stepcounter{testTotal}} \def\testendtoendc{\stepcounter{testTotal}} \def\testendtoendd{\stepcounter{testTotal}} % dependency tests \def\testdependencya{\stepcounter{testTotal}} \def\testdependencyb{\stepcounter{testTotal}} \def\testdependencyc{\stepcounter{testTotal}} \def\testdependencyd{\stepcounter{testTotal}} % precedences graph tests \def\testprecedencegrapha{\stepcounter{testTotal}} \def\testprecedencegraphb{\stepcounter{testTotal}} \def\testprecedencegraphc{\stepcounter{testTotal}} \def\testprecedencegraphd{\stepcounter{testTotal}} \def\testprecedencegraphe{\stepcounter{testTotal}} \def\testprecedencegraphf{\stepcounter{testTotal}} \def\testprecedencegraphg{\stepcounter{testTotal}} % parametric tests \def\testparametrica{\stepcounter{testTotal}} \def\testparametricb{\stepcounter{testTotal}} \def\testparametricc{\stepcounter{testTotal}} \def\testparametricd{\stepcounter{testTotal}} \def\testparametrice{\stepcounter{testTotal}} \def\testparametricf{\stepcounter{testTotal}} \def\testparametricg{\stepcounter{testTotal}} \def\testparametrich{\stepcounter{testTotal}} \def\testparametrici{\stepcounter{testTotal}} \def\testparametricj{\stepcounter{testTotal}} \def\testparametrick{\stepcounter{testTotal}} \def\testparametricl{\stepcounter{testTotal}} \def\testparametricm{\stepcounter{testTotal}} \def\testparametricn{\stepcounter{testTotal}} \def\testparametrico{\stepcounter{testTotal}} \def\testparametricp{\stepcounter{testTotal}} \def\testparametricq{\stepcounter{testTotal}} \def\testparametricr{\stepcounter{testTotal}} % partition tests \def\testpartitiona{\stepcounter{testTotal}} \def\testpartitionb{\stepcounter{testTotal}} \def\testpartitionc{\stepcounter{testTotal}} \def\testpartitiond{\stepcounter{testTotal}} \def\testpartitione{\stepcounter{testTotal}} \def\testpartitionf{\stepcounter{testTotal}} \def\testpartitiong{\stepcounter{testTotal}} % automaton tests \def\testautomatona{\stepcounter{testTotal}} \def\testautomatonb{\stepcounter{testTotal}} \def\testautomatonc{\stepcounter{testTotal}} \def\testautomatond{\stepcounter{testTotal}} \def\testautomatone{\stepcounter{testTotal}} \def\testautomatonf{\stepcounter{testTotal}} \def\testautomatong{\stepcounter{testTotal}} \def\testautomatonh{\stepcounter{testTotal}} % large task set tests \def\testlargetaskseta{\stepcounter{testTotal}} \def\testlargetasksetb{\stepcounter{testTotal}} % AADL/stood tests \def\testaadla{\stepcounter{testTotal}} % conclusion \def\testconclusion { }