基于GSPN的导弹多层级测试性需求建模与指标评估
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
（海军航空大学岸防兵学院，山东 烟台２６４００１）
摘 要：针对目前导弹测试性需求建模尚未成熟，开展测试性需求分析难度较高的问题，提出一种基于广义 随 机 Ｐｅｔｒｉ网（ｇｅｎｅｒａｌｉｚｅｄｓｔｏｃｈａｓｔｉｃＰｅｔｒｉｎｅｔ，ＧＳＰＮ）的 测 试 性 需 求 建 模 方 法 。 在 分 析 导 弹 结 构 的 基 础 上 对 导 弹 测试性需求问题进行了建模，给出导弹两级 ＧＳＰＮ 模型，深入分析其导弹系统的故障检测及维修过程。根据 ＧＳＰＮ 模 型 同 构 于 嵌 入 马 尔 可 夫 链（ｅｍｂｅｄｄｅｄ Ｍａｒｋｏｖｃｈａｉｎ，ＥＭＣ），以 实 存 状 态 集 和 消 失 状 态 集 表 征 库 所 变 迁 ， 采用同构法对测试性指标进行求解。将多层级 ＧＳＰＮ 模型分解化简，减少状态空间数量的求解。对导弹的 ＧＳＰＮ 模型进行定性和定量分 析，求 解 不 同 层 级 测 试 性 指 标 最 后 通 过 仿 真 计 算，与 系 统 要 求 可 用 度 误 差 不 超 过 ０．７％，验证了多层 ＧＳＰＮ模型的可行性和分析结果的可信性。
文第章２４编０３２号１卷：１年 ００４１第５月０４６Ｘ期（２０２１）０４０９７０１０ Ｓｙｓｔｅｍｓ系Ｅｎ统ｇｉ工ｎｅ程ｅｒｉ与ｎｇ电ａ子ｎｄ技Ｅｌ术ｅｃｔｒｏｎｉｃｓ网址Ｖ：ｗｏＡｌｗｐ．ｗ４ｒｉ３ｌ．ｓ ｙ２ｓ０Ｎ２ｅｌｏ１ｅ．．４ｃｏｍ
基于 犌犛犘犖 的导弹多层级测试性需求建模与指标评估
翟禹尧 ，史贤俊，吕佳朋，韩 露
ＺＨＡＩＹｕｙａｏ ，ＳＨＩＸｉａｎｊｕｎ，ＬＹＵＪｉａｐｅｎｇ，ＨＡＮ Ｌｕ
（犆狅犪狊狋犌狌犪狉犱犃犮犪犱犲犿狔，犖犪狏犪犾犃犲狉狅狀犪狌狋犻犮犪犾犝狀犻狏犲狉狊犻狋狔，犢犪狀狋犪犻２６４００１，犆犺犻狀犪）
ｄ ｉｆｆ ｉｃ犃ｕｌ犫ｔ狊狋ｔ狉ｏ犪犮狋ｃｏ：ｎＡｄｉｕｍｃｔｉｎｔｇｅｓａｔｔｔｒｈｅｅｑｕｐｉｒｒｏｅｂｍｌｅｅｎｍｔｔｈａａｎｔａｌｔｙｈｓｅｉｓｔ，ｅｓａｔｒｔｅｅｑｓｕｔｉｒｒｅｅｍｑｅｕｉｎｒｔｅｍｍｏｅｎｄｔｅｌｉｎｍｇｏｄｏｅｆｌｉｍｎｉｇｓｓｉｍｌｅｅｓｔｈｉｓｏｄｎｏｔｂａｙｓｅｅｔｄｍｏａｎｔｕｒｇｅｅｎａｅｎｒｄａｌｉｉｔｚｅｉｄｓ ｓｔｏｃｈａｓｔｉｃＰｅｔｒｉｎｅｔ （ＧＳＰＮ）ｉｓｐｒｏｐｏｓｅｄ．Ｂａｓｅｄｏｎｔｈｅａｎａｌｙｓｉｓｏｆｔｈｅ ｍｉｓｓｉｌｅｓｔｒｕｃｔｕｒｅ，ｔｈｅｔｅｓｔａｂｉｌｉｔｙ ｒｅｑｕｉｒｅｍｅｎｔｓｏｆｔｈｅｍｉｓｓｉｌｅａｒｅｍｏｄｅｌｅｄ，ａｎｄａｔｗｏｓｔａｇｅＧＳＰＮｍｏｄｅｌｏｆｔｈｅｍｉｓｓｉｌｅｉｓｇｉｖｅｎｔｏａｎａｌｙｚｅｔｈｅｆａｕｌｔ ｄｅｔｅｃｔｉｏｎａｎｄｍａｉｎｔｅｎａｎｃｅｐｒｏｃｅｓｓｏｆｔｈｅｍｉｓｓｉｌｅｓｙｓｔｅｍ．ＡｃｃｏｒｄｉｎｇｔｏｔｈｅＧＳＰＮ ｍｏｄｅｌ，ｉｔｉｓｉｓｏｍｏｒｐｈｉｃｔｏｔｈｅ ｅｍｂｅｄｄｅｄＭａｒｋｏｖｃｈａｉｎ．Ｔｈｅｅｘｉｓｔｉｎｇｓｔａｔｅｓｅｔａｎｄｄｉｓａｐｐｅａｒｉｎｇｓｔａｔｅｓｅｔａｒｅｕｓｅｄｔｏｒｅｐｒｅｓｅｎｔｔｈｅｃｈａｎｇｅｏｆ ｔｈｅｐｌａｃｅ，ａｎｄｔｈｅｔｅｓｔｉｎｄｅｘｉｓｓｏｌｖｅｄｂｙｕｓｉｎｇｔｈｅｉｓｏｍｏｒｐｈｉｓｍ ｍｅｔｈｏｄ．ＴｈｅｍｕｌｔｉｌｅｖｅｌＧＳＰＮ ｍｏｄｅｌｉｓ ｄｅｃｏｍｐｏｓｅｄｉｎｔｏｍｕｌｔｉｐｌｅｓｕｂｎｅｔｓｆｒｏｍｔｏｐｔｏｂｏｔｔｏｍ，ｗｈｉｃｈｇｒｅａｔｌｙｒｅｄｕｃｅｓｔｈｅｎｕｍｂｅｒｏｆｓｔａｔｅｓｐａｃｅｓ．Ｔｈｅ ｅｑｕｉｖａｌｅｎｔｔｒａｎｓｉｔｉｏｎｒｕｌｅｓｏｌｖｅｓｔｈｅｃｏｍｐｒｅｓｓｅｄｓｕｂｎｅｔ．Ｆｉｎａｌｌｙ，ａｃｏｍｂｉｎａｔｉｏｎｏｆｑｕａｌｉｔａｔｉｖｅａｎａｌｙｓｉｓａｎｄ ｓｑｉｕｍａｎｕｌｔｉａｔｔａｉｔｏｉｎｖｅｃａｃｌａｃｌｕｃｌｕａｌｔａｉｔｏｉｎｏｎ，ｔｉｈｓｅｕａｓｖｅａｉｄｌａｔｂｏｉｌｉｄｔｙｅｔｅｅｒｒｒｍｏｉｒｎｅｗｉｔｔｈｈｅｔｈｔｅｅｓｓｔｙｓｉｔｎｅｄｍｅｘｒｅｒｑｅｕｑｉｕｒｉｅｒｍｅｅｍｎｅｔｎｓｔｓｄｏｏｅｆｓｎｍｏｉｔｓｓｅｉｘｌｅｃｓｅｅａｄｔ０ａ．ｌ７ｌ％ｌｅ，ｖｅｗｌｓｈｉ．ｃｈＴｖｈｅｒｒｏｉｕｆｉｇｅｈｓ ｔｈｅｆｅａｓｉｂｉｌｉｔｙｏｆｔｈｅｍｕｌｔｉｌａｙｅｒＧＳＰＮ ｍｏｄｅｌａｎｄｔｈｅｃｒｅｄｉｂｉｌｉｔｙｏｆｔｈｅａｎａｌｙｓｉｓｒｅｓｕｌｔｓ．
测试性需求（ｔｅｓｔａｂｉｌｉｔｙｒｅｑｕｉｒｅｍｅｎｔ，ＴＲ）也称测试性 确定是测试性 需 ［１］ 求分析亟待解决的重要问题，同时也是
收稿日期：２０２０ ０３ １９；修回日期：２０２０ ０７ ２２；网络优先出版日期：２０２０ ０９ ２３。 网络优先出版地址：ｈｔｔｐｓ：∥ｋｎｓ．ｃｎｋｉ．ｎｅｔ／ｋｃｍｓ／ｄｅｔａｉｌ／１１．２４２２．ＴＮ．２０２００９２３．０８３４．００２．ｈｔｍｌ 基金项目：国家自然科学基金青年科学基金（６１９０３３７４）资助课题 通讯作者．Ｅｍａｉｌ：４１２９９７２８３＠ｑｑ．ｃｏｍ 引用格式：翟禹尧，史贤俊，吕佳朋，等．基于 ＧＳＰＮ的导弹多层级测试性需求建模与指标评估［Ｊ］．系统工程与电子技术，２０２１，４３（４）： ９７０９７９． 犚犲犳犲狉犲狀犮犲犳狅狉犿犪狋：ＺＨＡＩＹＹ，ＳＨＩＸＪ，ＬＹＵＪＰ，ｅｔａｌ．ＭｏｄｅｌｉｎｇａｎｄｉｎｄｅｘｅｖａｌｕａｔｉｏｎｏｆｍｕｌｔｉｌｅｖｅｌｔｅｓｔａｂｉｌｉｔｙｏｆｍｉｓｓｉｌｅｓｂａｓｅｄｏｎＧＳＰＮ［Ｊ］． ＳｙｓｔｅｍｓＥｎｇｉｎｅｅｒｉｎｇａｎｄＥｌｅｃｔｒｏｎｉｃｓ，２０２１，４３（４）：９７０９７９．
犓犲狔狑狅狉犱狊：ｔｅｓｔａｂｉｌｉｔｙｒｅｑｕｉｒｅｍｅｎｔｓｍｏｄｅｌｉｎｇ；ｔｅｓｔａｂｉｌｉｔｙ；ｅｍｂｅｄｄｅｄＭａｒｋｏｖｃｈａｉｎ（ＥＭＣ）；ｉｓｏｍｏｒｐｈｉｓｍ； ｔｅｓｔａｂｉｌｉｔｙｉｎｄｅｘ；ａｖａｉｌａｂｉｌｉｔｙ
பைடு நூலகம்
０ 引 言
要 求 ，包 括 定 性 要 求 和 定 量 要 求 ，除 了 说 明 测 试 性 设 计 要 “做什么”之外，也还要明确“做到什么程度”。测试性指标
关键词：测试性需求建模；测试性；嵌入马尔可夫链；同构法；测试性指标；可用度 中图分类号：ＴＰ２０６ 文献标志码：Ａ 犇犗犐：１０．１２３０５／ｊ．ｉｓｓｎ．１００１５０６Ｘ．２０２１．０４．１４
犕狅犱犲犾犻狀犵犪狀犱犻狀犱犲犿狓犻狊犲狊犻狏犾犪犲犾狊狌犪犫狋犪犻狊狅犲狀犱狅狅犳狀犿犌狌犛犾狋犘犻犖犾犲狏犲犾狋犲狊狋犪犫犻犾犻狋狔狅犳
摘 要：针对目前导弹测试性需求建模尚未成熟，开展测试性需求分析难度较高的问题，提出一种基于广义 随 机 Ｐｅｔｒｉ网（ｇｅｎｅｒａｌｉｚｅｄｓｔｏｃｈａｓｔｉｃＰｅｔｒｉｎｅｔ，ＧＳＰＮ）的 测 试 性 需 求 建 模 方 法 。 在 分 析 导 弹 结 构 的 基 础 上 对 导 弹 测试性需求问题进行了建模，给出导弹两级 ＧＳＰＮ 模型，深入分析其导弹系统的故障检测及维修过程。根据 ＧＳＰＮ 模 型 同 构 于 嵌 入 马 尔 可 夫 链（ｅｍｂｅｄｄｅｄ Ｍａｒｋｏｖｃｈａｉｎ，ＥＭＣ），以 实 存 状 态 集 和 消 失 状 态 集 表 征 库 所 变 迁 ， 采用同构法对测试性指标进行求解。将多层级 ＧＳＰＮ 模型分解化简，减少状态空间数量的求解。对导弹的 ＧＳＰＮ 模型进行定性和定量分 析，求 解 不 同 层 级 测 试 性 指 标 最 后 通 过 仿 真 计 算，与 系 统 要 求 可 用 度 误 差 不 超 过 ０．７％，验证了多层 ＧＳＰＮ模型的可行性和分析结果的可信性。
文第章２４编０３２号１卷：１年 ００４１第５月０４６Ｘ期（２０２１）０４０９７０１０ Ｓｙｓｔｅｍｓ系Ｅｎ统ｇｉ工ｎｅ程ｅｒｉ与ｎｇ电ａ子ｎｄ技Ｅｌ术ｅｃｔｒｏｎｉｃｓ网址Ｖ：ｗｏＡｌｗｐ．ｗ４ｒｉ３ｌ．ｓ ｙ２ｓ０Ｎ２ｅｌｏ１ｅ．．４ｃｏｍ
基于 犌犛犘犖 的导弹多层级测试性需求建模与指标评估
翟禹尧 ，史贤俊，吕佳朋，韩 露
ＺＨＡＩＹｕｙａｏ ，ＳＨＩＸｉａｎｊｕｎ，ＬＹＵＪｉａｐｅｎｇ，ＨＡＮ Ｌｕ
（犆狅犪狊狋犌狌犪狉犱犃犮犪犱犲犿狔，犖犪狏犪犾犃犲狉狅狀犪狌狋犻犮犪犾犝狀犻狏犲狉狊犻狋狔，犢犪狀狋犪犻２６４００１，犆犺犻狀犪）
ｄ ｉｆｆ ｉｃ犃ｕｌ犫ｔ狊狋ｔ狉ｏ犪犮狋ｃｏ：ｎＡｄｉｕｍｃｔｉｎｔｇｅｓａｔｔｔｒｈｅｅｑｕｐｉｒｒｏｅｂｍｌｅｅｎｍｔｔｈａａｎｔａｌｔｙｈｓｅｉｓｔ，ｅｓａｔｒｔｅｅｑｓｕｔｉｒｒｅｅｍｑｅｕｉｎｒｔｅｍｍｏｅｎｄｔｅｌｉｎｍｇｏｄｏｅｆｌｉｍｎｉｇｓｓｉｍｌｅｅｓｔｈｉｓｏｄｎｏｔｂａｙｓｅｅｔｄｍｏａｎｔｕｒｇｅｅｎａｅｎｒｄａｌｉｉｔｚｅｉｄｓ ｓｔｏｃｈａｓｔｉｃＰｅｔｒｉｎｅｔ （ＧＳＰＮ）ｉｓｐｒｏｐｏｓｅｄ．Ｂａｓｅｄｏｎｔｈｅａｎａｌｙｓｉｓｏｆｔｈｅ ｍｉｓｓｉｌｅｓｔｒｕｃｔｕｒｅ，ｔｈｅｔｅｓｔａｂｉｌｉｔｙ ｒｅｑｕｉｒｅｍｅｎｔｓｏｆｔｈｅｍｉｓｓｉｌｅａｒｅｍｏｄｅｌｅｄ，ａｎｄａｔｗｏｓｔａｇｅＧＳＰＮｍｏｄｅｌｏｆｔｈｅｍｉｓｓｉｌｅｉｓｇｉｖｅｎｔｏａｎａｌｙｚｅｔｈｅｆａｕｌｔ ｄｅｔｅｃｔｉｏｎａｎｄｍａｉｎｔｅｎａｎｃｅｐｒｏｃｅｓｓｏｆｔｈｅｍｉｓｓｉｌｅｓｙｓｔｅｍ．ＡｃｃｏｒｄｉｎｇｔｏｔｈｅＧＳＰＮ ｍｏｄｅｌ，ｉｔｉｓｉｓｏｍｏｒｐｈｉｃｔｏｔｈｅ ｅｍｂｅｄｄｅｄＭａｒｋｏｖｃｈａｉｎ．Ｔｈｅｅｘｉｓｔｉｎｇｓｔａｔｅｓｅｔａｎｄｄｉｓａｐｐｅａｒｉｎｇｓｔａｔｅｓｅｔａｒｅｕｓｅｄｔｏｒｅｐｒｅｓｅｎｔｔｈｅｃｈａｎｇｅｏｆ ｔｈｅｐｌａｃｅ，ａｎｄｔｈｅｔｅｓｔｉｎｄｅｘｉｓｓｏｌｖｅｄｂｙｕｓｉｎｇｔｈｅｉｓｏｍｏｒｐｈｉｓｍ ｍｅｔｈｏｄ．ＴｈｅｍｕｌｔｉｌｅｖｅｌＧＳＰＮ ｍｏｄｅｌｉｓ ｄｅｃｏｍｐｏｓｅｄｉｎｔｏｍｕｌｔｉｐｌｅｓｕｂｎｅｔｓｆｒｏｍｔｏｐｔｏｂｏｔｔｏｍ，ｗｈｉｃｈｇｒｅａｔｌｙｒｅｄｕｃｅｓｔｈｅｎｕｍｂｅｒｏｆｓｔａｔｅｓｐａｃｅｓ．Ｔｈｅ ｅｑｕｉｖａｌｅｎｔｔｒａｎｓｉｔｉｏｎｒｕｌｅｓｏｌｖｅｓｔｈｅｃｏｍｐｒｅｓｓｅｄｓｕｂｎｅｔ．Ｆｉｎａｌｌｙ，ａｃｏｍｂｉｎａｔｉｏｎｏｆｑｕａｌｉｔａｔｉｖｅａｎａｌｙｓｉｓａｎｄ ｓｑｉｕｍａｎｕｌｔｉａｔｔａｉｔｏｉｎｖｅｃａｃｌａｃｌｕｃｌｕａｌｔａｉｔｏｉｎｏｎ，ｔｉｈｓｅｕａｓｖｅａｉｄｌａｔｂｏｉｌｉｄｔｙｅｔｅｅｒｒｒｍｏｉｒｎｅｗｉｔｔｈｈｅｔｈｔｅｅｓｓｔｙｓｉｔｎｅｄｍｅｘｒｅｒｑｅｕｑｉｕｒｉｅｒｍｅｅｍｎｅｔｎｓｔｓｄｏｏｅｆｓｎｍｏｉｔｓｓｅｉｘｌｅｃｓｅｅａｄｔ０ａ．ｌ７ｌ％ｌｅ，ｖｅｗｌｓｈｉ．ｃｈＴｖｈｅｒｒｏｉｕｆｉｇｅｈｓ ｔｈｅｆｅａｓｉｂｉｌｉｔｙｏｆｔｈｅｍｕｌｔｉｌａｙｅｒＧＳＰＮ ｍｏｄｅｌａｎｄｔｈｅｃｒｅｄｉｂｉｌｉｔｙｏｆｔｈｅａｎａｌｙｓｉｓｒｅｓｕｌｔｓ．
测试性需求（ｔｅｓｔａｂｉｌｉｔｙｒｅｑｕｉｒｅｍｅｎｔ，ＴＲ）也称测试性 确定是测试性 需 ［１］ 求分析亟待解决的重要问题，同时也是
收稿日期：２０２０ ０３ １９；修回日期：２０２０ ０７ ２２；网络优先出版日期：２０２０ ０９ ２３。 网络优先出版地址：ｈｔｔｐｓ：∥ｋｎｓ．ｃｎｋｉ．ｎｅｔ／ｋｃｍｓ／ｄｅｔａｉｌ／１１．２４２２．ＴＮ．２０２００９２３．０８３４．００２．ｈｔｍｌ 基金项目：国家自然科学基金青年科学基金（６１９０３３７４）资助课题 通讯作者．Ｅｍａｉｌ：４１２９９７２８３＠ｑｑ．ｃｏｍ 引用格式：翟禹尧，史贤俊，吕佳朋，等．基于 ＧＳＰＮ的导弹多层级测试性需求建模与指标评估［Ｊ］．系统工程与电子技术，２０２１，４３（４）： ９７０９７９． 犚犲犳犲狉犲狀犮犲犳狅狉犿犪狋：ＺＨＡＩＹＹ，ＳＨＩＸＪ，ＬＹＵＪＰ，ｅｔａｌ．ＭｏｄｅｌｉｎｇａｎｄｉｎｄｅｘｅｖａｌｕａｔｉｏｎｏｆｍｕｌｔｉｌｅｖｅｌｔｅｓｔａｂｉｌｉｔｙｏｆｍｉｓｓｉｌｅｓｂａｓｅｄｏｎＧＳＰＮ［Ｊ］． ＳｙｓｔｅｍｓＥｎｇｉｎｅｅｒｉｎｇａｎｄＥｌｅｃｔｒｏｎｉｃｓ，２０２１，４３（４）：９７０９７９．
犓犲狔狑狅狉犱狊：ｔｅｓｔａｂｉｌｉｔｙｒｅｑｕｉｒｅｍｅｎｔｓｍｏｄｅｌｉｎｇ；ｔｅｓｔａｂｉｌｉｔｙ；ｅｍｂｅｄｄｅｄＭａｒｋｏｖｃｈａｉｎ（ＥＭＣ）；ｉｓｏｍｏｒｐｈｉｓｍ； ｔｅｓｔａｂｉｌｉｔｙｉｎｄｅｘ；ａｖａｉｌａｂｉｌｉｔｙ
பைடு நூலகம்
０ 引 言
要 求 ，包 括 定 性 要 求 和 定 量 要 求 ，除 了 说 明 测 试 性 设 计 要 “做什么”之外，也还要明确“做到什么程度”。测试性指标
关键词：测试性需求建模；测试性；嵌入马尔可夫链；同构法；测试性指标；可用度 中图分类号：ＴＰ２０６ 文献标志码：Ａ 犇犗犐：１０．１２３０５／ｊ．ｉｓｓｎ．１００１５０６Ｘ．２０２１．０４．１４
犕狅犱犲犾犻狀犵犪狀犱犻狀犱犲犿狓犻狊犲狊犻狏犾犪犲犾狊狌犪犫狋犪犻狊狅犲狀犱狅狅犳狀犿犌狌犛犾狋犘犻犖犾犲狏犲犾狋犲狊狋犪犫犻犾犻狋狔狅犳