- 博客(7)
- 收藏
- 关注
原创 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
282
原创 TEALTEK 8762E 环境搭建及demo演示
参考RTL8762E Bluetooth LE Sample Project User Manual。需要的upper stack image 在sdk中。
2024-07-29 14:32:50
188
原创 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
105
原创 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
43
原创 Testing Software Design Modeled by Finite-State Machines(阅读)
作者利用有限状态机建模提出了一种软件设计的测试方法,根据规范对测试结果进行评估。这篇文章提出了一种新的测试策略,通过有限状态自动机建模可以查看软件系统控制结构。该策略具有以下特点:1)只对设计的控制结构进行校核2)不需要可执行的正确规范3)只要满足一些合理的假设,测试序列就保证能揭示控制结构中的任何错误下文将讨论自动机理论方法背后的假设以及如何放宽其中一些假设,然后讨论了其余的限制是否合理或者实用。最后,利用自动机理论方法测试了计算机图形、实时过程控制和电话交换系统设计。
2023-10-08 19:30:20
60
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
544
原创 ubuntu 阅读代码vim+cscope
总结:sudo apt-get install cscope在要阅读的代码根目录下执行 cscope -Rdq用vim打开程序,cs add cscope.out开始使用
2020-01-10 15:45:46
157
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人