common strengths and weaknesses of symbolic execution
来源:互联网 发布:手机动漫模型软件 编辑:程序博客网 时间:2024/05/29 17:29
Strengths:
- when a test case fails, the program is proven to be incorrect;
- automatic test cases catch errors that are often overlooked in manual written test cases (this is from KLEE paper);
- it can be used for reverse-engineering and also be used for software verification purposes;
Weaknesses:
- when no tests fail we are not sure everything is correct, because no proof of correctness is given; static analysis can do that when it works (and often it does not!);
- covering all the paths is not enough, because a variable can hold different values in one path and only some of them cause a bug;
- complete coverage for non trivial programs is often impossible, due to path explosion or constraint solver timeout;
- scaling is difficult, and execution time of the engine can suffer;
- undefined behavior of CPU could lead to unexpected results;
- … and maybe there are a lot more remarks to add.
阅读全文
0 0
- common strengths and weaknesses of symbolic execution
- KNN:Strengths, weaknesses, and parameters
- SWOT(strengths,weaknesses,oppotunities,threats)
- 7.2. Limits and Weaknesses of Packet Filtering
- 《System Service Call-oriented Symbolic Execution of Android Framework with Applications to...》论文阅读笔记
- Symbolic execution with Java Pathfinder
- 10011---What are some of your weaknesses
- SymNet:scalable symbolic execution for modernnetworks论文
- Study of the Symbolic Exection
- CRS-4640 and CRS-4000 during execution of root.sh
- Salesforce事务执行顺序(Triggers and Order of Execution)
- hard link and symbolic link
- Parallel Symbolic Execution for Automated Real-World Software Testing
- Common directory names of large projects and their meanings
- sortList and Lowest Common Ancestor of a Binary Search Tree
- ln: Too many levels of symbolic links
- Symbolic Data Analysis and the SODAS Software
- Symbolic link and hard link的区别
- MaBatis的模糊查询与存储过程
- 基础加强:类加载器 ---注解 ---动态代理(装饰设计模式)
- arcgis符号显示异常
- WPF渐变背景
- Flowerpot
- common strengths and weaknesses of symbolic execution
- 搜索总结
- 进程信号中的三大表格(block、pending、hardler)
- http://www.360doc.com/content/16/0711/13/2428535_574691930.shtml
- 欢迎使用CSDN-markdown编辑器
- rocketmq顺序消费
- 编译opencv库的注意事项
- 用Javascript写简单计算器
- 计蒜客第五场过后……