【摘 要】
：
In recent years, to maximize the value of software testing and analysis, we have proposed the methodology of cooperative software testing and analysis (in short
【基金项目】
：
The National Science Foundation of USA;The National Natural Science Foundation of China
论文部分内容阅读
In recent years, to maximize the value of software testing and analysis, we have proposed the methodology of cooperative software testing and analysis (in short as cooperative testing and analysis) to enable testing and analysis tools to cooperate with their users (in the form of tool-human cooperation), and enable one tool to cooperate with another tool (in the form of tool-tool cooperation). Such cooperations are motivated by the observation that a tool is typically not powerful enough to address complications in testing or analysis of complex real-world software, and the tool user or another tool may be able to help out some problems faced by the tool. To enable tool-human or tool-tool cooperation, effective mechanisms need to be developed 1) for a tool to communicate problems faced by the tool to the tool user or another tool, and 2) for the tool user or another tool to assist the tool to address the problems. Such methodology of cooperative testing and analysis forms a new research frontier on synergistic cooperations between humans and tools along with cooperations between tools and tools. This article presents recent example advances and challenges on cooperative testing and analysis.
其他文献
A type of distributed pump-jet propulsion system (DPJP) is developed with two or four specially designed pump-jet pods located around the axisymmetric underwate
Recent advances in connected vehicles and autonomous driving are going to change the face of ground trans-portation as we know it. This paper describes the desi
In this paper we extend the results obtained in [3], where are investigated the general settings of the two-dimensional complex Finsler manifolds, with respect
Performance metrics and models are prerequisites for scientific understanding and optimization. This paper introduces a new footprint-based theory and reviews t
Multiple description coding (MDC) generates multiple decodable bitstreams for a source to combat informa-tion loss. In this paper, multipath routing problem for
A new method is presented for the water impact simulation, in which the air-water two phase flow is solved using the pressure-based computational fluid dynamics
Silicon physical unclonable function(PUF) is a popular hardware security primitive that exploits the intrinsic variation of IC manufacturing process to generate
Chip multiprocessor presents brand new opportunities for holistic on-chip data and coherence management solutions. An intelligent protocol should be adaptive to
A common method of prolonging the lifetime of wireless sensor networks is to use low power duty cycling protocol. Existing protocols consist of two categories:
Wellbore temperature field equations are established with considerations of the enthalpy changes of the natural gas during the deep-water gas well testing. A pr