Orchestrata Ultimate › Tests › Reference › verification › requirements
Tests reference — tests/verification/requirements
tests/verification/requirements — 3 test modules, 17 test functions. Source tree: tests/verification/requirements at commit 8a2cb42ad. Generated from the tests AST snapshot by scripts/gen-data-pages.py.
Prose pending.
Modules
| Module | Tests | Covers |
|---|---|---|
test_constraint_definitions.py |
8 | 2 |
test_prolog_generator.py |
9 | 2 |
Module details
tests/verification/requirements/test_constraint_definitions.py
source · 8 tests · 75 lines
Tests for verification.requirements.constraint_definitions.
Covers: verification.requirements.constraint_definitions, verification.types
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestConstraintDefinitions |
35 | |
| method | TestConstraintDefinitions.test_functional_constraints |
36 | |
| method | TestConstraintDefinitions.test_quality_constraints |
40 | |
| method | TestConstraintDefinitions.test_performance_constraints |
44 | |
| method | TestConstraintDefinitions.test_security_constraints |
50 | |
| method | TestConstraintDefinitions.test_all_predefined |
54 | |
| method | TestConstraintDefinitions.test_get_constraints_by_type |
63 | |
| method | TestConstraintDefinitions.test_get_constraint_by_id |
69 | |
| method | TestConstraintDefinitions.test_get_constraint_by_id_missing |
74 |
tests/verification/requirements/test_prolog_generator.py
source · 9 tests · 112 lines
Tests for verification.requirements.prolog_generator.
Covers: verification.requirements.prolog_generator, verification.types
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestPrologGenerator |
29 | |
| method | TestPrologGenerator.test_generate_empty |
30 | |
| method | TestPrologGenerator.test_generate_with_constraints |
35 | |
| method | TestPrologGenerator.test_generate_performance |
54 | |
| method | TestPrologGenerator.test_generate_quality_numeric |
65 | |
| method | TestPrologGenerator.test_generate_quality_non_numeric |
76 | |
| method | TestPrologGenerator.test_generate_security |
87 | |
| method | TestPrologGenerator.test_validate_syntax_valid |
97 | |
| method | TestPrologGenerator.test_validate_syntax_invalid |
102 | |
| method | TestPrologGenerator.test_validate_syntax_module_decl |
107 |
Support files
Fixtures, package markers and helpers without test functions.