Differences

This shows you the differences between two versions of the page.

--- codesnippets:testingconventions [2022/04/08 17:55] – [Modules] f2b216
+++ codesnippets:testingconventions [2025/10/08 00:48] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 ====== Testing conventions ======
-~~DISCUSSION~~
 ===== Setup with stack =====
@@ Line 298: / Line 297: @@
     * the complete set of possible test values/data is used in unit tests,
     * or values for all possible equivalence classes are used
-    * or ramdom sample values/data from complete set of possible values/data is used in case of high-volume cases (QuickCheck)
+    * or random sample values/data from complete set of possible values/data is used in case of high-volume cases (QuickCheck)
   * independence:
-    * test method is independent from library functions that are under test,
+    * test methods are independent functions within the same library,
-    * or dependent on tested functions
+    * unless they depend on independent tested functions (if dependencies are not cyclic)
-  * boundaries:
+  * edge cases:
-    * corner cases and boundaries are tested by unit tests (HUnit)
+    * edge cases are tested by unit tests (HUnit)
   * conform doc.:
     * all tests are conform to documentation, e.g. source code comments by haddock)
-After checking the abovementioned criteria, the result is documented as source code comment:
+After checking the above mentioned criteria, the result is documented as source code comment:
   * <code>
-{-  f1
+{-  * validated: ✅
-    * validated: ✅
         * completeness: ✅
         * independence: ✅
-        * boundaries  : ✅
+        * edge cases  : ✅
         * conform doc.: ✅ -}
 tgUnitf1 :: T.TestTree
@@ Line 347: / Line 345: @@
 After checking the abovementioned criteria, the result is documented as source code comment:
   * <code>
-{-  class A
+{-  * validated: ✅
-    * validated: ✅
         * documented: ✅
           * laws             : ✅
@@ Line 410: / Line 407: @@
 </code>
+===== ✎ =====
+~~DISCUSSION~~