📄 c10.htm
字号:
<HTML><HEAD><META NAME="GENERATOR" Content="Microsoft Visual Studio 6.0"><TITLE></TITLE></HEAD><BODY><STRONG><P> <STRONG>GB／T114 5 7—— 19 9 5</STRONG></P><P><HR> </STRONG><P><STRONG> 2．<A name=2.451></A><A name=2.451></A>451软件产品 software Prodnuet<BR> </STRONG> 指定交付给用户的软件实体。 <BR><STRONG> 2．<A name=2.452></A>452软件质量 sofwarer requality <BR> </STRONG> a．软件产品中能满足给定需要的性质和特性的总体。例如，符合规格说明。<BR> b．软件具有所期望的各种属性的组合程度。<BR> c．顾客和用户觉得软件满足其综合期望的程度。<BR> d．确定软件在使用中将满足顾客预期要求的程度。<BR><STRONG> 2．<A name=2.453></A>453软件质量保证 software quality assurance<BR> </STRONG> 参见2．383条。<BR><STRONG> 2．<A name=2.454></A>454软件可靠性 software reliability <BR> </STRONG>a．在规定条件下，在规定的时间内软件不引起系统失效的概率。该概率是系统输入和系统使<BR> 用的函数，也是软件中存在的缺陷的函数。系统输入将确定是否会遇到已存在的缺陷（如果有缺 <BR> 陷存在的）。 <BR> b．在规定的时间周期内所述条件下程序执行所要求的功能的能力。<BR><STRONG> 2．<A name=2.455></A><A name=2.456></A><A name=2.455></A>455软件档案库 software rePOSitory <BR> </STRONG> 一个软件库。它用于存储软件和有关文档的永久性的档案。<BR><STRONG> 2．<A name=2.456></A>456软件潜行分析 software sneak analysis <BR> </STRONG>施用于软件的一种技术。用以识别潜伏的（潜行的）逻辑控制路径或条件。这些路径或条件会禁<BR> 止所期望进行的操作或引起不希望有的操作出现。 <BR><STRONG> 2．<A name=2.457></A>457软件工具 software tool <BR> </STRONG>一种计算机程序。用来帮助开发、测试、分析或维护另一计算机程序或它的文件。例如，自动设 <BR> 计工具、编译程序、测试工具、维护工具。<BR><STRONG> 2.<A name=2.458></A>458软件单元 software unit <BR> </STRONG> 一段可分开编译的代码。 <BR><STRONG> 2．<A name=2.459></A>459源语言source language <BR> </STRONG> a．用来书写源程序的语言。 <BR> b．其语句被翻译的一种语言。与2．501条相对照。 <BR><STRONG> 2.<A name=2.460></A>460源程序source Program <BR> </STRONG> a．在计算机执行之前必须被编译、汇编或解释的计算机程序。<BR> b．用源语言表达的计算机程序。与2．312条相对照。 <BR><STRONG> 2．<A name=2.461></A>461规格说明，规范 sPecification<BR> </STRONG>a．以一种完全的、精确的、可验证的方法规定系统或系统部件的需求、设计、性能或其它特性<BR> 的文件。参见2．143条、2．211条、2．218条、2．251条、2．335条、2．407条。<BR> b．制定规格说明的过程。<BR> c．对某产品、某种材料或进程将要满足的一组需求的扼要陈述，并在适当的时候，指明一种过 程，<BR> 根据该过程可确定给定需求是否得到满足。<BR><STRONG> 2·462<A name=2.462></A>规格说明语言 sPecification language <BR> </STRONG>一种语言。常常是机器可处理的自然语言和形式语言的组合。用来规定系统或系统组成成分的<BR> 需求、设计、性能或其它特性。参见2．138条、2．408条。<BR><STRONG> 2．463<A name=2.463></A>规格说明验证 sPecification verification<BR> </STRONG> 参见2．539条。 <BR><STRONG> 2．46<A name=2.464></A>4稳定性 stability <BR> </STRONG> a．在有干扰或破坏事件影响下仍能保持不变的能力。<BR> b．在干扰或破坏性事件之后返回到原始状态的能力。<BR><STRONG> 2．465<A name=2.465></A>栈 stack <BR> </STRONG> 按后进先出方法进行存取的一个列表。与2．385条相对照。 <BR><STRONG> 2．466<A name=2.466></A>标准实施器 standards enforcer <BR> </STRONG>一种软件工具。它确定指定的开发标准是否得到遵循。标准可以包括模块大小、模块结构、注释 <BR> 的约定、某些语句形式的使用以及文件编制约定。<BR><STRONG> 2.4<A name=2.467></A>67状态图 state diagram <BR> </STRONG>一种有向图。其中的结点对应于系统的内部状态，也对应于迁移；常常用来通过状态的改变来描 <BR> 述系统。参见2．337条。<BR><STRONG> 2．468<A name=2.468></A>静态分析 static analysis <BR> </STRONG> 估计程序而无需执行程序的过程。参见2．146条、2．63条、2．237条、2．545条、2·164条。<BR><STRONG> 2． 4 69<A name=2.469></A>静态分析程序 static analyzer<BR> </STRONG>一种软件工具。它有助于分析计算机程序而无需执行该程序，例如语法检验程序、编译程序、交 <BR> 叉引用表生成程序、标准实施器以及流程图。与2．165条相对照。 <BR><STRONG> 2． 470<A name=2.470></A>静态结合 static binding<BR> </STRONG> 在程序执行之前实现的，执行期间不加改变的结合。与2．166条反义。<BR><STRONG> 2．471<A name=2.471></A>统计测试模型 statistical test model <BR> </STRONG>一种模型。它把程序故障与输入数据集（或多个数据集）联系起来。模型也给出了这些故障将引<BR> 起程序失效的概率。<BR><STRONG> 2．472<A name=2.472></A>逐步细化（法） stePwise refinement <BR> </STRONG> 系统开发方法学，在其中首先概括地决定数据定义和处理步骤，然后逐步增加细节。参见 2． 22 2 条、2． 526条、2． 52条。 <BR><STRONG> 2．473<A name=2.473></A>串 string <BR> </STRONG> 实体。如字符或物理元素的线性序列。<BR><STRONG> 2．474<A name=2.474></A><A name=2.474></A>强类型 strong tyPing <BR> </STRONG> 一种程序设计语言特性。它要求对每个数据对象的数据类型都作出说明，并排除操作符施用于 ⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -