| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Sections.TraceabilityMandGs
Contents
Description
Defines functions used to create the Traceability Matrices and Graphs section.
Synopsis
- generateTraceTable :: SystemInformation -> LabelledContent
- traceMatAssumpAssump :: TraceConfig
- traceMatAssumpOther :: TraceConfig
- traceMatRefinement :: TraceConfig
- traceMatOtherReq :: SystemInformation -> TraceConfig
- traceMatStandard :: SystemInformation -> [TraceConfig]
- tvAssumps :: TraceViewCat
- tvDataDefns :: TraceViewCat
- tvGenDefns :: TraceViewCat
- tvTheoryModels :: TraceViewCat
- tvInsModels :: TraceViewCat
- tvGoals :: TraceViewCat
- tvReqs :: TraceViewCat
- tvChanges :: TraceViewCat
Main Functions
generateTraceTable :: SystemInformation -> LabelledContent Source #
Makes a Traceability Table/Matrix that contains Items of Different Sections.
traceMatAssumpAssump :: TraceConfig Source #
Assumptions on the assumptions of a traceability matrix.
traceMatAssumpOther :: TraceConfig Source #
Other assumptions of the traceability matrix
traceMatRefinement :: TraceConfig Source #
Refinement of the traceability matrix.
traceMatOtherReq :: SystemInformation -> TraceConfig Source #
Records other requirements. Converts the SystemInformation into a TraceConfig.
traceMatStandard :: SystemInformation -> [TraceConfig] Source #
Helpers to check if given argument has more than one peice of information
Contains traceability matrix assumptions, other assumptions, refinement, and other requirements.