论文部分内容阅读
软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素：审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践，分别介绍了软件审查人员的分工和事例责、审查的对象和目的，以及审查的过程，并阐述了我们在航天型号软件审查实践中的结果和体会。
航天软件审查的实施方法及应用经验
【摘 要】
：
软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素：审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践，分别
【机 构】
：
北京航空航天大学计算机系,北京计算机应用与仿真技术研究所
【出 处】
：
系统工程与电子技术
【发表日期】
：
2000年10期
其他文献
数字通信系统中广泛采用MPSK(多进制相移键控)调制,因此分析MPSK通信系统性能是研究不同业务类型的通信系统性能的基础。首先分析了MPSK调制、解调原理及通信系统的基本结构,
使用工业分析、元素分析、固体核磁(13C NMR)、X射线光电子能谱(XPS)、傅里叶变换红外光谱(FTIR)对宁东红石湾(HSW)煤样进行表征,获得煤样中元素赋存的种类、价态、化学键环
同志们：今天的会议主要任务是认真学习贯彻党的十七大精神，进一步落实全市科学技术大会的部署和要求，深入实施科教兴市战略，加强科技创新，推动全市科技进步，加快建设创新型首府。会
采用视频监测装置记录了枕头坝一级水电站鱼道2017年4月~7月鱼道内的鱼类种类、数量及体长,并分析了其时间节律以及鱼道出口水位对过鱼效果的影响;还在2017年8月采用PIT标记
目的:探析生理盐海水联合鼻喷激素治疗急性鼻咽炎的临床效果。方法:选择2014年10月-2015年10月我院收治的急性鼻咽炎患者120例为观察对象,根据数字随机法分为两组,其中对照组
美国"综合学校体力活动计划"(CSPAP)以身体素养为导向,以优质的学校体育教学活动为基础,通过提供多样化的体育学习选择,为学生推荐恰当的体力活动量,保障学生拥有良好的身体
湘钢1号(2580m^3)高炉炉基多处煤气泄漏现象,严重威胁高炉的安全生产和长寿。通过积极采取综合治理措施,取得了较好的效果,煤气泄漏基本得到遏制,保证了高炉的安全生产和长寿
目的:评价款冬酮的抗过敏作用。方法:通过CO2超临界流体萃取、硅胶柱层析等方法,从款冬花中分离制备款冬酮;采用透明质酸酶抑制实验、肥大细胞(mast cell,MC)脱颗粒实验、豚
目的评价预防性应用微生态制剂(培菲康)防治婴幼儿肺炎继发腹泻的疗效及成本效益。方法2008年1月到2010年9月住院治疗的婴幼儿肺炎966例为研究对象,对患儿的临床特征、微生态
结合水工建筑物课程的特点,探讨思政课程的建设思路和实施途径。以“水利工程等级划分”知识模块为例,探索思政教育在课堂教学中的结合点,采用以三峡工程案例导入,激发学生的