标题: 从COTS/Binary元件中解析条件参数以辅助随机测试
Resolving Constraints from COTS/Binary components for Concolic Random Testing
作者: 范扬杰
黄世昆
资讯科学与工程研究所
关键字: 符号执行;随机测试;Symbolic execution;Random testing
公开日期: 2006
摘要: 软体品质透过软体测试来达到验证。软体测试是想要找到程式缺陷而进行技巧性审查的过程。目前有许多的方式应用在软体测试上,但是有些臭虫是却很难用传统的测试方法来找到,假如他们不常发生在一般的情况下。为了改进软体测试的涵盖率,许多研究中提出自动化产生所有可能输入资料的技术。
近期,较先进的做法是将具体和符号执行结合应用于随机测试中。先简化受测程式的原始码成基本的指令型式,然后依据不同指令附加额外的程式码以描述程式的行为,使用者提供具体的输入值来执行转换后的程式。在实际执行后,相关的条件参数会被储存起来,然后再解析条件参数以产生测试的例子。但是这种方法不适合使用在没有原始码的程式上,特别是程式中使用到商业软体或执行档的部份。我们在ALERT(自动化随机与逻辑推理运算测试)中提出一个解决之道,以接近原本程式语意的原则建立符号参数跟相依变数之间的关系。因此,可以保有原本符号的属性,并且抵达更多的程式路径。
Software quality is verified through software testing. Software testing is a process of technical investigation that is intended to reveal faults. There are many approaches to software testing, but bugs are difficult to find in conventional testing if they occur infrequently. In order to improve the test coverage, several techniques have been proposed to automatically generate all possible values of the inputs.
Recently, the developed methods are combining concrete and symbolic execution for Random Testing. They first try to instrument the source code of a program under testing. The program is executed on some user-provided concrete input values. After the concrete run, symbolic constraints are stored and then generate concrete test cases by solving these symbolic constraints. Unfortunately, access to instrument source code is often infeasible especially for COTS/Binary component. We present a method in the framework, ALERT (Automatic Logic Evaluation for Random Testing), which approximates the program semantics and establish a connection between symbolic parameters and dependent variables. As a result, the symbolic property can be preserved and more paths will be reached.
URI: http://140.113.39.130/cdrfb3/record/nctu/#GT009455640
http://hdl.handle.net/11536/82153
显示于类别:Thesis


文件中的档案:

  1. 564001.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.