[docs][utest]:Add standardized documentation for mem_tc and memheap_tc

src/utest/mem_tc.c

@@ -6,6 +6,77 @@
  * Change Logs:
  * Date           Author       Notes
  * 2021-10-14     tyx          the first version
+ * 2025-11-11     CYFS         Add standardized utest documentation block
+ */
+
+/**
+ * Test Case Name: Kernel Core Small Memory Management Test
+ *
+ * Test Objectives:
+ * - Validates the core kernel small memory management module functionality
+ * - Verify core APIs: rt_smem_init, rt_smem_alloc, rt_smem_free, rt_smem_realloc, rt_smem_detach
+ *
+ * Test Scenarios:
+ * - **Scenario 1 (Functional Test / mem_functional_test):**
+ * 1. Initialize small memory heap with 1024 bytes test buffer
+ * 2. Allocate entire heap at once and verify complete deallocation
+ * 3. Sequential allocation of multiple blocks followed by sequential release to test forward merging
+ * 4. Interval allocation and release pattern to test bidirectional block merging
+ * 5. Reallocation from small size to large size (requires memory move and data preservation)
+ * 6. Reallocation from large size to small size (in-place shrink verification)
+ * 7. Reallocation with equal size (no-op verification)
+ * - **Scenario 2 (Random Allocation Stress Test / mem_alloc_test):**
+ * 1. Perform random allocation/deallocation operations with 60% allocation probability
+ * 2. Memory size randomization (2-5 blocks of mem_alloc_context size)
+ * 3. Memory exhaustion handling: automatic release of half allocated blocks when allocation fails
+ * 4. Long-duration stress test (5 seconds by default)
+ * 5. Memory content verification using magic number patterns during operations
+ * - **Scenario 3 (Random Reallocation Stress Test / mem_realloc_test):**
+ * 1. Perform random reallocation of multiple memory blocks with size variations (0-5 blocks)
+ * 2. Random selection of target block from context table for reallocation
+ * 3. Memory exhaustion handling: random freeing of other blocks when realloc fails
+ * 4. Reallocation to zero size (free operation) verification
+ * 5. Memory content integrity verification before and after reallocation
+ *
+ * Verification Metrics:
+ * - **Pass (Scenario 1):** All allocation operations return non-NULL pointers
+ * - **Pass (Scenario 1):** Allocated memory is properly aligned (RT_ALIGN_SIZE)
+ * - **Pass (Scenario 1):** Memory content integrity verified using magic number pattern
+ * - **Pass (Scenario 1):** Maximum free block size equals initial total size after all deallocations
+ * - **Pass (Scenario 1):** Memory block merging verified after sequential and interval releases
+ * - **Pass (Scenario 1):** Realloc operations preserve existing data when expanding
+ * - **Pass (Scenario 1):** Realloc operations maintain pointer when shrinking in-place
+ * - **Pass (Scenario 2):** Allocated memory pointers are properly aligned
+ * - **Pass (Scenario 2):** Memory content integrity maintained throughout random operations
+ * - **Pass (Scenario 2):** Memory heap fully recovered (max_block equals initial total_size) after test
+ * - **Pass (Scenario 2):** Test count tracking accurate (head.count equals 0 at end)
+ * - **Pass (Scenario 3):** Realloc operations preserve existing data when size increases or decreases
+ * - **Pass (Scenario 3):** Magic number patterns maintained correctly after reallocation
+ * - **Pass (Scenario 3):** Realloc to zero size properly frees memory blocks
+ *
+ * Dependencies:
+ * - No specific hardware requirements, runs on any RT-Thread supported platform
+ * - Software configuration (e.g., kernel options, driver initialization)
+ * - `RT_USING_UTEST` must be enabled (`RT-Thread Utestcases`).
+ * - `Memory Test` must be enabled (`RT-Thread Utestcases` -> `Kernel Core` -> 'Memory Test').
+ * - RT-Thread kernel with small memory management enabled
+ * - rt_malloc and rt_free functions available for test buffer allocation
+ * - RT_ALIGN_SIZE macro defined for memory alignment
+ * - Random number generator (rand function) available for stress tests
+ * - System tick timer (rt_tick_get) for test duration control
+ * - Environmental assumptions
+ * - TEST_MEM_SIZE (1024 bytes) sufficient for test operations
+ * - System can handle high-frequency memory operations for stress tests
+ * - Run the test case from the msh prompt:
+ * `utest_run core.mem`
+ *
+ * Expected Results:
+ * - The test case completes without errors or failed assertions.
+ * - Memory heap fully recovered to initial state after functional test
+ * - No memory leaks or corruption detected
+ * - The utest framework prints:
+ * `[  PASSED  ] [ result   ] testcase (core.mem)`
+ * - Progress indicators (#) printed at regular intervals during stress tests
  */
 
 #include <rtthread.h>

src/utest/memheap_tc.c

@@ -6,8 +6,58 @@
  * Change Logs:
  * Date           Author       Notes
  * 2019-01-16     flybreak     the first version
+ * 2025-11-11     CYFS         Add standardized utest documentation block
  */
 
+/**
+ * Test Case Name: Kernel Core Memory Heap Test
+ *
+ * Test Objectives:
+ * - Validates the core kernel memory heap management module functionality
+ * - Verify core APIs: rt_memheap_init, rt_memheap_alloc, rt_memheap_free, rt_memheap_realloc, rt_memheap_detach
+ *
+ * Test Scenarios:
+ * - **Scenario 1 (Memory Heap Stress Test / memheap_test):**
+ * 1. Initialize memory heap with 64KB aligned memory buffer (4-byte alignment)
+ * 2. Allocate 40 memory blocks with random sizes (0 to HEAP_SIZE/SLICE_NUM)
+ * 3. Perform 100000 random operations on the memory heap
+ * 4. Each operation randomly selects one of 40 memory blocks and performs either:
+ *    - Free and reallocate with new random size (50% probability)
+ *    - Reallocate existing block with new random size (50% probability)
+ * 5. Verify memory heap stability and correctness under high-frequency operations
+ *
+ * Verification Metrics:
+ * - **Pass (Scenario 1):** Memory heap initialization succeeds with 64KB aligned buffer
+ * - **Pass (Scenario 1):** All 40 initial allocations complete successfully
+ * - **Pass (Scenario 1):** All 100000 random operations complete without system crash or assertion failure
+ * - **Pass (Scenario 1):** Memory heap operations (alloc/free/realloc) execute correctly throughout stress test
+ * - **Pass (Scenario 1):** Progress indicators (>) printed at regular intervals (every 10000 operations)
+ * - **Pass (Scenario 1):** Test completes successfully with "test OK!" message
+ * - **Pass (Scenario 1):** Memory heap properly detached and resources cleaned up
+ *
+ * Dependencies:
+ * - No specific hardware requirements, runs on any RT-Thread supported platform
+ * - Software configuration (e.g., kernel options, driver initialization)
+ * - `RT_USING_UTEST` must be enabled (`RT-Thread Utestcases`).
+ * - `Memory Heap Test` must be enabled (`RT-Thread Utestcases` -> `Kernel Core` -> 'Memory Heap Test').
+ * - RT-Thread kernel with memory heap management enabled
+ * - rt_malloc_align and rt_free_align functions available for test buffer allocation
+ * - Random number generator (rand function) available for random operations
+ * - Sufficient system memory to allocate 64KB aligned buffer
+ * - Environmental assumptions
+ * - System can handle high-frequency memory operations (100000 operations)
+ * - Memory heap can manage 40 concurrent memory blocks
+ * - Run the test case from the msh prompt:
+ * `utest_run core.memheap`
+ *
+ * Expected Results:
+ * - The test case completes without errors or failed assertions.
+ * - Progress indicators (>) printed at regular intervals during stress test
+ * - "test OK!" message printed upon successful completion
+ * - The utest framework prints:
+ * `[  PASSED  ] [ result   ] testcase (core.memheap)`
+ * - Memory heap properly cleaned up and no memory leaks detected
+ */
 #include <rtthread.h>
 #include <stdlib.h>
 #include "utest.h"