ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Test: update HAL watchdog-timing test 

Update the watchdog timing requirements:
1. The watchdog should trigger at, or after the timeout value.
2. The watchdog should trigger before twice the timeout value.
pull/10902/head
Filip Jagodzinski 2019-05-10 21:09:15 +02:00 committed by Martin Kojtal
parent 81898af2b5
commit ee202dafd8
2 changed files with 15 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
TESTS/mbed_hal/watchdog_timing/main.cpp
View File

@ -47,7 +47,7 @@ struct testcase_data {
testcase_data current_case; testcase_data current_case;
template<uint32_t timeout_ms, uint32_t delta_ms> template<uint32_t timeout_ms>
void test_timing() void test_timing()
{ {
watchdog_features_t features = hal_watchdog_get_platform_features(); watchdog_features_t features = hal_watchdog_get_platform_features();
@ -57,9 +57,15 @@ void test_timing()
} }
// Phase 2. -- verify the test results. // Phase 2. -- verify the test results.
// Verify the heartbeat time span sent by host is within given delta. // Verify the heartbeat time span sent by host is within given range:
// 1. The watchdog should trigger at, or after the timeout value.
// 2. The watchdog should trigger before twice the timeout value.
if (current_case.received_data != CASE_DATA_INVALID) { if (current_case.received_data != CASE_DATA_INVALID) {
TEST_ASSERT_UINT32_WITHIN(delta_ms, timeout_ms, current_case.received_data); // Provided the watchdog works as expected, the last timestamp received
// by the host will always be before the expected reset time. Because
// of that, the constraint no 1. is not verified.
TEST_ASSERT(current_case.received_data > 0);
TEST_ASSERT(current_case.received_data < 2 * timeout_ms);
current_case.received_data = CASE_DATA_INVALID; current_case.received_data = CASE_DATA_INVALID;
return; return;
} }
@ -141,10 +147,10 @@ int testsuite_setup(const size_t number_of_cases)
} }
Case cases[] = { Case cases[] = {
Case("Timing, 200 ms", case_setup, test_timing<200UL, 55UL>), Case("Timing, 200 ms", case_setup, test_timing<200UL>),
Case("Timing, 500 ms", case_setup, test_timing<500UL, 130UL>), Case("Timing, 500 ms", case_setup, test_timing<500UL>),
Case("Timing, 1000 ms", case_setup, test_timing<1000UL, 255UL>), Case("Timing, 1000 ms", case_setup, test_timing<1000UL>),
Case("Timing, 3000 ms", case_setup, test_timing<3000UL, 380UL>), Case("Timing, 3000 ms", case_setup, test_timing<3000UL>),
}; };
Specification specification((utest::v1::test_setup_handler_t) testsuite_setup, cases); Specification specification((utest::v1::test_setup_handler_t) testsuite_setup, cases);

4
TESTS/mbed_hal/watchdog_timing/watchdog_timing_tests.h
View File

@ -34,8 +34,8 @@
* *
* Phase 2. * Phase 2.
* Given a device restarted by the watchdog timer, * Given a device restarted by the watchdog timer,
* when the device receives time measurement from the host, * when the device receives time measurement T from the host,
* then time measured by host equals X ms. * then X <= T < 2 * X.
*/ */
template<uint32_t timeout_ms, uint32_t delta_ms> template<uint32_t timeout_ms, uint32_t delta_ms>
void test_timing(); void test_timing();