Package-level declarations
This package contains the tests viewpoint for RobotControlUnit.
Tests Check Results
All severities: 0 total / 0 without filed issue · Critical: 0 total / 0 without filed issue · High: 0 total / 0 without filed issue · Moderate: 0 total / 0 without filed issue · Low: 0 total / 0 without filed issue
| Rule | Findings | Findings without filed issue |
|---|---|---|
HIGH descriptionDefinedInTestsPackage Tests entity has no required description | 0 | 0 |
MODERATE forbiddenWordsInTests Tests entity contains forbidden wording | 0 | 0 |
HIGH nameDefinedInTestsPackage Tests entity has no required name | 0 | 0 |
HIGH nonTestsEntityInTestsPackage Entity uses the wrong viewpoint package (Tests) | 0 | 0 |
HIGH testCaseAllocationConsistency Test case exercises none of its verified requirements' allocated elements | 0 | 0 |
HIGH testCaseAsilDefined Test case has no ASIL | 0 | 0 |
HIGH testCaseContainerElementDefined Test specification has no subject element | 0 | 0 |
HIGH testCaseElementUnderTest Test case identifies no element under test | 0 | 0 |
MODERATE testCaseGivenWhenThen Test case omits the required Given–When–Then sequence | 0 | 0 |
HIGH testCaseInterfacesUnderTest Test case identifies no interface under test | 0 | 0 |
HIGH testCaseMustLiveInTestCaseContainer Test case lacks a containing test specification | 0 | 0 |
HIGH testCaseTraceability Test case has no trace to an element, interface, or requirement | 0 | 0 |
HIGH testCaseVerifiesRequirement Test case identifies no requirement to verify | 0 | 0 |
MODERATE testsClassInstance Tests class has no instance property in its file | 0 | 0 |
MODERATE testsClassPascalCase Tests class name violates PascalCase | 0 | 0 |
MODERATE testsClassesTopLevel Tests class is nested inside another declaration | 0 | 0 |
MODERATE testsObjectCamelCase Tests instance name violates camelCase | 0 | 0 |
More complete diagnostic records and evidence are available locally on the build machine (not published), at repository-relative path systems/robot-control-unit/build/docs/com.example.stig.systems.robot-control-unit--model-check-results.json.