基于改进OOPN的有效载荷系统测试用例生成方法

针对空间有效载荷系统集成测试用例生成问题，在分析任务特点和测试技术发展趋势的基础上，采用改进面向对象Petri网（improved object oriented Petri net, IOOPN）的建模技术，提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法建立了对象工作模式的识别规则，采用启发式搜索生成单对象测试序列集，引用时间标尺实现系统级测试序列规划算法，满足了有效载荷系统级的测试要求，提高了测试的效率和水平，成功应用于某卫星科研实践。

Automatic generation of test cases for payload system based on improved OOPN

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.