Abstract:

In order to generate the test cases of payload system automatically, a new reasoning method based on improved object oriented Petri net (IOOPN) model is proposed, which is based on a deep investigation of mission characteristics and the developing tendency of test technology. This method presents the rules of identifying work modes of objects, generates the test sequences of a single object by heuristic search,and realizes the algorithm of generating systematic test sequences by introducing a time staff. Thus it can meet the requirement of the payload system test and improve the efficiency and level of test. It has been successfully applied to the scientific practice of a certain satellite.