·预研技术评审(简称技术评审): | 由预研项目(含课题、专题,下同)承担单位或上级主管部门组织有关方面的代表和专家对
预研技术工作所做的综合的、有系统的并形成文件的检查。其目的是评价预研技术工作是否
符合有关文件要求,若有问题,提出解决办法,保证预研质量。 (HB 7291-96 预研质量管理要求) |
·软件规格说明审查: | 为确定软件分配基线而对计算机软件技术状态项目的软件需求规格说明和接口需求规格
说明等作的审查,评价承制单位对系统、系统段或主项目各级要求是否正确理解。 (GJB 3273-98 研制阶段技术审查) |
·软件产品库: | 在软件生存期的系统集成和测试阶段结束后,存放最终产品且可交付给用户运行或现场
安装的软件的库。 (GJB 4072-2000 军用通信设备软件质量监督通用要求) |
·软件产品库: | 在软件生存周期中,存放已定型(鉴定)且供交付、生产、检验验收的软件配置项的集合。 (GJB 4072A-2006 军用软件质量监督要求) |
·电子对抗装备软件需求规格说明: | 对电子对抗装备软件所应满足的要求以可验证的方式作出的完整、精确的陈述。规格说
明的内容可根据不同场合的需要而有所侧重,如:
功能规格说明:对软件所应具备的功能作出规定,应包括数据收发、信息处理、显示、数据
库管理、管理控制、键盘控制、辅助决策、记录重演、模拟训练、作战指挥、监测维护等功能。
性能规格说明:对软件所应具备的性能(如计算精度、响应时间、适应电磁环境密度、系统
适应需求变化的能力)作出规定。
接口规格说明:对软件及其环境之间、软件配置项之间的接口关系,用户接口如人机界面、
操作方法等作出规定。 (GJB 3982.1-2000 电子对抗装备软件通用要求 第1部分:电子对抗装备软件开发要求) |
·软件产品库: | 在软件生存周期中,存放已定型(鉴定)且供交付、生产、检验验收的软件配置项的集合。 (GJB 5716-2006 军用软件开发库、受控库和产品库通用要求) |
·软件产品: | 交付给交办单位或用户的软件实体。 (GJB 2255-94 军用软件产品) |
·描述性顶层规格说明: | 用自然语言、形式化程序设计符号,或两者结合写成的一种最高层的设计规格说明书。 (GJB 2646-96 军用计算机安全评估准则) |
·形式化顶层规格说明: | 用形式化数学语言写成的一种高层规格说明书。使用这种规格,可以从理论上证明假定
的形式化要求与系统规格的一致性。 (GJB 2646-96 军用计算机安全评估准则) |
·可重用软件产品: | 为一种用途开发但还具有其他用途的软件产品,或者专门为了用于多个项目或一个项目的多种任务
而开发的软件产品。例如商业现货软件产品、需方提供的软件产品、重用库中的软件产品和开发方现有
的软件产品。每一次使用可以包括这些软件产品的全部或部分,也可以包括它的修改部分。 (GJB 2786A-2009 军用软件开发通用要求) |