Abstract:Modern programs are usually heap-based, where the programs manipulate heap-based data structures to perform computations. In software engineering tasks such as test generation and bounded verification, we need to determine the existence of a reachable heap state that satisfies a given specification, or construct the heap state by a sequence of calls to the public methods. Given the huge space combined from the methods and their arguments, the existing approaches typically adopt static analysis or heuristic search to explore only a small part of search space in the hope of finding the target state and target call sequence early on. However, these approaches do not have satisfactory performance on many real-world complex methods and specifications. In this paper, we propose an efficient synthesis algorithm for method call sequences, including an offline procedure for exploring all reachable heap states within a scope, and an online procedure for generating a method call sequence from the explored heap states to satisfy the given specification. To improve the efficiency of state exploration, we introduce a notion of abstract heap state for compactly representing heap states of the same structure and propose a strategy of merging structurally-isomorphic states. The experimental results demonstrate that our approach substantially outperforms the baselines in both test generation and bounded verification.

Test Sequence Generation of a Communication Protocol by an Heuristic State Configuration Exploration

Study of protocol conformance test sequence generation algorithm based on FSM

A New Method to Generate Test Sequences for Protocol Conformance Testing

A Novel Method Of State Identification Sequences Generation For Testing Communication Protocols Modeled As Extended Finite State Machines

Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines

Automatic Test Generation Based on Hierarchical Finite State Machines

Test Sequences Generation in Protocol Test

Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs

Adaptive generation algorithm for executable state identification sequences in EFSM model

Configuration Exploration Algorithm for Partially Reconfigurable Architecture

Engineering Seminar ( WiSe 2020 / 21 ) Search Strategies in Concolic Testing Description

A Distributed Abnormal Packet Generation Engine Based on MapReduce.

Generating Interoperability Test Sequence for Distributed Test Architecture : A Generic Formal Framework

Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things

A test sequences optimization method for improving fault coverage

Semi-valid Fuzz Testing Case Generation for Stateful Network Protocol

Test Data Generation for Stateful Network Protocol Fuzzing Using a Rule-Based State Machine

A Test Path Generation Method Based on SSM Models

Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.

An Approach to Generate Test Cases Based on UML Sequence Diagrams

Protocol Interoperability Test Generation Based on MSC Test Purposes