Component Requirements

Coverage: 88.9% (8 of 9 items OK)

[PARTIAL] TRLC Compreq SampleComponent.REQ_COMP_006

The numeric value formatter shall convert a validated numeric value manager into a human-readable string representation

---

Traces to:

• Formatter:Format

• //:sub_component_example

• //:component_example

• missing reference to Test Case Coverage

---

Derived from:

• SampleSEooC.FEAT_002

---

Source: docs/requirements/component_requirements_sub.trlc:18:18

[OK] TRLC Compreq SampleComponent.REQ_COMP_001

The numeric value management interface shall provide a read operation that returns a uint8_t value

---

Traces to:

• Foo:GetNumber

• Foo:GetNumberViaConstInstance

• SampleComponent.REQ_COMP_001

• //:component_example

---

Derived from:

• SampleSEooC.FEAT_001

---

Source: docs/requirements/component_requirements.trlc:18:18

[OK] TRLC Compreq SampleComponent.REQ_COMP_002

The numeric value management interface shall not be extensible by external code

---

Traces to:

• Foo:IsFinal

• Foo:IsFinalStaticAssert

• SampleComponent.REQ_COMP_002

• //:component_example

---

Derived from:

• SampleSEooC.FEAT_002

---

Source: docs/requirements/component_requirements.trlc:25:18

[OK] TRLC Compreq SampleComponent.REQ_COMP_003

The numeric value validator shall return a boolean result indicating whether the managed numeric value equals 42

---

Traces to:

• Bar:AssertNumber

• SampleComponent.REQ_COMP_003

• //:component_example

---

Derived from:

• SampleSEooC.FEAT_003

---

Source: docs/requirements/component_requirements.trlc:32:18

[OK] TRLC Compreq SampleComponent.REQ_COMP_004

The numeric value validator shall accept a numeric value manager instance as its sole constructor argument

---

Traces to:

• Bar:AssertNumber

• SampleComponent.REQ_COMP_004

• //:component_example

---

Derived from:

• SampleSEooC.FEAT_004

• SampleSEooC.FEAT_003

---

Source: docs/requirements/component_requirements.trlc:39:18

[OK] TRLC Compreq SampleComponent.REQ_COMP_005

The numeric value validator shall take exclusive ownership of the received numeric value manager instance

---

Traces to:

• Bar:AssertNumber

• SampleComponent.REQ_COMP_005

• //:component_example

---

Derived from:

• SampleSEooC.FEAT_004

---

Source: docs/requirements/component_requirements.trlc:46:18

[OK] TRLC Compreq SampleComponentExtra.REQ_COMP_EXTRA_001

The numeric value management interface shall return a fixed, well-defined value immediately upon construction, without requiring any prior initialization calls

---

Traces to:

• Foo:InitializesToKnownValue

• SampleComponentExtra.REQ_COMP_EXTRA_001

• //:component_example

---

Derived from:

• SampleSEooC.FEAT_001

---

Source: docs/requirements/component_requirements_extra.trlc:19:18

[OK] TRLC Compreq SampleComponentExtra.REQ_COMP_EXTRA_002

The numeric value management interface shall guarantee that the stored value is never modified after construction

---

Traces to:

• Foo:ValueConsistentAcrossReads

• SampleComponentExtra.REQ_COMP_EXTRA_002

• //:component_example

---

Derived from:

• SampleSEooC.FEAT_002

---

Source: docs/requirements/component_requirements_extra.trlc:26:18

[OK] TRLC Compreq SampleComponentExtra.REQ_COMP_EXTRA_003

The numeric value management interface shall keep its memory footprint within the 10 MB budget imposed by the underlying other_seooc dependency

---

Traces to:

• Foo:FootprintWithinBudget

• SampleComponentExtra.REQ_COMP_EXTRA_003

• //:component_example

---

Derived from:

• OtherLibrary.SpaceConstraint

• SampleSEooC.FEAT_002

---

Source: docs/requirements/component_requirements_extra.trlc:33:18