封二强
- 作品数：38 被引量：37H指数：3
- 供职机构：中国航空综合技术研究所更多>>
- 发文基金：中国航空科学基金军内科研计划重点项目国防基础科研计划更多>>
- 相关领域：自动化与计算机技术一般工业技术航空宇航科学技术更多>>
- 基于模型的嵌入式软件测试用例生成模型
- 本发明提供了一种基于模型的嵌入式软件测试用例生成模型，其包括：测试需求建模模块、测试路径生成模块、测试数据生成模块、通用多样性测试数据生成模块和测试用例集生成模块，测试需求建模模块构建动态行为测试需求模型和静态结构测试需...
- 封二强吕金泽蔡玉华吴春成孙乾马力
- 软件可靠性测试加速方法分析被引量：2
- 2011年
- 阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。
- 封二强刘畅郑军
- 关键词：软件可靠性测试软件可靠性工程
- 基于SysML的嵌入式软件安全性分析方法及其分析系统
- 本发明提供了一种基于SysML的嵌入式软件安全性分析方法，该方法包括：扩展SysML语言的语义，基于扩展SysML语言创建软件模型，对软件静态结构和动态行为进行完整准确描述，通过构建安全性分析规则库，针对软件模型进行软件...
- 周汉清吕海熊唐洋封二强蔡玉华刘勇李鑫然
- 文献传递
- 航空装备机载安全关键软件安全性测试需求获取方法研究被引量：1
- 2021年
- 针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性。最后,将软件安全性测试需求获取方法应用至某型号发动机数控系统控制软件的安全性测试中,验证了方法的有效性。
- 李雪飞封二强
- 关键词：安全性测试
- 美军软件适航标准分析
- 2022年
- 本文梳理了美军与软件相关的适航文件,介绍了美军适航性政策性文件、军用航空器软件适航相关要求,并对美军采用的软件适航性标准内容进行对比分析,给出美军典型飞机软件适航采标情况,对美军军用航空器软件适航工作进行总结,以便为我国军用航空器软件适航建设工作提供借鉴。
- 封二强
- 关键词：美军适航
- 一种基于剖面映射的显控软硬件系统可靠性试验激励方法
- 本发明是一种基于剖面映射的显控软硬件系统可靠性试验激励方法，该方法首先确定软件可靠性测试剖面以及综合环境应力剖面，然后利用剖面映射将软件可靠性测试剖面与综合环境应力剖面结合起来，形成软硬件可靠性综合试验剖面，利用该综合试...
- 封二强郑军蓝新生
- 文献传递
- 嵌入式软件接口失效模式自动识别与分析方法
- 本发明提供一种嵌入式软件接口失效模式自动识别与分析方法，其包括，步骤1：建立嵌入式软件接口失效模式模型；步骤2：建立嵌入式软件输入接口模型；步骤3：建立嵌入式软件输出接口模型；步骤4：嵌入式软件输入接口失效模式自动识别；...
- 封二强
- 基于模式的软件安全性需求研究
- 2021年
- 软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础。基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取。给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模式的分类和构建流程。通过实例应用,验证了模式对软件安全性需求获取的有效性。
- 李雪飞封二强
- 关键词：安全性安全性需求
- 基于模型的嵌入式软件测试用例生成模型
- 本发明提供了一种基于模型的嵌入式软件测试用例生成模型，其包括：测试需求建模模块、测试路径生成模块、测试数据生成模块、通用多样性测试数据生成模块和测试用例集生成模块，测试需求建模模块构建动态行为测试需求模型和静态结构测试需...
- 封二强吕金泽蔡玉华吴春成孙乾马力
- 基于GJB 5000A验证与确认开展航空装备FPGA软件测试的研究被引量：3
- 2020年
- 针对GJB 5000A-2008验证与确认工作域对航空装备FPGA产品规定不具体的现状,凝练总结了航空装备FPGA软件特点,结合GJB 5000A-2008验证与确认工作域对软件测试的要求,开展了航空装备FPGA软件测试的研究,可为航空装备FPGA软件测试过程供规范统一的实践要求。
- 初振华郑军封二强封二强
- 关键词：FPGA测试
