zephyr/tests/kernel/mem_protect
Maksim Masalski 9eddc69029 tests: added new tests for memory partitions
Add new tests to improve of the Zephyr QA testing of the memory
protection for memory domains and partitions.
I created new tests for memory protection->memory partitions for
the requirements which I think necessary to be tested.
I added Doxygen tag for each test to make it clear to understand
what each test is doing and how.

New tests for memory domains and partitions:

-test_mem_domain_api_kernel_thread_only()
By creating that test I wanted to prove that access to memory
domain APIs must be restricted only to supervisor threads.
At the same time I wanted to prove that system can support the
definition of memory domains.

-test_mem_part_auto_determ_size()
By creating that test I want to prove that system can automatically
determine application memory partition base addresses and sizes
at build time, determined by its contents. Also system can support
definition of memory partitions. At the same time test proves that OS
supports adding and removing a thread from its memory domain
assignment.

-test_mem_part_auto_determ_size_per_mmu()
That test is very important and it proves that memory partitions are
automatically sized and aligned per the constraints of the platform's
memory management hardware.

-test_mem_part_inheirt_by_child_thr()
Prove that child thread inherits memory domain assignment of its
parent.

-test_macros_obtain_names_data_bss()
Test system provides tools to obtain the names of the data and BSS
sections related to a particular application memory partition at
build time.

-test_mem_part_assign_bss_vars_zero()
Test that global data and BSS values can be assigned to application
memory partitions using macros at build time. Test that BSS values
will be zeroed at the build time.

1. According to the reviews made changes.
2. Switched test_mem_part_assert_add_overmax
and test_create_new_invalid_prio_thread_from_user
That way I exposed problem (bug) with assertion
in L171 kernel/mem_protect.c

Signed-off-by: Maksim Masalski <maksim.masalski@intel.com>
2020-10-02 11:35:28 +02:00
..
futex tests: Apply IRQ offload API change 2020-09-02 13:48:13 +02:00
mem_map tests: kernel: mem_map: Explicitly cast function pointer to (void *) 2020-09-21 16:49:21 -05:00
mem_protect tests: added new tests for memory partitions 2020-10-02 11:35:28 +02:00
obj_validation tests: update kernel objects tests 2020-07-16 12:10:31 +02:00
protection tests: protection: skip XD tests on IA32 2020-08-25 15:49:59 -04:00
stack_random tests: make find_package(Zephyr...) REQUIRED 2020-05-29 10:47:25 +02:00
stackprot tests: mem protection tests updated tags 2020-08-06 07:31:46 -04:00
sys_sem tests: Apply IRQ offload API change 2020-09-02 13:48:13 +02:00
syscalls tests: kernel: mem_protect: syscalls: FAULTY_ADDRESS for nucleo_l073rz 2020-09-23 13:11:19 -05:00
userspace tests: userspace: fix flaky behavior 2020-09-09 13:05:38 +02:00