Host-Verification on RuChen https://blog.195481.xyz/tags/host-verification/ Recent content in Host-Verification on RuChen Hugo -- gohugo.io zh-cn 2510889344@qq.com (RuChen) 2510889344@qq.com (RuChen) All Rights Reserved © RuChen 2025 Sat, 26 Sep 2026 14:48:38 +0800 用指针修改调用者的对象 https://blog.195481.xyz/embedded/embedded-study/l004-pointer/ Sat, 26 Sep 2026 14:48:38 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l004-pointer/ 用主机 C11 示例理解对象地址的保存与传递，并通过有效指针让函数修改调用者持有的同一 uint32_t 对象。 32 位整数：先按范围选类型 https://blog.195481.xyz/embedded/embedded-study/l003-integer-model/ Mon, 21 Sep 2026 22:07:26 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l003-integer-model/ 依据需求的最小值、最大值和是否需要负数，在主机逻辑验证中选择 int32_t 或 uint32_t，并识别超出范围的设计风险。 第一个 C 程序：按顺序得到确定结果 https://blog.195481.xyz/embedded/embedded-study/l002-first-c-program/ Mon, 21 Sep 2026 21:30:24 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l002-first-c-program/ 在 Windows 主机上阅读和修改单文件 C 程序，理解语句按顺序执行，并通过退出状态观察确定的计算结果。 从源文件到可观察结果 https://blog.195481.xyz/embedded/embedded-study/l001-embedded-system-basics/ Mon, 21 Sep 2026 20:17:27 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l001-embedded-system-basics/ 建立主机与嵌入式运行环境不同、源文件必须经过构建和运行才能形成可观察验证闭环的两个基础心智模型。