抽象内存模型相关论文
由于面向对象程序具有多态性等复杂特性,在软件单元测试中仅凭静态分析难以判断指针和引用指向对象的具体类型,为了解决这一问题,......
测试用例自动生成是自动化单元测试领域的研究重点。本文提出一种使用抽象内存模型准确模拟动态数据类型的程序语义的方法来实......
单元测试是软件测试的最初阶段，做好充分有效的单元测试可以显著地降低软件测试成本，提高软件质量。代码测试系统(Code Testing Syst......
测试用例自动生成是自动化单元测试的重点之一,在面向路径的自动化单元测试中,抽象内存模型用于精准的提取路径上变量的语义和约束......
C程序中的条件表达式是唯一一个由三目运算符构成的表达式；而从语义角度来说是分支语句结构，传统的数据流分析技术难以实现对其精确......
为实现基于静态分析技术自动的检测C程序中的非法计算缺陷，提出了一种基于区域内存模型进行非法计算缺陷检测的方法。对C程序中的非......
C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操......
