A Test Design and Coverage Measurement Method for Equipment Software System Testing | IEEE Conference Publication | IEEE Xplore