- 博客(9)
- 收藏
- 关注
RSS订阅原创 STM32Cube 写入demo
3.打开STM32CubeProgrammer，- Mode: "Under Reset" - Reset Mode: "Hardware reset" - Frequency: 降低到 100 kHz - 点击Connect。2.导入example（stm32cube_fw_wb_v1.21.0->projects->P-NUCLEO-WB55.Nucleo），build。
2025-09-18 16:02:24
220
原创 NRF52840 DK 设备demo写入
1.vscode 安装 nrf connect。3.对example 进行build。5.直接连接设备，flash。2.添加example。4.添加需要的安装包。
2025-09-18 07:51:39
137
原创 WBZ451CURIOSITY BOARD导入demo
需要下载的有3个：https://onlinedocs.microchip.com/oxy/GUID-A5330D3A-9F51-4A26-B71D-8503A493DF9C-en-US-5/GUID-2AD37FE2-1915-4E34-9A05-79E3810726D7.html。
2024-08-26 12:38:50
695
原创 TEALTEK 8762E 环境搭建及demo演示
参考RTL8762E Bluetooth LE Sample Project User Manual。需要的upper stack image 在sdk中。
2024-07-29 14:32:50
1144
1
原创 Telink 使用linux 编译 B91代码
使用 Telink IoT Studio 将 文件转换为适配IoT Studio的格式。https://github.com/telink-semi/ 下载相应的sdk。生成elf文件使用Telink BDT烧录文件。加载sdk直接build。
2024-07-14 13:55:45
481
1
原创 Learning Finite Automata by Experimentation通过二叉树自动学习有限状态自动机
Sift：该程序的目的是查询Access Strings和Distringuishing Strings是否存在。Distringuishing Strings 代表了状态机的转移路径，标记在internal node。该算法包括：Sift、Tentative-Hypothesis、Update-Tree三部分。Access Strings 代表了状态机的一个状态，标记在leaf node。Tentative-Hypothesis：将构建的分类树转换为自动机。中的Access Strings，即。
2023-10-17 14:52:55
138
原创 Testing Software Design Modeled by Finite-State Machines(阅读)
作者利用有限状态机建模提出了一种软件设计的测试方法，根据规范对测试结果进行评估。这篇文章提出了一种新的测试策略，通过有限状态自动机建模可以查看软件系统控制结构。该策略具有以下特点：1）只对设计的控制结构进行校核2）不需要可执行的正确规范3）只要满足一些合理的假设，测试序列就保证能揭示控制结构中的任何错误下文将讨论自动机理论方法背后的假设以及如何放宽其中一些假设，然后讨论了其余的限制是否合理或者实用。最后，利用自动机理论方法测试了计算机图形、实时过程控制和电话交换系统设计。
2023-10-08 19:30:20
162
1
原创 gef Python Exception ＜class ‘UnicodeEncodeError‘＞ ‘ascii‘ codec can‘t encode character ‘\u27a4‘ ...
解决方法：Exploit Education | Phoenix | Stack Four Solution – CTFs & Stuff (lamarranet.com) sudo sed -i 's/\\u27a4 />/g' /etc/gdb/gef.py
2021-09-26 15:53:53
811
原创 ubuntu 阅读代码vim+cscope
总结: sudo apt-get install cscope 在要阅读的代码根目录下执行 cscope -Rdq 用vim打开程序，cs add cscope.out 开始使用
2020-01-10 15:45:46
231
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人