zhang01

摘要： 1.Problem: Drill-down capabilities that look at different granularities of the data, starting with directories and going through files to functions and lines of source code, are insufficient. Such capabilities make the assumption that the coverage issues themselves follow the code hierarchy. We argu 阅读全文

摘要： Problem:Detecting OS concurrency bugs is challenging due to the complexity of the OS synchronization, particularly with the presence of the OS specific interrupt context.• The OS specific interrupt context makes OS concurrency extremely complex and it has challenged the OS community for decadesTo de 阅读全文

摘要： Main idea：This paperhas proposed a coverage-guided systematic concurrency testing algorithm, where ordering constraints learned from the good test runs are used to guide the selection of high-risk interleavings for future test execution. We propose HaPSets to capture these ordering constraints and u 阅读全文

摘要： 本文的主要思想：Mining program behavior from execution traces is difficult for concurrent/distributed programs. Specifically, the inherent partial order relationships among events occurring across processes pose a big challenge to specification mining.In this paper, we propose a framework for mining partial 阅读全文

摘要： 本文的主要思想是： 通过判断和修剪不可达分支，找到一种新的结构测试技术，以提高程序结构测试的覆盖度和结构测试测量的精确度。为此，我们把动态分析、concolic execution和abstraction refinemen结合起来以克服传统方法的局限性。动态分析监视测试的执行以确定程序状态空间中被覆盖的元素和可达路径，concolic execution计算路径约束以确定如何遍历未被覆盖的路径和元素，并对路径约束进行求解以生成测试这些未覆盖路径的测试用例，Abstraction refinement修剪哪些不满足路径约束的不可达元素。不可达元素的定义：原文 An element is ide 阅读全文

摘要： 一、本文的主要思想：提出hybrid concolic testing,它交互使用random tests和 concolic tests以达到对程序状态空间的较深和较广的搜索。程序初始执行时，hybrid concolic testing执行random tests，当random tests达到饱和状态时（It does not produce any new coverage points after running some predetermined number of steps），算法自动从从当前的程序状态切换到concolic execution，对未搜索的点进行限定深度的详尽 阅读全文

摘要： 本文提出了一种符号并行执行的算法：ParSym，它支持符号执行和具体值执行的结合。算法由三部分组成：首先，Symbolic Execution Engine它具体执行程序，构建路径约束并求解约束，基于符号执行和具体值执行相结合。Parallel Symbolic Execution：function PARS YM( workItem )(depth, pos, inputs) <- workItem(constraints) <- EXECANDOBSERvE(testProgram)while depth>O 1\ POS<SIzE(constraints) doN 阅读全文

摘要： This paper discusses the research issues that cloud computing imposes on software testing. These issues were gathered during interviews with industry practitioners from eleven software organizations. The interviews were analyzed using qualitative grounded theorymethod. Findings of the study were co. 阅读全文

摘要： 本文的主要贡献：运用云计算技术提出了一个适合于可靠分布式系统的软件测试环境D-cloud。一、D-cloud的概念：D-Cloud aims for the realization of the software testing environment as follows:1) By the use of computing resource provided by the cloud computing system, a number of test case can be performed simultaneously, thus software testing can be ac 阅读全文

摘要： 1.本文的主要贡献： 第一个基于集群的并行符号执行引擎（parallel symbolic execution engine）；a testing platform for writing symbolic tests；a quasi-complete（半完备的） symbolic POSIX model that makes it possible to use symbolic execution on real-world systems.2. Problem Overview 首先，路径爆炸；其次，程序和运行环境之间的交互和协调；最后，using an automated test g 阅读全文