软件FMEA实例研究 被引量：10

1

作者 石柱 马宽 郑重 《航天控制》 CSCD 北大核心 2010年第2期75-78,83,共5页

软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类... 软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。 展开更多

关键词 软件失效模式和影响分析 软件可靠性 软件可靠性分析

下载PDF 职称材料

软件可靠性度量实例研究 被引量：8

2

作者 石柱 郑重 《系统工程与电子技术》 EI CSCD 北大核心 2011年第1期233-236,共4页

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详... 为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。 展开更多

关键词 软件可靠性 软件度量 软件可靠性评价

下载PDF 职称材料

基于深度强化学习的移动机器人导航控制 被引量：7

3

作者 陈杰 程胜 石林 《电子设计工程》 2019年第15期61-65,共5页

针对移动机器人在未知环境下的无图导航问题,本文提出了一种基于深度强化学习的端到端的控制方法。机器人需要在没有地图的情况下,仅仅依靠视觉传感器的RGB图像以及与目标之间的相对位置作为输入,来完成导航任务并避开沿途的障碍物。在... 针对移动机器人在未知环境下的无图导航问题,本文提出了一种基于深度强化学习的端到端的控制方法。机器人需要在没有地图的情况下,仅仅依靠视觉传感器的RGB图像以及与目标之间的相对位置作为输入,来完成导航任务并避开沿途的障碍物。在任意构建的仿真环境中,基于学习策略的机器人可以快速适应陌生场景最终到达目标位置,并且不需要任何人为标记。实验表明,这种端到端的控制策略可以实现仿真环境中的导航任务,且与普通离散控制的深度强化学习的方法相比,机器人学习导航策略的平均收敛时间降低了75%。 展开更多

关键词 自主导航 深度强化学习 自动控制 移动机器人

下载PDF 职称材料

场景法在系统测试用例设计中的应用 被引量：6

4

作者 盛晓娟 贾丽娟 姬鹏超 《计算机工程与设计》 北大核心 2016年第7期1798-1804,共7页

将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质... 将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质量审计及认证审查结果表明,使用该方法设计的用例保证了测试的充分性和有效性。验证的测试用例设计方法已在其它产品的系统测试中得以推广和应用,提高了系统测试的效率和效果,为保证软件产品质量发挥了作用。 展开更多

关键词 场景法 背景图 临时限速服务器 系统测试 用例设计

下载PDF 职称材料

基于UML状态图的软件测试充分性准则研究 被引量：5

5

作者 杨志伟 吴兵 《计算机技术与发展》 2013年第8期43-46,51,共5页

文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试... 文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则:ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。 展开更多

关键词 UML状态图 软件测试 充分性准则

下载PDF 职称材料

星载软件可靠性工程研究与实践 被引量：4

6

作者 郑重 石柱 《计算机与数字工程》 2013年第8期1273-1276,共4页

为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述。重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析... 为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述。重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性。 展开更多

关键词 软件可靠性工程 软件可靠性设计 软件可靠性分析 软件可靠性度量 软件可靠性测试

下载PDF 职称材料

软件故障树分析实例研究 被引量：4

7

作者 石柱 郑重 《航天控制》 CSCD 北大核心 2014年第6期67-70,87,共5页

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。

关键词 软件可靠性 软件可靠性分析 软件故障树分析

下载PDF 职称材料

嵌入式系统测试的发展 被引量：4

8

作者 张建伟 叶东升 《单片机与嵌入式系统应用》 2011年第2期5-7,共3页

目前,我国的嵌入式系统测试技术处于起步时期的快速发展阶段,本土厂商自主研发的产品拥有良好的应用前景。本文围绕嵌入式系统测试的概念、应用领域和国内发展状况进行了综合阐述。

关键词 嵌入式系统测试 软件测试 故障注入

下载PDF 职称材料

微分代数系统的数值仿真算法 被引量：1

9

作者 宋晓秋 《计算机工程与设计》 CSCD 北大核心 2000年第5期58-60,57,共4页

介绍了微分代数系统DAE的基本概念及仿真算法，特别指出了用BDF方法求解高指标常系数线性DAE系统时的数值稳定性缺陷。最后，针对飞行器轨道约束实时控制问题，给出了3阶收敛的代数约束算法。

关键词 微分代数系统 线性常系数 数值仿真 算法

下载PDF 职称材料

软件工程与软件可靠性 第一讲 软件工程的基本原则 被引量：2

10

作者 汤铭端 《质量与可靠性》 2001年第1期42-45,共4页

随着高新武器技术装备和计算机技术的不断发展,计算机软件已成为型号工程的重要组成部分,而且型号工程软件的规模、复杂度、质量要求越来越高,软件的质量与可靠性已成为型号工程质量与可靠性的关键。为满足高新技术武器装备型号软件在... 随着高新武器技术装备和计算机技术的不断发展,计算机软件已成为型号工程的重要组成部分,而且型号工程软件的规模、复杂度、质量要求越来越高,软件的质量与可靠性已成为型号工程质量与可靠性的关键。为满足高新技术武器装备型号软件在质量、进度、成本方面等的需要,本刊特邀请航天软件专家汤铭端、王伟专题讲授“软件工程与软件可靠性”。本讲座共分6讲:第一讲,软件工程的基本原则;第二讲,软件工程结构化的方法;第三讲,型号软件的研制过程;第四讲,软件可靠性工程的基本概念;第五讲,软件可靠性工程的实施方法;第六讲,软件可靠性工程的几个技术问题。 展开更多

关键词 软件工程 软件可靠性 基本原则 软件开发模型

下载PDF 职称材料

软件工程与软件可靠性 第二讲 结构化方法 被引量：1

11

作者 汤铭端 《质量与可靠性》 2001年第2期41-44,共4页

软件开发方法对提高软件开发效率和软件质量有着巨大的推进作用。结构化方法、形式化方法、面向对象方法的出现和使用推动了软件工程学和软件产业的发展。其中结构化方法是基础性的方法和使用最广泛的方法,在宇航、国防以及诸多的民用... 软件开发方法对提高软件开发效率和软件质量有着巨大的推进作用。结构化方法、形式化方法、面向对象方法的出现和使用推动了软件工程学和软件产业的发展。其中结构化方法是基础性的方法和使用最广泛的方法,在宇航、国防以及诸多的民用领域均取得了许多成功经验。 软件结构化方法适用于软件开发全过程,其核心和基础是结构化程序设计理论。将结构化程序设计理论应用于软件需求分析、设计、编码等项工作,就形成了软件结构化分析方法、结构化设计方法和结构化编程方法。 1.结构化程序设计理论 1968年荷兰教授E.W.Dijkstra提出“GOTO语句是有害的”的观点,指出程序的质量与程序中所包含的GOTO语句的数量成反比,认为应该在一切高级语言中取消GOTO语句。这一观点在计算机学术界激起了强烈的反响,引发了一场长达数年的广泛的论战。 展开更多

关键词 软件工程 软件可靠性 结构优化法 结构化程序设计 结构化分析方法 结构化设计方法

下载PDF 职称材料

软件可靠性及维修性评估工具(SRMET 2.0) 被引量：3

12

作者 宋晓秋 《电子产品可靠性与环境试验》 1999年第3期16-21,共6页

软件可靠性及维修性评估工具（ＳＲＭＥＴ２０）是由航天软件评测中心于１９９８年研制开发的。ＳＲＭＥＴ２０包含了七个软件可靠性评估模型和四个软件维修性评估模型，不仅可处理完全的可靠性数据，也可处理不完全的可靠性数据。... 软件可靠性及维修性评估工具（ＳＲＭＥＴ２０）是由航天软件评测中心于１９９８年研制开发的。ＳＲＭＥＴ２０包含了七个软件可靠性评估模型和四个软件维修性评估模型，不仅可处理完全的可靠性数据，也可处理不完全的可靠性数据。评估指标包括：软件当前失效率，平均故障前时间，下一故障可能时间，运行某一时间段后的可靠度等。 展开更多

关键词 软件可靠性 软件维修性 模型

下载PDF 职称材料

星载软件可靠性测试实践 被引量：2

13

作者 石柱 郑重 《计算机工程与设计》 CSCD 北大核心 2013年第2期721-724,共4页

为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据... 为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据的收集,最后给出了该软件的可靠性定量评估结果,表明了该方法和流程的实用性和可行性,为后续开展类似的软件可靠性测试提供实践经验。 展开更多

关键词 星载嵌入式软件 软件可靠性 软件可靠性测试 软件可靠性评估 使用剖面

下载PDF 职称材料

CAN总线驱动软件的测试设计及实现 被引量：2

14

作者 孙凤丽 杨桂枝 +1 位作者 周博 杨隽 《软件产业与工程》 2012年第5期25-29,共5页

本文通过对CAN的特点和CAN总线驱动软件测试的特点进行分析,提出了CAN总线驱动软件的测试设计方案,该方案覆盖了测试的全过程,包括测试内容选取、测试环境搭建、测试用例设计、测试驱动编写,以及测试用例执行。此外还介绍了在具有15个... 本文通过对CAN的特点和CAN总线驱动软件测试的特点进行分析,提出了CAN总线驱动软件的测试设计方案,该方案覆盖了测试的全过程,包括测试内容选取、测试环境搭建、测试用例设计、测试驱动编写,以及测试用例执行。此外还介绍了在具有15个节点的CAN总线网络环境中进行CAN驱动软件测试的实践过程。 展开更多

关键词 CAN CAN总线 驱动测试

下载PDF 职称材料

实时嵌入式操作系统VxWorks结构分析和剪裁 被引量：2

15

作者 孙凤丽 王瑞 +2 位作者 杨桂枝 杨隽 杨磊 《软件产业与工程》 2013年第1期33-36,共4页

本文通过对VxWorks操作系统软件结构的分析,总结出Vxworks在可剪裁性方面所进行的设计和优化。在此基础上,提出VxWorks的的剪裁方法和步骤。剪裁方法是目标程序分析法结合预编译宏的方式,对VxWorks源码的剪裁分为4个步骤,包括组件级剪... 本文通过对VxWorks操作系统软件结构的分析,总结出Vxworks在可剪裁性方面所进行的设计和优化。在此基础上,提出VxWorks的的剪裁方法和步骤。剪裁方法是目标程序分析法结合预编译宏的方式,对VxWorks源码的剪裁分为4个步骤,包括组件级剪裁、文件级剪裁、函数级剪裁和语句级剪裁。最后,本文提供了一个微小内核实时系统的剪裁实例说明。 展开更多

关键词 嵌入式 实时操作系统 VxWorks剪裁

下载PDF 职称材料

晶体生长炉神经元网络PID解耦控制系统

16

作者 于强 石柱 吕旭涛 《航天控制》 CSCD 北大核心 2008年第2期59-62,共4页

多温区晶体生长炉是一种多输入多输出、强耦合的被控对象。根据多温区晶体生长炉内温场分布的要求,提出一种神经元网络PID多变量强耦合系统控制器,通过在线学习自动调节控制器参数,同时实现解耦和控制作用。仿真结果验证了本方法对多变... 多温区晶体生长炉是一种多输入多输出、强耦合的被控对象。根据多温区晶体生长炉内温场分布的要求,提出一种神经元网络PID多变量强耦合系统控制器,通过在线学习自动调节控制器参数,同时实现解耦和控制作用。仿真结果验证了本方法对多变量强耦合时变对象具有良好的解耦性能和自学习控制特性,达到了系统所要求的控制指标。 展开更多

关键词 多变量系统 解耦控制 神经元网络 PID控制

下载PDF 职称材料

软件审查方法及应用 被引量：2

17

作者 石柱 周新雷 缪峥红 《质量与可靠性》 1999年第5期21-23,共3页

介绍了软件审查及其相关概念,阐述了软件审查的组织、类型和方法,最后介绍了软件审查在型号中的应用实例。

关键词 软件 软件审查方法

下载PDF 职称材料

软件工程与软件可靠性——第三讲 航天型号软件研制过程 被引量：2

18

作者 汤铭端 《质量与可靠性》 2001年第3期44-48,共5页

1.航天型号软件研制特点和现状 航天型号软件和软件研制目前主要有以下一些特点: ①实时嵌入式为主; ②高可靠性、安全性要求; ③规模大、结构复杂; ④自行研制为主; ⑤研制周期长、研制阶段多; ⑥协作关系多; ⑦进度要求严; ⑧以汇编... 1.航天型号软件研制特点和现状 航天型号软件和软件研制目前主要有以下一些特点: ①实时嵌入式为主; ②高可靠性、安全性要求; ③规模大、结构复杂; ④自行研制为主; ⑤研制周期长、研制阶段多; ⑥协作关系多; ⑦进度要求严; ⑧以汇编语言为主; ⑨软件工程实施经验少。 2.航天型号软件工程基本目标 航天软件研制人员凭着精神和责任感,成功地研制了一系列功能、性能和质量均很优秀的型号软件。但继续采用手工作坊式的“自编、自导、自演”的开发模式,无法适应新形势下对型号软件的效率和质量要求。 展开更多

关键词 航天型号软件 软件研制过程 可靠性 软件测试

下载PDF 职称材料

软件维修性的定量评估研究 被引量：1

19

作者 宋晓秋 《计算机工程与设计》 CSCD 2001年第3期1-3,共3页

首先阐述了软件维修性的概念和内涵，并对软件维修性的定量评估方法进行了理论研究，针对４个软件维修性度量模型进行了实验分析。

关键词 软件维修性 软件可靠性 GB/T11457-1995 软件维护

下载PDF 职称材料

航天型号软件研制过程中的并行工程 被引量：1

20

作者 宋晓秋 《质量与可靠性》 2001年第6期29-30,共2页

分析了航天型号软件研制过程的现状和弊病,阐述了航天型号软件研制过程是并行工程的初步内容,介绍了支持并行工程的工具环境,提出了实施并行工程的初步目标。

关键词 航天型号 软件 并行工程

下载PDF 职称材料