作者: J. Etkin , J.A. Zinky
DOI: 10.1016/0165-6074(89)90213-5
关键词:
摘要: Abstract Testing and fault analysis of embedded computer systems is a tricky business, distribution the system makes it much more complicated. This paper sets up framework for debugging networks demonstrates feasible techniques that can detect subset network faults. It integrates an tool called Executable Models into throughout its life cycle. demonstrated through performance bottleneck detection X.25 protocol. advocates need in-advance design testability distributed systems.