A rigorous approach towards test case generation

  • Authors:

  • Zuohua Ding;Kao Zhang;Jueliang Hu

  • Affiliations:

  • Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Xiasha College Park, Hangzhou 310018, PR China and National Institute for Systems Test and Productivity, University ...;Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Xiasha College Park, Hangzhou 310018, PR China;Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Xiasha College Park, Hangzhou 310018, PR China

  • Venue:
  • Information Sciences: an International Journal
  • Year:
  • 2008

Quantified Score

Hi-index 0.07

Visualization

Abstract

This paper presents a method to generate test cases for sequential programs and concurrent programs written in a flow based program language. Test cases of sequential programs are generated based on condition calculation, and can be combined together to form SYN-sequences for concurrent program testing. Semantics of the language provides an infrastructure for the test case generation, and thus our method may be considered as a rigorous and systematic approach to the program testing. Compared with some formal testing methods, our method can avoid hitting state explosion problem in the test formation. Besides, the complexity analysis reveals that our method is time saving. Our method has been applied to generate test cases for PPP over ATM, a subsystem of IAD that runs data and voice over DSL.