Path Exploration Tool
نویسندگان
چکیده
While veriication methods are becoming more frequently integrated into software development projects, software testing is still the main method used to search for programming errors. Software testing approaches focus on methods for covering diierent execution paths of a program, e.g., covering all the statements, or covering all the possible tests. Such coverage criteria are usually approximated using some add-hoc heuristics. We present a tool for testing execution paths in sequential and concurrent programs. The tool, path exploration tool (Pet), visualizes concurrent code as ow graphs, and allows the user to interactively select an (inter-leaved) execution path. It then calculates and displays the condition to execute such a path, and allows the user to easily modify the selection in order to cover additional related paths. We describe the design and architecture of this tool and suggest various extensions.
منابع مشابه
Strategic Technology Planning in Science-Based Subsectors of Petroleum Industry: The Case Study of R&D Roadmapping for Geochemical Exploration Technologies
Strategic planning of technology in Iran's oil industry has a long history, however, the knowledge-based sectors of the oil industry, despite their different characteristics, have been less exposed to such experiences, and hence the study of the experience in one of the key sub-sectors of this industry, namely the exploration geochemical sector, can be innovative. This article seeks to answer t...
متن کاملQ-Learning with Basic Emotions
Q-learning is a simple and powerful tool in solving dynamic problems where environments are unknown. It uses a balance of exploration and exploitation to find an optimal solution to the problem. In this paper, we propose using four basic emotions: joy, sadness, fear, and anger to influence a Qlearning agent. Simulations show that the proposed affective agent requires lesser number of steps to f...
متن کاملAn Integrated Traverse Planner and Analysis Tool for Planetary Exploration
Future planetary explorations will require surface traverses of unprecedented frequency, length, and duration. As a result, there is need for exploration support tools to maximize productivity, scientific return, and safety. The Massachusetts Institute of Technology is currently developing such a system, called the Surface Exploration Traverse Analysis and Navigation Tool (SEXTANT). The goal of...
متن کاملSatisfiability Modulo Bit-precise Theories for Program Exploration
The Satisfiability Modulo Theories solver Z3 [10] is used in several program analysis and verification tools at Microsoft Research. Some of these tools require bit-precise reasoning for accurately modeling machine arithmetic instructions. But this alone is rarely sufficient, and an integration with other theories is required. The Pex tool [20] performs program exploration of .NET programs by ge...
متن کاملUncertainty Constrained robotic Exploration: An Integrated Exploration Planner
Efficient robotic exploration of an unknown, sensor limited, global-information-deficient environments poses unique challenges to path planning algorithms. In these difficult environments, no deterministic guarantees on path completion and mission success can be made in general. Integrated Exploration (IE), which strives to combine localization and exploration, must be solved in order to create...
متن کامل