Skip to content

result: link tests to requirements #579

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Nikhil2206 wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

result: link tests to requirements #579

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
6a901f0
result: link tests to requirements
Nikhil2206 Sep 11, 2026
7854f4f
result: format traceability descriptions
Nikhil2206 Sep 11, 2026
56bd184
Merge remote-tracking branch 'upstream/main' into nk-result-test-req-…
Nikhil2206 Sep 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
128 changes: 128 additions & 0 deletions score/result/details/expected/expected_assignment_test.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,12 @@ namespace

TEST(ExpectedTest, IsCopyAssignableWithValue)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that copy-assigning one value-holding expected to another replaces the target's value "
"with the source's.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different values
std::int32_t value{14};
expected<CopyableType, ErrorType> e1{value};
Expand All @@ -42,6 +48,12 @@ TEST(ExpectedTest, IsCopyAssignableWithValue)

TEST(ExpectedTest, IsCopyAssignableWithError)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that copy-assigning one error-holding expected to another replaces the target's error "
"with the source's.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different errors
std::int32_t error{14};
expected<ValueType, CopyableType> e1{unexpected{error}};
Expand All @@ -59,6 +71,11 @@ TEST(ExpectedTest, IsCopyAssignableWithError)

TEST(ExpectedTest, IsMoveAssignableWithValue)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that move-assigning a value-holding expected transfers its value into the target.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different values
std::int32_t value{14};
expected<NothrowMoveOnlyType, ErrorType> e1{value};
Expand All @@ -74,6 +91,11 @@ TEST(ExpectedTest, IsMoveAssignableWithValue)

TEST(ExpectedTest, IsMoveAssignableWithError)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that move-assigning an error-holding expected transfers its error into the target.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different errors
std::int32_t error{14};
expected<ValueType, NothrowMoveOnlyType> e1{unexpected{error}};
Expand All @@ -89,13 +111,25 @@ TEST(ExpectedTest, IsMoveAssignableWithError)

TEST(ExpectedTest, MoveAssignmentHasCorrectNoexcept)
{
RecordProperty("PartiallyVerifies", "comp_req__result__exception_free_operation");
RecordProperty("Description",
"Check that expected's move assignment is noexcept only when both the value and error types "
"are themselves nothrow move-assignable.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "equivalence-classes");
static_assert(std::is_nothrow_move_assignable_v<expected<NothrowMoveOnlyType, NothrowMoveOnlyType>>);
static_assert(!std::is_nothrow_move_assignable_v<expected<NothrowMoveOnlyType, ThrowMoveOnlyType>>);
static_assert(!std::is_nothrow_move_assignable_v<expected<ThrowMoveOnlyType, NothrowMoveOnlyType>>);
}

TEST(ExpectedTest, CanCopyAssignFromCompatibleType)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that assigning a value of a compatible type sets the expected to hold that value and "
"returns a reference to the expected itself.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given a copyable type and an expected
std::int32_t value{14};
CopyableType wrapped{14};
Expand All @@ -114,6 +148,12 @@ TEST(ExpectedTest, CanCopyAssignFromCompatibleType)

TEST(ExpectedTest, CanMoveAssignFromCompatibleType)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that move-assigning a value of a compatible type sets the expected to hold that value "
"and returns a reference to the expected itself.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given a copyable type and an expected
std::int32_t value{14};
NothrowMoveOnlyType wrapped{14};
Expand All @@ -132,6 +172,12 @@ TEST(ExpectedTest, CanMoveAssignFromCompatibleType)

TEST(ExpectedTest, CanCopyAssignFromUnexpected)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that assigning an unexpected of a compatible type sets the expected to hold that error "
"and returns a reference to the expected itself.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given a copyable unexpected and an expected
std::int32_t error{14};
unexpected<CopyableType> wrapped{error};
Expand All @@ -150,6 +196,12 @@ TEST(ExpectedTest, CanCopyAssignFromUnexpected)

TEST(ExpectedTest, CanMoveAssignFromUnexpected)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that move-assigning an unexpected of a compatible type sets the expected to hold that "
"error and returns a reference to the expected itself.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given a copyable unexpected and an expected
std::int32_t error{14};
unexpected<NothrowMoveOnlyType> wrapped{error};
Expand All @@ -168,6 +220,12 @@ TEST(ExpectedTest, CanMoveAssignFromUnexpected)

TEST(ExpectedTest, CanEmplaceWithArgs)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that emplace() constructs the held value in place from forwarded constructor arguments "
"and returns a reference to that value.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given an expected with error
expected<ArgumentType, ErrorType> unit{unexpect};
std::int32_t copyable{29};
Expand All @@ -188,6 +246,12 @@ TEST(ExpectedTest, CanEmplaceWithArgs)

TEST(ExpectedTest, CanEmplaceWithInitializerListAndArgs)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that emplace() constructs the held value in place from an initializer list plus "
"forwarded constructor arguments.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given an expected with error
expected<ArgumentInitializerListType, ErrorType> unit{unexpect};
std::int32_t copyable{29};
Expand All @@ -208,6 +272,11 @@ TEST(ExpectedTest, CanEmplaceWithInitializerListAndArgs)

TEST(ExpectedTest, CanSwapWithMemberSwap)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that the member swap() function exchanges the value/error states of two expected instances.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different values
std::int32_t v1{82};
expected<CopyableType, NothrowMoveOnlyType> e1{v1};
Expand All @@ -226,13 +295,23 @@ TEST(ExpectedTest, CanSwapWithMemberSwap)

TEST(ExpectedTest, SwapHasCorrectNoexceptSpecification)
{
RecordProperty("PartiallyVerifies", "comp_req__result__exception_free_operation");
RecordProperty("Description",
"Check that expected's swap is noexcept only when both the value and error types are "
"themselves nothrow swappable.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "equivalence-classes");
static_assert(std::is_nothrow_swappable_v<expected<NothrowMoveOnlyType, NothrowMoveOnlyType>>);
static_assert(!std::is_nothrow_swappable_v<expected<ThrowMoveOnlyType, NothrowMoveOnlyType>>);
static_assert(!std::is_nothrow_swappable_v<expected<NothrowMoveOnlyType, ThrowMoveOnlyType>>);
}

TEST(ExpectedTest, CanSwapWithStdSwap)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description", "Check that std::swap exchanges the value/error states of two expected instances.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different values
std::int32_t v1{82};
expected<CopyableType, NothrowMoveOnlyType> e1{v1};
Expand All @@ -251,6 +330,12 @@ TEST(ExpectedTest, CanSwapWithStdSwap)

TEST(ExpectedVoidTest, IsCopyAssignableWithError)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that copy-assigning an error-holding expected<void, E> replaces the target's error with "
"the source's.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different errors
std::int32_t error{14};
expected<void, CopyableType> e1{unexpected{error}};
Expand All @@ -268,6 +353,12 @@ TEST(ExpectedVoidTest, IsCopyAssignableWithError)

TEST(ExpectedVoidTest, IsMoveAssignableWithError)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that move-assigning an error-holding expected<void, E> transfers its error into the "
"target.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different errors
std::int32_t error{14};
expected<void, NothrowMoveOnlyType> e1{unexpected{error}};
Expand All @@ -283,12 +374,24 @@ TEST(ExpectedVoidTest, IsMoveAssignableWithError)

TEST(ExpectedVoidTest, MoveAssignmentHasCorrectNoexcept)
{
RecordProperty("PartiallyVerifies", "comp_req__result__exception_free_operation");
RecordProperty("Description",
"Check that expected<void, E>'s move assignment is noexcept only when E is itself nothrow "
"move-assignable.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "equivalence-classes");
static_assert(std::is_nothrow_move_assignable_v<expected<void, NothrowMoveOnlyType>>);
static_assert(!std::is_nothrow_move_assignable_v<expected<void, ThrowMoveOnlyType>>);
}

TEST(ExpectedVoidTest, CanCopyAssignFromUnexpected)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that assigning an unexpected of a compatible type sets a value-less expected<void, E> "
"to hold that error and returns a reference to the expected itself.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given a copyable unexpected and an expected
std::int32_t error{14};
unexpected<CopyableType> wrapped{error};
Expand All @@ -307,6 +410,12 @@ TEST(ExpectedVoidTest, CanCopyAssignFromUnexpected)

TEST(ExpectedVoidTest, CanMoveAssignFromUnexpected)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that move-assigning an unexpected of a compatible type sets a value-less "
"expected<void, E> to hold that error and returns a reference to the expected itself.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given a copyable unexpected and an expected
std::int32_t error{14};
unexpected<NothrowMoveOnlyType> wrapped{error};
Expand All @@ -325,6 +434,11 @@ TEST(ExpectedVoidTest, CanMoveAssignFromUnexpected)

TEST(ExpectedVoidTest, CanEmplace)
{
RecordProperty("PartiallyVerifies", "comp_req__result__set_result");
RecordProperty("Description",
"Check that emplace() on a value-less expected<void, E> puts it into the valid state.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given an expected with error
expected<void, ErrorType> unit{unexpect};

Expand All @@ -337,6 +451,11 @@ TEST(ExpectedVoidTest, CanEmplace)

TEST(ExpectedVoidTest, CanSwapWithMemberSwap)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description",
"Check that the member swap() function exchanges the states of two expected<void, E> instances.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different values
expected<void, NothrowMoveOnlyType> e1{};
std::int32_t error{30};
Expand All @@ -353,12 +472,21 @@ TEST(ExpectedVoidTest, CanSwapWithMemberSwap)

TEST(ExpectedVoidTest, SwapHasCorrectNoexceptSpecification)
{
RecordProperty("PartiallyVerifies", "comp_req__result__exception_free_operation");
RecordProperty("Description",
"Check that expected<void, E>'s swap is noexcept only when E is itself nothrow swappable.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "equivalence-classes");
static_assert(std::is_nothrow_swappable_v<expected<void, NothrowMoveOnlyType>>);
static_assert(!std::is_nothrow_swappable_v<expected<void, ThrowMoveOnlyType>>);
}

TEST(ExpectedVoidTest, CanSwapWithStdSwap)
{
RecordProperty("PartiallyVerifies", "comp_req__result__type_safety");
RecordProperty("Description", "Check that std::swap exchanges the states of two expected<void, E> instances.");
RecordProperty("TestType", "requirements-based");
RecordProperty("DerivationTechnique", "requirements-analysis");
// Given two expected with different values
expected<void, NothrowMoveOnlyType> e1{};
std::int32_t error{30};
Expand Down
Loading
Loading