test2.c

Go to the documentation of this file.

#include "header.h"
#include "unity.h"
 
void setUp(void) {
}
 
void tearDown(void) {
}
 
/*!
@code_uid{TUN_PRJ_Foo_ctor_01, constructor test}
@code_litem{Details}
This test checks that Foo_ctor() produces valid instance.
@code_bw_trace{brief}
- [@tr{SRS_EXA_REQ_12}] <i>Class Foo shall provide a constructor.</i>
- [@tr{Foo_ctor()}] <i>Constructor of class Foo brief description</i>
@endcode_uid
*/
void TUN_PRJ_Foo_ctor_01(void) {
    Foo_ctor(&Foo_inst, 0x12345678);
    TEST_ASSERT_EQUAL_INT32(0x12345678, Foo_inst.x);
    TEST_ASSERT_EQUAL_INT32(~0x12345678, Foo_inst.x_dis);
}
 
/*!
@code_uid{TUN_PRJ_Foo_verify_00, verify positive test}
@code_litem{Details}
This test checks that Foo_verify_() distinguishes valid instance.
@code_bw_trace{brief}
- [@tr{SRS_EXA_REQ_13}] <i>@badge{safety} Class Foo shall provide a verify operation.</i>
- [@tr{Foo_verify_()}] <i>Verify operation to check the class invariant</i>
@endcode_uid
*/
void TUN_PRJ_Foo_verify_00(void) {
    Foo_ctor(&Foo_inst, 0x12345678);
    TEST_ASSERT_TRUE(Foo_verify_(&Foo_inst));
}
 
/*!
@code_uid{TUN_PRJ_Foo_verify_01, verify negative test}
@code_litem{Details}
This test checks that Foo_verify_() distinguishes invalid instance.
@code_bw_trace{brief}
- [@tr{SRS_EXA_REQ_13}] <i>@badge{safety} Class Foo shall provide a verify operation.</i>
- [@tr{Foo_verify_()}] <i>Verify operation to check the class invariant</i>
@endcode_uid
*/
void TUN_PRJ_Foo_verify_01(void) {
    Foo_ctor(&Foo_inst, 0x12345678);
    Foo_inst.x -= 1; // change x
    TEST_ASSERT_FALSE(Foo_verify_(&Foo_inst));
}