An Approach to Integration Testing Based on Data Flow Specifications

  title={An Approach to Integration Testing Based on Data Flow Specifications},
  author={Yuting Chen and Shaoying Liu and Fumiko Nagoya},
Integration testing of programs based on formal specifications can benefit considerably from the comprehensibility of specifications. In this paper, we describe an approach to testing programs based on data-flow-oriented specifications by analyzing data flow paths and discussing criteria for test case generation. This approach suggests a specific way to generate test cases directly from formalized data flow diagrams and the associated textual specifications. We apply the approach in a case… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 22 references

A case study of modeling an ATM using SOFL

  • S. Liu
  • Technical report HCIS2003-01, http://cis.k.hosei…
  • 2003
1 Excerpt

An automated test strategy based on UML diagrams

  • F.B
  • Ericsson Rational User Conference, Upplands Vasby…
  • 2001
2 Excerpts

Similar Papers

Loading similar papers…