司倩然 作品数:9 被引量:25 H指数:4 供职机构: 北京跟踪与通信技术研究所 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 航空宇航科学技术 军事 更多>>
面向体系建模工具的协同仿真技术及应用研究 2024年 为了更好地发挥体系建模工具在航天产品体系论证和设计中的作用,针对体系建模工具与领域仿真工具的融合运用问题,研究了面向体系建模工具的协同仿真方法及其特点,基于DoDAF框架进行了航天测控领域的体系建模,规划了体系建模工具与测控仿真工具软件的协同工作流程,设计了两者之间的数据交互接口,探索了体系建模与测控仿真相结合的航天测控方案设计和迭代优化模式。选取典型的航天测控任务场景,开展了协同仿真实验及数据分析工作。结果表明,采用将体系建模工具与领域仿真工具进行接口打通的方法,能够更好地发挥已有仿真系统的价值,同时提高体系建模的综合效率。 司倩然 代仁成 张卫祥关键词:仿真 数字化 基于早期数据的航天测控软件缺陷预测 2015年 为提高航天测控软件的质量与可靠性,提出一种基于改进的PSO-SVM(Particle Swarm Optimization-Support Vector Machine,粒子群优化支持向量机)方法的航天测控软件缺陷预测模型。针对航天测控软件领域特征,构造了基于软件生命周期的软件度量集,并收集了实际航天测控软件的度量和缺陷数据,通过对软件历史版本数据的学习,在软件当前版本的生命周期早期数据的基础上进行缺陷预测。实例应用结果表明,采用历史版本软件数据对当前软件版本进行缺陷预测,从全局来看可达90%的预测准确度。因此,该方法可用于对航天测控软件的缺陷预测。 夏烨 张慧颖 司倩然关键词:航天测控 基于缺陷分析的软件测试有效性评估方法 被引量:1 2013年 为利用软件测试活动检测到的缺陷信息进行测试活动的有效性评估,改进软件测试活动,提出一种基于缺陷度量和缺陷基线的测试有效性评估方法。以正交缺陷分类方法为基础建立软件缺陷的分类框架,研究缺陷触发特征、缺陷类型统计信息与测试活动的关联,建立缺陷关联基线。通过分析实际缺陷度量与缺陷基线的偏离情况,评估测试活动的有效性,明确测试活动的改进方向。实例分析表明,该模型能够便捷地应用于测试活动有效性的定性评估。 司倩然 张慧颖 闫国英关键词:软件测试 FPGA设计中的亚稳态问题及其预防方法研究 被引量:11 2014年 由于在复杂FPGA(Field Programmable Gate Array,现场可编程门阵列)设计中存在跨时钟域,通常会产生亚稳态现象。为有效地预防和解决该问题,分析FPGA设计中亚稳态的产生机理及其对数字信号处理系统的影响。根据不同的信号同步类型,针对单比特电平信号、脉冲信号和边沿信号,分别给出基于触发器级联的跨时钟域信号同步方法;针对并行信号,提出基于异步FIFO(First In First Out,先进先出队列)和握手协议的跨时钟域同步方法;并通过仿真手段分析信号同步方法的有效性及其适用范围。结果表明:这些方法能够正确有效地完成跨时钟域信号同步,预防可能出现的亚稳态问题,从而提高复杂FPGA设计的可靠性和稳定性。 杨岩岩 司倩然 马贤颖 杨少敏关键词:亚稳态 同步器 异步电路 基于静态删减算法的神经网络在软件可靠性预测中的应用 被引量:1 2013年 与传统的基于人工神经网络的软件可靠性预测模型结构普遍由预先经验或者通过不断尝试的方法确定不同,在分析一般的软件可靠性模型的基础上,提出将一种基于静态删减算法的神经网络模型应用到软件可靠性预测中。通过利用2组经典的软件失效数据进行仿真,并与传统的神经网络可靠性预测模型对比分析,研究了神经网络拓扑结构和预测精度的关系,结果表明,基于静态删减算法的运用能够提高神经网络模型对软件可靠性的预测精度。 夏烨 闫国英 司倩然关键词:神经网络 拓扑结构 基于数据源识别和驱动分析的软件系统测试方法 被引量:5 2021年 航天测控软件系统安全关键等级高,其质量直接决定航天任务成败,具有架构庞大、软件配置项多、内外接口复杂、数据传递路径长、处理实时性强等特点,软件系统测试的要求高且难度大,目前存在系统测试需求不清晰、测试针对性差等实际问题;航天测控软件系统是典型的数据驱动型软件系统,针对其特点,文章提出了一种基于数据源识别和数据流分析的软件系统测试方法,开展了数据源识别、数据流路径分析、数据状态分析和获取、系统级数据流顺序图生成等关键技术研究,给出了该方法的推荐工作流程;该方法已在多个航天测控中心软件系统测试中应用,实践表明,针对数据驱动型软件系统,该方法可以显著提高系统测试的设计有效性和测试效率。 魏波 张慧颖 司倩然关键词:数据驱动 软件系统测试 航天测控系统 数字装备模型符合性与一致性评估体系框架研究 数字模型是数字化建设的核心,数字装备是数字模型的高级形态,通过接入装备实时、历史数据以及算法等信息形成"数字孪生体",开展数字装备模型评估是工程实践中的重要难题。从用户角度出发,聚焦数字装备对用户要求的符合性和对实体装备... 张卫祥 司倩然 侯育卓 董锐 张慧颖 齐玉华 魏波关键词:符合性 一致性 航天测控软件缺陷管理与分析系统设计 被引量:4 2010年 在研究软件缺陷正交分类方法的基础上,针对航天测控软件特点,构造其正交分类框架,建立航天测控软件缺陷信息数据库,实现基于Web的航天测控软件缺陷管理与分析系统,对某测控软件系统的部分缺陷信息数据开展分析,得出一定的分析结果。 司倩然 闫国英关键词:航天测控 遥测软件测试用例复用技术研究及应用 被引量:4 2015年 针对传统遥测软件测试模式出现的测试周期长、效率低等问题,对遥测软件共性功能及其测试方法进行了深入分析,建立了基于测试用例复用的软件测试平台。该平台实现了测试数据管理、测试过程管理、可复用测试用例管理、测试文档生成和数据显示与存储等功能,大大减少了设计测试用例、准备测试数据、编制测试文档的时间,极大地提高了测试效率。实际应用表明,该平台设计先进,通用性好,测试效率高,具有一定的工程应用价值。 马贤颖 陈青 司倩然关键词:遥测 测试用例复用 软件测试