软件测试
文章平均质量分 96
geek_Chen01
Fake it until make it.
\n
Gitee: https://gitee.com/geek-chenys/learning-resources-in-cs (CS课程丛资料)
展开
-
静态测试---基于WorkList的活跃变量分析
函数的目标是将所有 Inst 的后继指令的输出位向量进行合并(join操作),得到 Inst 的输入位向量。代码的主要部分是针对不同类型的指令(二元运算符、加载指令、存储指令、内存分配指令、比较指令)的分支处理。合并操作是将所有后继指令的输出位向量合并到当前指令的输入位向量中,表示这些变量在 Inst 执行之前也是活跃的。文件是用于静态链接的库文件。这个成员函数接受三个参数:Inst 是当前正在处理的指令,Pre 是指令执行前的位向量(即输入位向量),Post 是指令执行后的位向量(即输出位向量)。原创 2024-05-24 09:07:51 · 1284 阅读 · 3 评论 -
Dafny--程序验证_证明霍尔逻辑的半自动化利器
Dafny 是一种支持验证的编程语言,配备了一个静态程序验证器。通过将复杂的自动推理与熟悉的编程习语和工具相结合,使开发者能够编写可证明正确的代码(相对于 {P}S{Q} 这种霍尔三元组的规范而言)。Dafny 还可以将 Dafny 代码编译到熟悉的开发环境,如 C#、Java、JavaScript、Go 和 Python;使得严格的验证成为开发过程的有机组成部分,从而减少了可能在测试中被遗漏的、代价高昂的后期错误。原创 2024-05-15 22:05:35 · 1003 阅读 · 0 评论 -
自动生成测试用例?--带你走进Klee之路
符号执行(Symbolic Execution) 属于静态分析的一种,e.g.对于函数a = malloc(), 符号执行会赋值一个符号$a 来代表 a的值,通过流程图模拟执行,而非实际执行.原创 2024-05-10 09:34:46 · 1032 阅读 · 0 评论 -
动态测试_语句覆盖&分支覆盖实验总结
动态测试_语句覆盖&分支覆盖实验总结原创 2024-04-28 13:04:51 · 958 阅读 · 0 评论