- 博客(5)
- 收藏
- 关注
原创 【项目学习】背景知识
【项目学习】背景知识【基础知识】本文主要对自动生成单元测试工具的基础知识进行介绍学习,主要从三大技术模块方向进行介绍。首先假设现在要求我们自动生成单元测试用例,我们该从哪些方面入手?要求的关键词在于“自动”“单元测试”。先不管自动,我们怎么手动写一个单元测试用例呢?我们得给出输入,或者说得给出代码调用我们测试的函数块。但是我们也知道函数之间是相联的,不是彼此独立的,所以单独测试一个函数块必然会涉及到外部函数或者外部变量的调用,那么这时候我们就要通过插桩替换掉本来的外部调用,这也就是我们的第一部分内容—
2021-07-14 18:04:02 261 2
原创 【项目学习】background了解
目录1.单元测试2.mock使用3.符号执行(symbolic execution)4.具体执行(concrete execution)5.中间表达形式 IR(intermediate representation)6.Run Klee、阅读Klee的tutorials、LLVM/CLANG/KLEE区别1.单元测试一个很详细的单元测试介绍简单粗暴的百度百科简单来说,单元测试可以看作脱离出来只针对某个单元进行测试。单元可以是函数、类或者其他块。如果单元内部进...
2021-04-29 18:44:59 137
原创 【项目学习】运行KLEE的tutorial one
首先进入目录:cd klee_src/examples/get_sign可以注意下这个例子中是如何make symbolic的:int main() { int a; klee_make_symbolic(&a, sizeof(a), "a"); return get_sign(a);}然后编译到LLVM的字节码:clang -I ../../include -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone...
2021-04-29 18:31:16 255
原创 【项目准备】安装KLEE
目录一、Windows10安装WSL二、WSL安装centOS三、centOS下跑KLEE一、Windows10安装WSL 参考在 Windows 10 上安装 WSL | Microsoft Docs 照着做就行。二、WSL安装centOS windows 10 WSL 安装 Centos - 两仪清风 - 博客园 (cnblogs.com) 下载centos和进行LxRunOffline的时候要换...
2021-04-29 11:40:46 581 1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人