Difference between revisions of "Test-Suite Template"

From ApCoCoAWiki
m
 
(11 intermediate revisions by 3 users not shown)
Line 3: Line 3:
  
 
==A template for a test-suite==
 
==A template for a test-suite==
Your test should be named like the corresponding package and file ending should be .ts
+
Please respect the following points when writing a test-suite for your package:
 +
*Create a package and name it like the corresponding package, with file ending .ts instead of the usual .cpkg
 +
*Define a function for every test you want to realize.
 +
*Name the functions as follows:
 +
  Test<PackageName><MyTestName>()
 +
*Every function realizes <b>EXACTLY</b> one test.
 +
*A test can <b>FAIL</b> or <b>SUCCEED</b>. The test fails iff the test functions throws an error. To this end, use the AssertXY functions defined in assert.cpkg as much as is sensible. Note, that your test functions do not return anything.
 +
*If you miss some AssertXY function, add it to assert.cpkg.
 +
*You are free to add an arbitrary number of helper functions to your test-suite, just make sure that their names <b>DO NOT</b> start with 'Test'.
  
  -- Test suite for "package name" <br>
+
The following code shows a template for an apcocoa test package. You can find further examples of already existing test-suites in <em>packages/apcocoa/ts</em> of your ApCoCoA directory.
   Alias TSL := $ts/ts_lib;
+
   Package $apcocoa/ts/template <br>
  -------------------------------
+
    Define Initialize()
  -- TEST 01:<br>
+
      -- e.g. initialize variables, that you want to use for all of your tests
  Test := Record[Id = "package_01", Descr = "your description"];<br>
+
    EndDefine; <br>
  Test.Input :="
+
    Define TestTemplate01() -- 1st test <br>
  ''CoCoAL-code to test''
+
      TestRing::=QQ[x,y,z]; <br>
  ";<br>
+
      Using TestRing Do
  Test.ExpectedOutput :="
+
        $apcocoa/ts/assert.AssertTrue(x=x, "x does not equal x.");
  ''Output of ApCoCoA after executing the code above''
+
      EndUsing; <br>
  ";<br>
+
    EndDefine; <br>
  TSL.RegisterTest(Test);<br>
+
    Define TestTemplate02() -- 2nd test <br>
  -------------------------------
+
      TestRing::=ZZ/(2)[x[1..5]]; <br>
  -- TEST 02:<br>
+
      Using TestRing Do
  Test := Record[Id = "package_02", Descr = "your description"];<br>
+
        -- implementation of another test
  Test.Input :="
+
      EndUsing; <br>
  ''CoCoAL-code to test''
+
    EndDefine; <br>
  ";<br>
+
    -- TestTemplate03() and so on.. <br>
  Test.ExpectedOutput :="
+
   EndPackage;
  ''Output of ApCoCoA after executing the code above''
 
  ";<br>
 
  TSL.RegisterTest(Test);
 
   -------------------------------
 
  ...
 
  
==Adding your test-suite to the file apcocoats.cpkg==
+
==Starting your tests==
To add your new test to the complete ApCoCoA-test-suite, you have to add some lines to the file apcocoats.cpkg, This file can be found in the /apcocoa/ts directory.
+
To run all the tests defined in a test-package, call
Insert 3 lines like this:
+
  $apcocoa/ts/aunit.RegisterTests("template");
 +
  $apcocoa/ts/aunit.RunTests();
 +
To run just a single test, call TODO.
  
  Print "package_name.ts";
+
==Assert functions==
  Source CocoaPackagePath()+"/ts/package_name.ts";
+
The following assert functions exist by now.
  TSL.Do();
 
  
to the function RunTests() in the apcocoats package
+
*[[AssertTrue]]
 +
*[[AssertEqualsExact]]
 +
*[[AssertEqualsNumericalNumber]]
 +
*[[AssertEqualsNumericalMatrix]]
 +
*[[AssertEqualsNumericalPoly]]
 +
*[[AssertEqualsListOfNumericalPoly]]

Latest revision as of 18:03, 22 June 2010

Testing an ApCoCoA-Package

This page explains how to create a test-suite for your package. Testing is important to make sure, that your package is still working correctly, when something in ApCoCoA or the ApCoCoALib changes.

A template for a test-suite

Please respect the following points when writing a test-suite for your package:

  • Create a package and name it like the corresponding package, with file ending .ts instead of the usual .cpkg
  • Define a function for every test you want to realize.
  • Name the functions as follows:
 Test<PackageName><MyTestName>()
  • Every function realizes EXACTLY one test.
  • A test can FAIL or SUCCEED. The test fails iff the test functions throws an error. To this end, use the AssertXY functions defined in assert.cpkg as much as is sensible. Note, that your test functions do not return anything.
  • If you miss some AssertXY function, add it to assert.cpkg.
  • You are free to add an arbitrary number of helper functions to your test-suite, just make sure that their names DO NOT start with 'Test'.

The following code shows a template for an apcocoa test package. You can find further examples of already existing test-suites in packages/apcocoa/ts of your ApCoCoA directory.

 Package $apcocoa/ts/template 
Define Initialize() -- e.g. initialize variables, that you want to use for all of your tests EndDefine;
Define TestTemplate01() -- 1st test
TestRing::=QQ[x,y,z];
Using TestRing Do $apcocoa/ts/assert.AssertTrue(x=x, "x does not equal x."); EndUsing;
EndDefine;
Define TestTemplate02() -- 2nd test
TestRing::=ZZ/(2)[x[1..5]];
Using TestRing Do -- implementation of another test EndUsing;
EndDefine;
-- TestTemplate03() and so on..
EndPackage;

Starting your tests

To run all the tests defined in a test-package, call

 $apcocoa/ts/aunit.RegisterTests("template");
 $apcocoa/ts/aunit.RunTests(); 

To run just a single test, call TODO.

Assert functions

The following assert functions exist by now.