Cooperative software testing and analysis: Advances and challenges

Tao Xie, Lu Zhang, Xusheng Xiao, Ying Fei Xiong, Dan Hao

Research output: Contribution to journalArticle


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.

Original languageEnglish (US)
Pages (from-to)713-723
Number of pages11
JournalJournal of Computer Science and Technology
Issue number4
StatePublished - Jan 2014


  • software quality
  • software verification
  • testing and debugging

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Cooperative software testing and analysis: Advances and challenges'. Together they form a unique fingerprint.

  • Cite this