RequirementShow requirements and how they relate to each other and to the elements that satisfy them.Copy MarkdownView MarkdownEdgesRelations both waysOpen in Playground«satisfies»«satisfies»«derives»«refines»«Requirement»fastID1TextRenders quickly«Requirement»smallID2TextShips little code«Element»layoutTypemoduleDocumentation examples1. requirementDiagram · requirement test_req {Open in Playground«satisfies»«Requirement»test_reqID1Textthe test text.RiskHighVerificationTest«Element»test_entityTypesimulation2. requirementDiagram · requirement checkout_req {Open in Playground«contains»«satisfies»«Requirement»checkout_reqID1TextOrders must be payable online.RiskHighVerificationTest«Functional Requirement»payment_reqID1.1TextCard payments must be authorized.RiskHighVerificationTest«Element»checkout_serviceTypeservice3. requirementDiagram · requirement checkout_req {Open in Playground«contains»«satisfies»«Requirement»checkout_reqID1TextOrders must be payable online.RiskHighVerificationTest«Functional Requirement»payment_reqID1.1TextCard payments must be authorized.RiskHighVerificationTest«Element»checkout_serviceTypeservice4. requirementDiagram · requirement "__test_req__" {Open in Playground«Requirement»test_reqID1Textitalicized text bold textRiskHighVerificationTest5. requirementDiagram · requirement test_req {Open in Playground«satisfies»«traces»«contains»«contains»«derives»«refines»«verifies»«copies»«Requirement»test_reqID1Textthe test text.RiskHighVerificationTest«Functional Requirement»test_req2ID1.1Textthe second test text.RiskLowVerificationInspection«Performance Requirement»test_req3ID1.2Textthe third test text.RiskMediumVerificationDemonstration«Interface Requirement»test_req4ID1.2.1Textthe fourth test text.RiskMediumVerificationAnalysis«Physical Requirement»test_req5ID1.2.2Textthe fifth test text.RiskMediumVerificationAnalysis«Design Constraint»test_req6ID1.2.3Textthe sixth test text.RiskMediumVerificationAnalysis«Element»test_entityTypesimulation«Element»test_entity2Typeword docDoc Refreqs/test_entity«Element»test_entity3Typetest suiteDoc Refgithub.com/all_the_tests6. requirementDiagram · direction LROpen in Playground«satisfies»«Requirement»test_reqID1Textthe test text.RiskHighVerificationTest«Element»test_entityTypesimulation«satisfies»«Requirement»test_reqID1Textthe test text.RiskHighVerificationTest«Element»test_entityTypesimulation7. requirementDiagram · requirement test_req {Open in Playground«Requirement»test_reqID1Textstyling exampleRiskLowVerificationTest«Element»test_entityTypesimulation8. requirementDiagram · requirement test_req {Open in Playground«Requirement»test_reqID1Textclass styling exampleRiskLowVerificationTest«Element»test_entityTypesimulation9. requirementDiagram · requirement test_req:::important {Open in Playground«Requirement»test_reqID1Textclass styling exampleRiskLowVerificationTest«Element»test_entityTypesimulation