c1.htm

国家软件开发标准

architecture<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  </STRONG>参见2．353条、2．491条。<BR> <STRONG>2．27 体<A 
name=C2.27></A>系结构设计 architectural design&nbsp;<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>a<STRONG>.&nbsp; </STRONG>  定义一组硬件和软件元素及其接口的过程，其目的是为开发一计算机系统而建立其主体结构。<BR>&nbsp;&nbsp; b<STRONG>.</STRONG> 
体系结构设计过程的结果。<BR><STRONG>2．28 人工<A name=C2.28></A>语言 artificial language 
<BR>&nbsp;&nbsp;&nbsp; &nbsp; </STRONG>参见2．210条。 <BR><STRONG>2．29 汇编 <A 
name=C2.29></A>assemble <BR>&nbsp;&nbsp;&nbsp; 
&nbsp; 
</STRONG>把用汇编语言表示的程序翻译成机器语言，有时还要连接子程序。实现汇编的常用方法是用机器<BR>&nbsp;&nbsp;&nbsp; 
言操作码代替汇编语言操作码，并用绝对地址、中间地址、浮动地址或虚拟地址来代替符号地<BR> 
 &nbsp;&nbsp;&nbsp;址。与2．72条、2．254条相对照。 <BR><STRONG>2．30 
汇编<A name=C2.30></A>程序 assemb <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>用于进行汇编的计算机程序。与2．73条、2．255条相对照。 <BR><STRONG>2．31 汇<A name=C2.31></A>编语言 
assembly language<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </STRONG>a. 
一种面向计算机的语言，其指令与计算机指令通常是—一对应的，且能提供使用宏指令的便<BR> 
&nbsp;&nbsp; 利。与 2．279条、2．225条相对照。参见 
2．72条、2．73条。<BR>&nbsp;&nbsp;&nbsp; b．一种特定机器语言，其指令通常和计算机指令—一对应。 <BR><STRONG>2．3<A 
name=C2.32></A>2 断言 assertion<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  
</STRONG>一种逻辑表达式，规定必须存在的一种程序状态，或规定在程序执行过程中某一特定点上程序变<BR>&nbsp;&nbsp;&nbsp; 
量必须满足的条件集合，例如，A为正且A＞B。参见2．236条、2．322条。 <BR><STRONG> 2．33 赋值语句 as<A 
name=C2.33></A>signment statement <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>用于表达一系列操作，或用于把操作数赋给指定变量，或符号，或变量和符号两者的指令。 <BR><STRONG> 2．34 审<A 
name=C2.34></A>计 audit<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  </STRONG>a<STRONG>.</STRONG> 
为评估是否符合软件需求、规格说明、基线、标准、过程、指令、代码以及合同和特殊要求而进<BR> 
&nbsp;&nbsp;&nbsp;&nbsp; 行的一种独立的检查。参见2.63条。<BR>&nbsp;&nbsp; 
b．通过调查研究确定已制定的过程、指令、规格说明、代码和标准或其它的合同及特殊要求是底<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;恰当和被遵守，以及其实现是否有效而进行的活动。<BR>&nbsp;<STRONG>2.35 自动<A name=C2.35></A>设计工具 
automated design tool<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  
</STRONG>帮助进行软件设计的综合、分析、模拟或文档编制的软件工具。自动设计工具的例子如：仿真器、<BR>&nbsp;&nbsp;&nbsp; 分析工具、设计表示处理器和文件生成器。 
<BR><STRONG>2.36 自动测<A name=C2.36></A>试用例生成器 automated test case 
generator<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  </STRONG>参见2．38条。 <BR><STRONG>2．37 自动测试数据<A 
name=C2.37></A>生成器 automated test data generator<BR>&nbsp;&nbsp;&nbsp;&nbsp;  
</STRONG>参见2．38条。<BR><STRONG>2．38 自动测<A name=C2.38></A>试生成器 automated test 
generator<BR>&nbsp;&nbsp;&nbsp;&nbsp;  
</STRONG>一种软件工具，它以计算机程序和准则作为输入，产生满足这些准则要求的测试输入数据，有时<BR>&nbsp;&nbsp;&nbsp; 
还确定预期的结果。 <BR><STRONG>2．39 
自动验<A name=C2.39></A>证系统 automated verification system <BR>&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>一种软件工具，以计算机程序及其规格的表示作为输入（可能借助人的帮助），产生该程序的正确<BR>&nbsp;&nbsp; 
与否的证明。参见2．40条。<BR> 
<STRONG>2．40 自动验证工具 a<A name=C2.40></A>utomated verification 
tools<BR>&nbsp;&nbsp;&nbsp;&nbsp;  
</STRONG>用于评估软件开发过程中的产品的一类软件工具。这些工具有助于验证正确性、完全性、一致性、<BR>&nbsp;&nbsp; 
可跟踪性、可测试性，以及检查是否遵守了标准。软件验证工具包括设计分析器、自动验证系统、<BR>&nbsp;&nbsp; 
静态分析器、动态分析器和标准实施器。 <BR><STRONG>2．41 可用性 a<A 
name=C2.41></A>vailability<BR> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  </STRONG>a．软件在投入使用时能实现其指定的系统功能的概率。&nbsp; 
<BR>&nbsp;&nbsp; b．系统正常工作时间和总的运行时间之比。&nbsp;<BR>&nbsp;&nbsp; 
c．在运行时，某一配置项实现指定功能的能力。<BR><STRONG> 2．42 可用性模型<A name=C2.42></A> availability 
model <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </STRONG>用于预测、估计、判定可用性的模型。 <BR><STRONG>2．43 后备，后<A 
name=C2.43></A>援 back－uP <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>发生系统失效或灾害时，为恢复数据文件或软件，重新起动处理，使用备份计算机设备而做的准备。 <BR><STRONG>2．44 基线 base<A 
name=C2.44></A>line<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  </STRONG>a<STRONG>.&nbsp; 
</STRONG>业已经过正式审核与同意，可用作下一步开发的基础，并且只有通过正式的修改管理步骤方&nbsp; 
<BR>&nbsp;&nbsp;&nbsp; 能加以修改的规格说明或产品。<BR>&nbsp;&nbsp;&nbsp;&nbsp; 
b．在配置项目生存周期的某一特定时间内，正式指定或固定下来的配置标识文件和一组这样<BR>&nbsp;&nbsp;&nbsp;&nbsp;  
的文件。基线加上根据这些基线批准同意的改动构成了当前配置标识。对于配置管理，有以下三&nbsp; <BR> 
  
&nbsp;&nbsp;&nbsp; 种基线：&nbsp; <BR>&nbsp;&nbsp;&nbsp; 
功能基线——最初通过的功能配置；&nbsp; <BR>&nbsp;&nbsp;&nbsp; 分配基线——最初通过的分配的配置；<BR>&nbsp;&nbsp;&nbsp;&nbsp;品基线——最初通过的或有条件地通过的产品配置。 <BR><STRONG>2．45 开始<A name=C2.45></A>——结束块 
begin－endblock <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>由begin和end分隔符括起来的设计或程序语句序列。其特征是具有单一的入口和单一的出口。<BR><STRONG> 2．46 协约（名<A 
name=C2.46></A>），联编，约束，结合 binding <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>把一个值或指定的对象（referent）赋给某一标识符。例如，把一个值赋给一个参数或把一绝对地 
址、<BR>&nbsp;&nbsp;&nbsp; 
虚拟地址或设备标识符分配给计算机程序中的符号地址或标号。参见2．166条、2．470条。 <BR><STRONG>2．47 块（名<A 
name=C2.47></A>），阻滞（动） blOCk<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  
</STRONG>a<STRONG>.</STRONG> 
由某些技术或逻辑原因形成的被当作一个实体看待的一串记录、一串字或一字符串。&nbsp;&nbsp; <BR>&nbsp;&nbsp;&nbsp;b<STRONG>.</STRONG> 
作为一个单元而记录下来的一组连续的记录。块与块之间用间隙分隔，每一块可以包含一&nbsp; <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 个或多个记录。<BR>&nbsp;&nbsp;&nbsp;c．被当作一个单元而加以传送的一组二进制位数或N进制位数。通常对这组二进制位数或N 
<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 进制位数采用某种编码步骤以达到出错控制的目的。<BR>&nbsp;&nbsp;  
d．作为一个单元来处理的事物，如字、字符或数字的集合。 <BR>&nbsp;&nbsp;  e．参见2．354条。<BR>&nbsp;&nbsp; 
f．系统中的某些操作因某种原因，暂时不能继续执行。<BR><STRONG> 2．48 框图 b<A 
name=C2.48></A>   loc<A name=C2.48></A>k diagram 
<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  </STRONG>表示某一系统、计算机或设备的图，图中主要部分由加有适当注释的几何图形来表示，用以说明&nbsp; <BR>&nbsp;&nbsp;&nbsp;&nbsp; 
这些主要部分的基本功能及其功能关系。与2．209条相对照。 <BR><STRONG>2．49 块<A name=C2.49></A> 结构<A name=C2.49></A>语言 
block－structured language <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
</STRONG>一种程序设计语言，在这种语言中，语句序列通常是由begin和end界限符划界。参见2．3 54条。 <BR><STRONG>2．50 引导<A 
name=C2.50></A><A name=C2.50></A>程序 bootstraP</STRONG><BR>&nbsp; &nbsp;&nbsp;&nbsp; 
a．一段短的计算机程序，常驻计算机或很容易装入计算机。引导程序的执行能把另一个较大的&nbsp; <BR> 
  
&nbsp;&nbsp;&nbsp;&nbsp; 程序，如操作系统或其装入程序引入内存。<BR>&nbsp;&nbsp;&nbsp;&nbsp;b．一组指令，它能使另外的指令被装入直到全部计算机程序都存入存储器中为止。&nbsp;<BR>&nbsp;&nbsp;&nbsp;c．借助自身的动作而使其达到所希望的状态的一种技术或设备；例如，一段机器子程序，其前&nbsp; 
<BR> 
&nbsp;&nbsp;&nbsp;&nbsp; 
几条指令足以使其余部分指令从输入设备输入到计算机中。<BR>&nbsp;&nbsp;  d．用于建立计算机程序另一版本的部分计算机程序。&nbsp; 
<BR>&nbsp;&nbsp;&nbsp;e．使用一引导程序。
<p>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;32</p>

</BODY>
</HTML>