codesnippets:verificationandvalidation
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| codesnippets:verificationandvalidation [2022/10/11 09:02] – created f2b216 | codesnippets:verificationandvalidation [2025/10/08 00:48] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ===== Test Rules ===== | ===== Test Rules ===== | ||
| - | * All tests are automated by using the bash file " | + | |
| - | * The test results are written into file "TestResult.txt" in folder " | + | |
| + | * The test results are written into file "result.txt" in folder " | ||
| * Checks are conducted before dry runs of test: | * Checks are conducted before dry runs of test: | ||
| + | * All library files have a corresponding test files ("Spec _ _ _ .hs") | ||
| + | * e.g. functions in file " | ||
| + | * All test files are newer than their corresponding library files | ||
| * All functions, classes, laws of classes (if applicable) are defined by code comments | * All functions, classes, laws of classes (if applicable) are defined by code comments | ||
| - | * All functions have test tests in corresponding | + | * All tests are complete and documented according to the [[codesnippets: |
| - | * e.g. functions | + | * The file "package.yaml" |
| - | * All tests are complete | + | * The content of " |
| - | * test all functions at edge cases, and boundaries | + | * status up-to-date |
| - | * test all function properties | + | * The version number |
| - | * test all characteristics at edge cases, and boundaries | + | * The file "stack.yaml" |
| - | * test all characteristics as properties | + | * The content of " |
| - | * Checks are conducted after test: | + | * explains how to obtain, install |
| + | * has (an) up-to-date copyright year(s) | ||
| + | * The content of file " | ||
| + | * has (an) up-to-date copyright year(s) | ||
| + | * contact information still correct? | ||
| + | * Conduct automated tests | ||
| + | * Checks are conducted after automated | ||
| * File " | * File " | ||
| * executables | * executables | ||
| * libraries | * libraries | ||
| * documentation | * documentation | ||
| - | * All functions | + | * All binaries |
| - | * e.g. for the file " | + | * All library files have a corresponding |
| + | * e.g. for the file " | ||
| * All spec modules are imported and used in file " | * All spec modules are imported and used in file " | ||
| * review of Spec.hs-files (" | * review of Spec.hs-files (" | ||
| Line 28: | Line 39: | ||
| * criteria: | * criteria: | ||
| * tests for all classes, it's laws and it's functions that are validated according to Spec.hs-files are also executed | * tests for all classes, it's laws and it's functions that are validated according to Spec.hs-files are also executed | ||
| - | * All functions are in all module "Spec___.hs" | + | * All functions are in all module "Spec _ _ _ .hs" |
| * e.g. for the file " | * e.g. for the file " | ||
| + | * All functions described and hence required covered by tests or analysis. | ||
| * All tests are OK | * All tests are OK | ||
| * All results of the checks are documented in a Software Configuration File, including | * All results of the checks are documented in a Software Configuration File, including | ||
| Line 39: | Line 51: | ||
| * module names | * module names | ||
| * file checksums | * file checksums | ||
| + | |||
| ===== Pre-Release Rules ===== | ===== Pre-Release Rules ===== | ||
| - | * The copying of the software product and by-products to an online pre-release folder is executed by the bash file " | + | * The copying of the software product and by-products to an online pre-release folder is executed by the bash file ' |
| * A final end-test is executed to test | * A final end-test is executed to test | ||
| * Download procedures | * Download procedures | ||
| Line 50: | Line 63: | ||
| * Availability of licensing information | * Availability of licensing information | ||
| * Availability of disclaimers | * Availability of disclaimers | ||
| + | |||
| ===== Release Rules ===== | ===== Release Rules ===== | ||
| * After successful final end test according to the pre-release rules, | * After successful final end test according to the pre-release rules, | ||
| - | * the copying of the software product and by-products to an online release folder is executed by the bash file " | + | * the copying of the software product and by-products to an online release folder is executed by the bash file ' |
| + | ===== ✎ ===== | ||
| + | ~~DISCUSSION~~ | ||
codesnippets/verificationandvalidation.1665471771.txt.gz · Last modified: (external edit)