FW Profile - C1 Implementation
|
Declaration of the test cases for the RT Container Module. More...
Go to the source code of this file.
Enumerations |
Functions | |
FwRtTestOutcome_t | FwRtTestCaseSetAttr1 () |
Verify the attribute setting interface of a RT Container. More... | |
FwRtTestOutcome_t | FwRtTestCaseSetAction1 () |
Verify the action setting interface of a RT Container. More... | |
FwRtTestOutcome_t | FwRtTestCaseRunDefault1 () |
Verify a nominal run of the RT Container with default configuration. More... | |
FwRtTestOutcome_t | FwRtTestCaseRunNonNullAttr1 () |
Verify a nominal run of the RT Container with non-NULL values for the attributes of the POSIX objects. More... | |
FwRtTestOutcome_t | FwRtTestCaseRun1 () |
Verify the logic to skip a notification in the Notification Procedure. More... | |
FwRtTestOutcome_t | FwRtTestCaseRun2 () |
Verify the logic to handle bursts of notifications. More... | |
FwRtTestOutcome_t | FwRtTestCaseRun3 () |
Verify the logic to handle a container stop request while notifications are pending. More... | |
FwRtTestOutcome_t | FwRtTestCaseStressRun1 () |
Verify the RT Container logic in a stress test with a long sequences of notifications and random outcome of the container actions. More... | |
FwRtTestOutcome_t | FwRtTestCaseStressRun2 () |
Verify the RT Container logic in a stress test with a long sequences of notifications and start/stop cycles and random outcome of the container actions. More... | |
FwRtTestOutcome_t | FwRtTestCaseStressRun3 () |
Verify the RT Container logic in a stress test where two different threads send random sequences of notification and stop requests and where the outcomes of the container actions are random. More... | |
FwRtTestOutcome_t | FwRtTestCaseStressRun4 () |
Verify the RT Container logic in a stress test where two threads send random sequences of notifications and the main thread waits for the Activation Thread to terminate. More... | |
FwRtTestOutcome_t | FwRtTestCaseStressRun5 () |
Verify the RT Container logic in a stress test where two threads send random sequences of notifications and the main thread waits until the sequence of notifications has terminated. More... | |
FwRtTestOutcome_t | FwRtTestCaseStressRun6 () |
Verify the RT Container logic in a stress test where two threads send random sequences of notifications and the main thread sends a random sequence of stop requests. More... | |
Declaration of the test cases for the RT Container Module.
This file is part of the FW Profile.
This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
For information on alternative licensing, please contact P&P Software GmbH.
Definition in file FwRtTestCases.h.
enum FwRtTestOutcome_t |
Outcome of a procedure test case.
Enumerator | |
---|---|
rtTestCaseSuccess |
Test case success. |
rtTestCaseFailure |
Test case failure. |
Definition at line 23 of file FwRtTestCases.h.
FwRtTestOutcome_t FwRtTestCaseRun1 | ( | ) |
Verify the logic to skip a notification in the Notification Procedure.
This test case performs the following actions:
This test case verifies the "skip notification" branch of the Notification Procedure and all branches of the Activation Procedure.
Definition at line 518 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseRun2 | ( | ) |
Verify the logic to handle bursts of notifications.
This test case performs the following actions:
Definition at line 837 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseRun3 | ( | ) |
Verify the logic to handle a container stop request while notifications are pending.
This test case performs the following actions:
Definition at line 926 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseRunDefault1 | ( | ) |
Verify a nominal run of the RT Container with default configuration.
This test case performs the following actions:
This test case verifies the following control flows in the Notification Procedure:
This test case verifies the following control flows in the Activation Procedure:
Definition at line 308 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseRunNonNullAttr1 | ( | ) |
Verify a nominal run of the RT Container with non-NULL values for the attributes of the POSIX objects.
This test case performs the following actions:
This test case verifies the following control flows in the Notification Procedure:
This test case verifies the following control flows in the Activation Procedure:
Definition at line 412 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseSetAction1 | ( | ) |
Verify the action setting interface of a RT Container.
This test case performs the following actions:
Definition at line 174 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseSetAttr1 | ( | ) |
Verify the attribute setting interface of a RT Container.
This test case performs the following actions:
Definition at line 119 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseStressRun1 | ( | ) |
Verify the RT Container logic in a stress test with a long sequences of notifications and random outcome of the container actions.
This test case performs the following actions:
Definition at line 1011 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseStressRun2 | ( | ) |
Verify the RT Container logic in a stress test with a long sequences of notifications and start/stop cycles and random outcome of the container actions.
This test case performs the following actions:
Definition at line 1084 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseStressRun3 | ( | ) |
Verify the RT Container logic in a stress test where two different threads send random sequences of notification and stop requests and where the outcomes of the container actions are random.
This test case performs the following actions:
Definition at line 1194 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseStressRun4 | ( | ) |
Verify the RT Container logic in a stress test where two threads send random sequences of notifications and the main thread waits for the Activation Thread to terminate.
This test case performs the following actions:
Definition at line 1276 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseStressRun5 | ( | ) |
Verify the RT Container logic in a stress test where two threads send random sequences of notifications and the main thread waits until the sequence of notifications has terminated.
This test case performs the following actions:
Definition at line 1341 of file FwRtTestCases.c.
FwRtTestOutcome_t FwRtTestCaseStressRun6 | ( | ) |
Verify the RT Container logic in a stress test where two threads send random sequences of notifications and the main thread sends a random sequence of stop requests.
This test case performs the following actions:
Definition at line 1418 of file FwRtTestCases.c.