Identify the CMocka functions used to define expected parameter values for mocked functions in a test setup and the macro used within the mocked function to assert those values. Explain where each is called and how they work together for parameter verification.
Navigate to the 'Modules' page. Go to the 'Checking Parameters' module to identify functions for setting expected parameter values. Return to the 'Modules' page. Go to the 'Mock Objects' module to identify the macro for asserting received parameters. Synthesize the information from both modules to explain the functions' roles and usage.
Successfully identifies `expect_value()` and `expect_string()` (or similar `expect_*` functions) as used for setting expected parameters. Successfully identifies `check_expected()` as the macro used within the mocked function for assertion. Clearly explains that `expect_*` functions are called in the test setup to define expectations. Clearly explains that `check_expected()` is called inside the mocked function to perform the actual parameter assertion. Provides a concise explanation of how these functions work together to verify parameters passed to a mocked function in CMocka.