唐肖然的博客 | Xiaoran Blog

DySy

Dynamic Symbolic Execution

这篇paper的完整题目是 DySy: Dynamic Symbolic Execution for Invariant Inference 下载链接 Motivation 精简化 Daikon 所识别的 invariants 一旦用户开始拓展给定的 invariant 的范围，各种 possible invariant 的总量就会急剧增长，...

Posted by Xiaoran on February 23, 2018

JPF安装

Java Pathfinder on Ubuntu 16.04

本教程参考自 Verification glasses 链接 1、Install Java 8 2、安装ant和mercurial sudo apt install ant sudo apt install mercurial 3、下载 junit.jar和hamcrest.jar (假设它们被下载到 “junit-dir”这个 directory 里面) 4、执行以下步...

Posted by Xiaoran on February 21, 2018

DscvSpec

Discovering Likely Method Specifications

这篇paper的完整题目是 Discovering Likely Method Specifications 下载链接 Motivation static 之前的工具生成的 pre/postconditions 过于细节，用户难以使用对于 loop 中的 invariants，之前的工具只能把 specifications 表示...

Posted by Xiaoran on February 20, 2018

单元测试+JUnit

基础的背景知识

内容参考自 HollisChuang’s Blog 第一弹第二弹第三弹关于单元测试的重要性，本文不再赘述了。相信很多人都知道单测的重要性。但是在日常工作中写单测的人很少。很多项目的单测覆盖率和通过率一般都很低，尤其是web项目。本文从软件开发的生命周期开始谈起，让我们站在一个全局的角度来看一下单元测试到底扮演着怎样的角色。 1、软件开发生命周期一个软件或者系...

Posted by Xiaoran on February 17, 2018

软工读书笔记(1)

Chap 3-6：软件过程

本文参考自 Software Engineering : A Practitioner’s Approach — 8th edition by Roger S. Pressman 3.1 process的4种通用型流程 4、process模型秩序(order)与混乱(chaos)是软件流程的光谱的两个极端 4.1.0 code & fix 适合小型软件 4...

Posted by Xiaoran on February 15, 2018

CUTE

Concolic Unit Testing Engine

这篇paper的完整题目是 CUTE: A Concolic Unit Testing Engine for C concolic = concrete + symbolic 下载链接摘要在单元测试中，argument有时会出现pointer。这时，input可看作是 memory graph 本paper回答“当input是 memory gr...

Posted by Xiaoran on February 12, 2018

DART

Directed Automated Random Testing

这篇paper的完整题目是 DART: Directed Automated Random Testing 下载链接这篇paper的引用量居然达到了2247，也是没sei了摘要 DART这个工具分为3部分通过静态解析原代码，自动化的提取一个程序与使用环境相关的 interface 自动化的为这个 interface...

Posted by Xiaoran on February 9, 2018

GSE

Generalized Symbolic Execution

这篇paper的完整题目是 Generalized Symbolic Execution for Model Checking and Testing 下载链接摘要本文给出新的symbolic execution模型，用来自动化的检查软件。两个步骤： 1、instrument程序 2、使用新算法（lazy initialization）操作数组、树以及co...

Posted by Xiaoran on February 8, 2018

Daikon安装

Install on Ubuntu 16.04

Daikon是程序不变量的推断工具。这里展示5.6.2版本的Daikon在Ubuntu 16.04上的安装步骤，共5步 1. 首先找一个你想安放Daikon的路径，然后在命令行执行以下命令： mkdir daikonparent cd daikonparent wget http://plse.cs.washington.edu/daikon/download/daikon-5....

Posted by Xiaoran on February 7, 2018

Daikon 2001 paper

程序不变量推断工具

这篇paper的完整题目是 Dynamically Discovering Likely Program Invariants to Support Program Evolution 下载链接注：本文标题中的序号表示这段内容出现在paper中的某个section（比如 “2、例子” 对应 paper 中的 section 2 ） Daicon的出现背景 ...