Chuan-dong Huang

Learn More
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the possibility of synchronization problems among remote testers and the possibility that output-shifting faults go undetected. This paper proposes a new method of generating minimal(More)
A distributed system may have some separate interfaces called ports, which makes it necessary to have a separate tester at each port when testing such a system. This kind of test architecture may introduce several issues known as controllability and observability problems. This paper proposes a new method that utilizes a set of transformation rules to(More)
  • 1