Eisuke Itoh

Learn More
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce different results with the same input data according to execution timings of the program. In testing of concurrent programs, test data must specify not only input data but also sequences(More)
Testing of programs is important to increase reliability of the programs. Coverage is a ratio of the number of worked test-events to all test-events, and it is used as a metric of testing sufficiency and reliability. The test-events are defined by a testing criterion. Some testing criteria are proposed for evaluating testing sufficiency of sequential(More)
  • 1