论文部分内容阅读
通过分析小卫星测试中被测对象组成，建立测试对象与T-时延离散Petri网（T—timed discrete Petrinets，TTDPN）映射关系，给出被测对象的TTDPN描述．提出TTDPN的矩阵表示方法，并证明关系矩阵与TTDPN模型间的若干性质．设计基于小卫星TTDPN模型的测试序列动态生成算法，解决了现有小卫星测试系统中测试序列执行效率低的问题．为验证算法的有效性和性能，在相同模型下将文中算法与传统测试序列生成算法进行仿真对比．结果表明，该算法能够根据用户需求，针对模型中可达状态，动态地生成测试