欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
通过分析小卫星测试中被测对象组成，建立测试对象与T-时延离散Petri网（T—timed discrete Petrinets，TTDPN）映射关系，给出被测对象的TTDPN描述．提出TTDPN的矩阵表示方法，并证明关系矩阵与TTDPN模型间的若干性质．设计基于小卫星TTDPN模型的测试序列动态生成算法，解决了现有小卫星测试系统中测试序列执行效率低的问题．为验证算法的有效性和性能，在相同模型下将文中算法与传统测试序列生成算法进行仿真对比．结果表明，该算法能够根据用户需求，针对模型中可达状态，动态地生成测试序列，能够满足小卫星测试系统高可靠性要求．
英文摘要：
The maps between T-timed discrete Petri nets （TTDPN） and test object were established through analyzing the composition of test object in the micro-satellite test system. TTDPN description of the test object was given. TTDPN＇s matrix expression was proposed, and the properties between relation matrix and TTDPN model were proved. Based on the micro-satellite TTDPN model, the dynamic generation algorithm of test sequences was designed to solve the low efficiency problem of the test sequence in existing micro-satellites test system. In order to verify the validation and efficiency of the algorithm, the comparison simulation between this algorithm and traditional test sequences generation algorithm was made under the same micro-satellite model. The results show that the algorithm can generate the test sequences dynamically according to the user＇s requirement, and can meet the high reliability requirement of micro-satellite test system.
同期刊论文项目
同项目期刊论文
期刊信息
位置：