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

【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.更多还原