Test Case Coverage

Coverage: 100.0% (8 of 8 items OK)

[OK] test_case_coverage Test SampleComponent.REQ_COMP_001

//Foo:GetNumber

Given:

a default-constructed Foo instance

When:

GetNumber is called

Then:

it returns 42

---

//Foo:GetNumberRepeatedly

Test specification:

//unit_1:get_number_spec

Test goal:

Show that the read operation of the numeric value management interface returns the expected uint8_t value, independent of how often and through which kind of reference it is called.

Test focus:

• interface behavior of Foo::GetNumber

• repeated reads through mutable and const references

Table 1 Test steps

#	Precondition	Action	Expected
1	A default-constructed Foo instance exists.	Call GetNumber once.	The returned value is 42.
2	-	Call GetNumber again through a const reference to the same instance.	The returned value is still 42.

---

//Foo:GetNumberViaConstInstance

Given:

a const default-constructed Foo instance

When:

GetNumber is called through a const reference

Then:

it still returns 42

---

Derived from:

• Foo:GetNumberViaConstInstance

• Foo:GetNumberRepeatedly

• Foo:GetNumber

• SampleComponent.REQ_COMP_001

---

Source: unknown location

[OK] test_case_coverage Test SampleComponent.REQ_COMP_002

//Foo:IsFinal

Given:

the Foo class definition

When:

checking whether the class is extensible

Then:

it is declared final, preventing any subclassing

---

//Foo:IsFinalStaticAssert

Given:

the Foo class definition

When:

querying the type trait std::is_final for Foo

Then:

the trait reports true, confirming Foo cannot be subclassed

---

Derived from:

• Foo:IsFinalStaticAssert

• Foo:IsFinal

• SampleComponent.REQ_COMP_002

---

Source: unknown location

[OK] test_case_coverage Test SampleComponent.REQ_COMP_003

//Bar:AssertNumber

Given:

a Bar instance owning a Foo with value 42

When:

AssertNumber is called

Then:

it returns true

---

Derived from:

• Bar:AssertNumber

• SampleComponent.REQ_COMP_003

---

Source: unknown location

[OK] test_case_coverage Test SampleComponent.REQ_COMP_004

//Bar:AssertNumber

Given:

a Bar instance owning a Foo with value 42

When:

AssertNumber is called

Then:

it returns true

---

Derived from:

• Bar:AssertNumber

• SampleComponent.REQ_COMP_004

---

Source: unknown location

[OK] test_case_coverage Test SampleComponent.REQ_COMP_005

//Bar:AssertNumber

Given:

a Bar instance owning a Foo with value 42

When:

AssertNumber is called

Then:

it returns true

---

Derived from:

• Bar:AssertNumber

• SampleComponent.REQ_COMP_005

---

Source: unknown location

[OK] test_case_coverage Test SampleComponentExtra.REQ_COMP_EXTRA_001

//Foo:InitializesToKnownValue

Given:

a default-constructed Foo instance

When:

GetNumber is called for the first time

Then:

it returns 42

---

Derived from:

• Foo:InitializesToKnownValue

• SampleComponentExtra.REQ_COMP_EXTRA_001

---

Source: unknown location

[OK] test_case_coverage Test SampleComponentExtra.REQ_COMP_EXTRA_002

//Foo:ValueConsistentAcrossReads

Given:

a const Foo instance

When:

GetNumber is called multiple times

Then:

the same value is returned on each call

---

Derived from:

• Foo:ValueConsistentAcrossReads

• SampleComponentExtra.REQ_COMP_EXTRA_002

---

Source: unknown location

[OK] test_case_coverage Test SampleComponentExtra.REQ_COMP_EXTRA_003

//Foo:FootprintWithinBudget

Given:

the Foo class definition

When:

querying the size of Foo

Then:

it stays far below the 10 MB budget

---

Derived from:

• Foo:FootprintWithinBudget

• SampleComponentExtra.REQ_COMP_EXTRA_003

---

Source: unknown location