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: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: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 SampleComponent.REQ_COMP_006

//Bar:Format

Given:

a Bar instance owning a Foo with value 42

When:

Format is called

Then:

it returns the human-readable string “42”

---

Derived from:

• Bar:Format

• SampleComponent.REQ_COMP_006

---

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