本标准定义软件工程领域中通用的术语，适用于软件开发、使用维护、科研、教学和出版等方面。 GB/T 11457-1995 软件工程术语 GB/T11457-1995 标准下载解压密码：www.bzxz.net

中华人民共和国国家标准
软件工
程术语
Sofiware engineering terminology本标准结均如下：
计条按英定对应们字母顺序推列；如果个不语有一个以上的定义，则分别划以说明；b.
式必要的地在月仰子来说明定义d.
GB/T11457
代券GB11157·39
为了说明本综准中一个术谱与另一些术谱的关系，使用了下述问语。比较.皆补充性的术语
与….…相对照指一个具有相反含文的或木质上不问点义内本话：与同文指向义的然语
移见·指让读者参见推荐使用的或与之关系密切的本语还可见…·挡一有关术语
1主题内容与适用范围
本标延软件工程新域中通也的术语，活用于软件开发，性用维护，科研，教学和出版等方面。2术语
2.1天折,异带abor
在达程光成之前效迫终止。
2.2绝对机器代码ahsnlutenarhineclt每次使册时必谢装入拍定存储单元立不能心定位的机器语声代码。与2.399策相对照。?.3抽象机bLaci machint
H：过程或机器的一种表示，
h。一个模块它象一价机器邪样处理维入。2.4灿条abstraction
对某一可题的提括，它抽收与特定标相关的本的内容而忽略非本质的内容。a.
形成三述拍象的过毯。
验收则aearirinm
软件产品要符合来测试阶设必须满足的准则，成轨件产品满足交货要求的准叫2.6格收测试accepiance1esting确定一系统是否符合其验收准则，使率户能确定尺与接收此系统的正式则试，参见2.3B1条、3. 497 第.
2.7呼接近性accesgibility
使纠或软件的各部分使于选择使用或维扩的程度。国家技术监督网19950504批满
1995-12-01实
GB/T 11457
2访间控机UUNXs
为使某一计并机系统或计算讯系统的基部分允许被致准者和防止未截作者接触.访阿而设1！的能或教性的特性、操作过程或管型过。2.9码准确度ay
.无误差的一种品质。
无误差程宇的一种定性古计·石长题高，对应的泌考越小对误差大小的·和真基，尽好表示改相对误差的两效，求准确出糖高，知应的读券越小，d.对无证差程度的种定量信计。与2.34浆粘对期.2.10需方acajuirer
点供方独得或将到一个系跳、产品或服务的一个机构。汁：带大可以是买产户,圳有者,用未购人团策2.11我表weguisitiul
得到一个系统、一个产品域一环服多的过屋，2.12活动文件ariive il
尚末超过终止时间的文，
2.13动aivity
一个过程的年变元案。
法：对基线的改变要些有关当局的工比批准，2.14cler
亡调用子程序时用类指楚数据成要传输给该于程*的望序元案的款值或表达出：与2.211案相对照。
造应性
acaptabilits
使不后拍系统约更签件和用户需求得到满足的穿易程度。2.16
应临雅acaptivemuintcnunce
为状软件产品在改变了的环境下仍能使用而迷行的排护。2-17烂 :lres%
，标识寄存幕、存堵器特定部分，政其地一些数据来源或日的地的一个或一绍字符。b，用求指定一设各或一个数据项，21ec
计算机程序可以效利用的地址范围。2.19艾洁lgritlur
a，用有采验数求解基用动的套明确定义的视的集合；例如、求（）到给定精查的系列算未运算的完获的说明
b。定义民好的规与的有限票会，它给出光放特定任务的运算序列。2.20算法分析lgorittmnalysis
对一算法的检查。日的在了确定与其预期闪用避有的正确性，确定其运和特性，或为了更充分地理解某一算法以便对其进行稳改、简化或改进。2.21别名alias
。某一须日的另一个名字
b．个者换标号。侧如：可以使用一个标和一个或多个别名来指示计算机翌序中同-数据元素或点。
2分析阶段analysisphare
学见2.405条。
2.23分析费Analyicalmade.
GB/T 1-457-1995
用一组可解方程来表示一个过程或-个现象，与2.20条相刘照。2.24面向成用的语言pliri>-ri1iinguaRe：一种面问计算几的语言，具有丁某种单应用预域的于段或记号，例如，用于统计分析览机益设计的语言。
。一种面向[回题的语言，共语包包含或汇集了用户或业的术话。2.25软件aplicarionsoEtw
解决异于专用领的，非计舞机心身勿的款件。2.26体系结均arehiterzure
见2.353条.2,491录
修系站料设计Erchiteraral dexig2.27
定义一组硬件教件元素及其接口的过程，其日的后为并发一计穿机系统而注立其主体结e
b．依系结树设计过程的站果.
2.8人上语当artifieiul lunguagc孝见2.210亲。
2.29汇编 a55emble
把用编世表示药作序融评成机器语户，存时还要连能子序。实现江漏的常用方法是用器语言限作码代替汇编诺操忙码.并用绝对地址、中问地处、行或地址成逐拟地迁来代替符号地址。与2.72条、2.254承相对照，2.30汇缔程序araeml
用于进行汇编的让算机在序：与2.73条.2.255杀州对瓶，2.31言assemhlylanguage
a。一种面向计算机的语百，其指令与计算机指令通带尼一一对应的，且能据供使用紫指令的便利。与2. 279录,2.235录相对照。参见2.72 条、2. F3条、一种特定帆器语合，三指令通常和以第机情令：应，2.32新言assertion
一冲逻性表达式，规宗必妞存在的种程序状态，或规是在程序执行过辉中其一特定点上理序变量必须满足的条件必合，例，A为正且A>H，参见2.2条、2.322录。2.33赋值语句Essignraent stacenent用十走达一系列操作，或用一把操作数驱给指定变垫，就符片，或变种符号两老的指令。2.3A中计sudt
为评估是否符合敏件君求、规格说明，落线，标阻、过程、指等，代码以皮合间利等殊要求面进行的种立的检，老见2.3录。
b，通过调查碳究确定制定的过利指令.规说明.代码和标准或共定的合问及特殊要求是否恰当即教避守，以及其实现是否效而进行的活动。2.35自动设工具mloaellig
帮助进行软件设计的练仑、分析、模抵或文档编制的软件工具。白动设计工具的刻子妇：仿典器、分析工具，设计表示处理器和文件生或据。2.36自动测试例牛成器autamatedtestcascacncrator零克2.38象。
2.37白动测试数据生减器
Iauinnated test Cata kene!atot爱比2.38条。免费标准下载网bzxz
GE/T11457—1995
2.38自动测试生成器ailtnmatedtestRenerator一种教单工其，宅以计算挑程序和准则作为抢入，产生满足这此准赔要求的测试输入数据，有时还愉定颈期的结果。
2.39自动验还系统Euromatedverificationsystcm一种软件工其，以计算机程序及其规格的表示作为摘人（可能借助人的帮助，产生该误序的止确与否的亚明。零地2.4G条。
7.4自动路证工具al:iorratedverificationtaols用于评估软件平发过程中的产品的类软件工且。这些工只有助丁验证正确性、完全性，教性，可跟殊性，可测试性，以及检查是下意寸了标准，救许驼江工具包设计分析器.占动验证系统、萨态分析器、动态分护器和标注实范器：2.41aailabiily
H：赖中在收人使用时能实现其指定的系统功能的费率。。系统正常工作时间和总的运行时之比：C、生运行时，某一配置项实现指定功能的能力，2.42州:蒙型availabilitymodel用于预测.估计，判定可用性的模型，2.43启备.后援baekup
发生表统头效或实告时，为恢复数据文件或软作，主新起动处理，使用备份计算机设备而的%备。
2.44其线haseline
：业已经过正式审核与同意，可用作下步开发的基础·关且只有通过正式的参改管理步骤方能加以择改的视格说明必产品。在配置项日生存成期的某特定时间内，正式指定或南定下发的配管标识文件和一组这详b、
的文件，苯线加上根据这些线批准同息的改动构成了当前配胃标识。对于配暨管理，有以下三补情线：
的能基线一最势通过的均能配置；分配卡线一一度初通过的分配的配。产品基线最韧通过的或有条片地通过的产品配评2.45并始-精更快begin-endblockheginl和en分隔等括起米的设计文释序语序测，其特征是具有单的人口和单一的出口.2.46协约（名），联，约束.站合binding把个值或指定量对象(refcrcnt)赋给呆一标识符：例如，把一个值赋给一个枣教或把一绝对地比、账撤均比或投务标识符分配给计算机程序十的符号地址或标号。参洗2.166条，2：170条。2.47块（名）阻滞（动）hluk
由荣些技术成透辑原因形成的最当作一十实位待的串记求、串字或“字符中。a.
b．作为个单元而记录下来的组连续的记录，块与块之而乎间隙分陷，每一块可以包含一个或多心证录，
，被当作一个单元而如以传送的一组二进制位数或N进制位数。通常对这组二逆制位数或N进制粒数果用芯种缩码出骤以达到出错控引的日的，d，作为一个单元来处理的事物+如宇字符或数字的集合，多2.351条。
「.系统中的某此操作因某种原国，暂时术能继续执行。2.48格图nirrkdiugat
GB/T 11457—1995
衰示共系施，计算机或设备的图，图中主要部分由问有适当注型的几何图形来表示，用以说这此书要部分的基本功能及其功能关系。与2.209条相对照。9块结构语芦hlock-structuredlanguage2.49
一种程序设计讲言，存这种语中.语句序列通带是bcgin和eud界限符划界。参见2.351条。2.50导报bn9
4。一段矩的计算礼程序：常验计算机或很容易装入计其机，引导序的执行能把另一个较大的程序，好操作系统或其装入壁序引入内车，组指令，它能使劣外的指令被装入直到全部计效机程序都存人存诺器中冬止。h.
心，借助自身的动作而使其达到所否望的状声的…种技术或设备；例如，-段机馨子程厅，共前几条指令足以使其余部分令从龄入议备摘人到计算机中d，用于建立计只机程序另版本的部分计算机程序.e.便用一引孕程序。
引装入序olo
使用预胃计算机操作以装人引导望序的一种输入例行程序。2自底向上110m-uR
一种方法，这种力法从县次编构的最低良教件成部分开始，逐级向上直至最高层组破成分为止，例如，自底向上设计，自底向上程序段计、自底向上测试等。与2.526相对照，2.53自底尚：设计botomupdesig从最基云的或原始的筛分带于函级进人到较高层部分的系统没计方法。与2.527杀相对照。隐错，缺阳huk
举见2.19日条：
隐错微播bugseed:ng
整见2. 201条：
5构uil！
、个工作版本，其中包含最终产将拥有的能力的一个规定的子集。软产品的
构块buildingbloek
教高一级程序或模块变用的一个单示收模块：（分)情况语句tase
能根据控制表选式的值对有限个望序语们进行造择性执行的多分支条件语句。参见2.105象。认通certificanon
日一个系统或计算机强序等合其规定的需求的一种书面保证，b.种书面认可书，说明某计算机系统是可家的，可以在确定的环境中工作或产垒合理的信，
为使系统获准没入运行使用，对系统的可接性所做的正式演示，c
d，证实一系统，款件予质统或计算机堂库在其运行环境中能满足规定的需求的过程，认证常在实际条件下的现场中进行，不仅用丁价软件本身，而且用于估价作为软许设计依带的规费说明。认证使验证和确以的过程扩充判实标的或换拟的运行环晚中正式的权成机树根据可付诸实施的需求以书面形式确定，验正和证明人圆劲处理，过理或e
案款为介格所采取的步和行动。2. 60 链接beimxl lis1
一种表，在这抽表中各个项月可以是分散的+但每项都含有指出下一项位受的标识存：与2.269条同文。
2.61更动辉chagccorol
CB/T11457—1995
提议作-项更动并刘其进行估计、同意或拒绝、调度和鼠踪的过程。2.62编
1一担无歧义性的规则，它规定了使数据侵以用某种离敢形式加以表示的方式。h.
用处机可以援受的符导形式表示数据或计算机程序。c.书与例行型序。
d。也叫指一个成多个计算挑程序或计并机程序一部分.为了安全的日前对教据进行的加丧示.2.63代码市计mrli
由来人，采小组、或借助基种工具对跟代码进行的独立的审查，以验证其是否对合牧许设计文件和序设计标连。还可能对正确性和有效性进行估计。整见2.3条，2.465条、2.237条、2.545条，
2.64代码生皮馨codcRcncrron
一个程字或程字功能，常带风于编译程声的…-部分，它把计算机强序从某种中间级表示（通带为语法分妍望序的输出)变赖成较为低级的表求.刻汇编代码成机器代码，2.65代码市codeinspection
教见2.257条。
2.66代走codewalk-thraugh
梦见2.545茶。
2.67内深度cohesion
单个程序模块所极行的潜任务在功能.上的6.相关联的积度。与2.112策相对照。2.6令语片cammandlanguage
组过栏性的操作符及与之右关的语法：用来指明交给操作系统括行的功能。2.69注释ummnt
在计算机程序，命令语言或数据之间的说明信息，旨在给读者提供涩清性校料，并不影响机帮的解释作
b.对到或教胃在源语言语向当中的描送，附注或解弃，在甘标凝育中文些是无效的。2.70较器urraru
用来比较两个计算机程序，文件或数据荣合的一和教长工具，的是找出其共回点或不间的地大。比较闪典型对象是源代码、标（代>码、数据基文件的相似概车或测试结果。2.71兼州compatibility
a：两小或两个以上系统运行同一软性可得到同样结果的能力。1期个或两个以工系统处理同样的数据文件可得到同样结果的能力。比较2.233系。
2.72编详ompite
将高级言序变换或与之等价的浮动的或绝对的机器代料。与2.29条相对照。2.73编洋程compiler
用1行编译的一种计算机程序。与2.30条，2.255第对照，2.编详程序的编详程序compilercompier参.2.75
2.75编评的生或保疗compilergenerztor用来构造端函程序的翻程厅或解释程序。与2.200条同义。2.76复杂性rmplexiy
系统或系统组成部分的复杂程度，由下述为索确定，如：接口的效压和增综益度，条件转移数量6
CR/T11457—1995
和错综程度，嵌套深废，数据结构的类型以及其它·-些紊统特性。2.77部件，组成部mpo
系统或程序的产部
2.7计算机comju
能执行大量计票，包据许多算术运算利逻运算：面在运行期间无带染作尺干预的·种功能0
教置。
b，在一台款多台相联的处理机和外国没备组成的一种可编程序的功能装间，这装宜白内部空绪的序究制，可救行大的计算（许多算术运并和逻链运)面无需人的工预。2.79计证数据camputerata
计算机议各和计算机设备之或计算机设备内部通信用的数据,这扣数据可以尽外部的（计互机可该形式>，世可以后驻留在计募机没备内的，可以走模拟信号，也可以是数字信号.2.-网络om[rtwuk
山两或两个以上按一的办没工的计算机组成的复合体。2.81cpuproam
按照具休要求产业的适合计算机处理的指令序列见2. 352 条
2.82算机程序摘费
armple- prugraal alslran:
对计算机程序的短述，给用户提供足燃的信息，使他们能据此确定谈计本机程床是否适个其需要改所梯有的资源。
2.83计利保序注释omputerprogramannratian势:见 2. 60 条。
ompullerprngramcerlisicalion2.84计算机程序认证
我见2.59条。
2.85计机程序配件标识
compu:er program coafigutation icenificalion势见 2. 96 条
2.86计算机程字开发计划pmenlplen垂元 2. 111 条。
2. 87计穿机程于确认
染死 2. 533系
compu1er program validation
2-88让其机程字验证
coripurtr rogrin verilicutirai参死 2. 537录。
2.89it算机系统computersystem由一台或多台计算机和相关钦件组成的一和功能装胃.2.90并发进程ontaurrrmlprucusses可以间时地在多处理机上执行或异步地在单处理机上怎行的若干进程。各并发进程可以相互作用、个进程在接受另进也的前良之前或…外部事件出现之前可以把妆行挂起，亍2.426相对2.91系件制结构cunditionalcontrolserctuc一种程字设计控制站构，它充许程序中使用根据指延条件的满是情况而加以选择的控制流：例如安情况妇果则·否··
2.92配骨conliguraion
，计算机系统或网络照其功能部件的特点，数量知主要特性项确定的排列。具体地讲，配划一词可以措硬件配置或效件配受，7
CD/T11457—1995
b，为硫定系统或需统流约成部分的特定额本而投山的需求、放计利实坑，.在变术义挡中制定的并车产品中体职的硬性、教件的功能知（或)物理等性。2.93配置带让cnikraticnaudit
证明后要求的全存配些项均一产牛出来，当前的配与规定的需求柑存。技术文件说明节完全面准确池达了外个配需项日，并且曾经提出的所有更动求的已得解决的对保.2.94cuiguinnnlm
白.：在配置质的配置标识正式确定之片，对配世项的臣动情况所做的估价、协，批范或不批篇的过型、
b。在配料项的配寓标识正式确定之后.对配受项所进行的有系统的估价，协试，所表示的非难最不准。以及配置中被批准的更动的其件实现过程：配控制委员会ranfigurariaconplbrd2. 951
对提出的下性上的灵负失进行估价，中批，对核准进行的更动确保其实现权力机构。2.96配su!conliguranionidene:ficatian标凹系统中的配审项并对其性进行记录并过程经肥后意的确定一配骨项的支作说班头。b.
当前已指准的或有条件地批难的针对一配胃项的投术文挡说明，女载下规格说中的随和相关表款文偿说明。
2.97配项corfiguretiauiterr
8为「配实件理日的行件为一个单试来君待的使件和/或软牛成分，，：满是最整应月防能并被指名用于配置管理的硬片/款件，或它价们的带合。配骨亏在复杂性、现慎和型号上差异共人，可以航定、电了或船舶案统到试仪表进主发子弹。在发和权始生产阶晟，配胃项就是合同中（或与之相当的内部办定中直接引的说攻，在运行和继护期，被指明要分别装供的正何可维护的项也是配置项，2.98的管理ur:figuralicn manixement1标识和确定系统中配肾要的过程，在系统整个生存所期内控制这些项的投放和更动，记孕片反告配既的状态和更动要求，费证配胃项时整性和正确也。参见2.61条、？.S6条，2.91条，2.99条.2.93条
b．对示列二作进行技术和行政措导与监督的套规克：..…对一配受项的功能和物理特生进行标识和文件缩制工作：一控需，这或款性的更动情税况录并投肯别这些更动进行的处理和实现的状念。2.gg配块杰报告eaafigurationsraruamnling记录和投告为有效地管现某一配胃所需内危息。包括列出经批管药配实标识表、列出对配丘投出恶动的状态衰和经批准的更动的实现状态。2.100监控canfinement
2，在被格准决问期间防止疗数据做未经该准的改变、链用，恢环和世弃：参以2.247条b。对差序和逆症施加的限制，日的是使它们不解访同或影响未龄核准的数据，星序或进程。2.101连接inme:lim
：程序的某·部分刘程序另-部分的标识符（即，在劣外姓方发玩的标识>的引用。参况2.245b.为了传举信息而在功部件之间建文的关系，2.102合同coet
过法律约束当事双的·个协效，或足在一个机构内部为了提供展务的一个内部办议，该期E
GA/T114571995
设提供的服务适用于个系统或票镜一部分的供应，开发、生产、操作或料护：2.103合同所要求的伟计contranalyrequiruurlir合同所要求的审核过程。一-般山需方或中独立的机构主持进行。此过对产品或服务提供一个支的评价，以决定产品成服资展否对告它们的需求。2.104换纠数据contrnldata
选样和序中的操作方式或子为式，绘顾序流指间：必直接影询软忙频的数据。2.105掉语句controlstaemen
影略操作执行得项存的程产效步诺已的奇。2.106控则站构cnntralstructure通型计募机程字决定控制讲的构染。参比2.少条。2.107转换coveriar
对现有软件进行够改，使之在不间开境一性时留只有等同的动能例如，把一个程从FOR工RAN变换成Ad，把在价计算机.上运行的程序变换成能在见一台计算机上运行的程序。2-108协同例行程c-r0u:n6%
微计能源用，但不存在上下级关系的两个或两个以上的模决。2.109
求正性维护tirn-iliv+tmlinienanre学\1为克服现有放障而进行的维护。参见.2.449条2.110立碗性5orresiness
款时无没非缺陷利端码缺荫的程度.即无教障，a
h.款件符会规定的需求的程度。软件满足用产期的度。
2-111正谁性证明orrseproo
孝42.374条
2.112帮企座coupling
计放机程序中模块之间相互依赖的处度。号2.仍条谢对照。2.113临界的，关得的critica:
录指：
且。由」议计不当，.人系染或一致作的某些环节成部分在运行时超口，筛界范国+或存在潜在的、大检测出的错误，会致死机、人点价害，任务光败、数期丢实，财经上的损失或灾难性的改备担坏等严主后果。或指b，要使用的获件开发技术的股效程度和右关的风降。2.114关继部分优先eric:ca：piceefirs软件开发的一种选径，首先把灶悉力案中在软件歌统中最关部分的实现。关魅部分可以根揭所提供的服务、以险程度，洲推架设或共它一能难则来确定.2.115美链采，临界股eritica!gectian将要被执行的·段代码。套执行与另一关链翠的代码的执行是工尽的：如果一此代码投恶相快用一计算机资源和数落时，就要求这些段斥性执行。2.116危总程度eriticality
按期教件错误或故障对系统的产发和运行的影响菌度所做的估价进而对这些软件踏错误或故际进行的分类（通常用来划定是否费对某一改岸进行校正，以及问时子双校正》。2.117交艾准编程子raasemhler
在一台计师机上为另分本同的计机产生日标代码的汇随程库2.118
交综许税子ageompilet
GB/T 11457—1995
心一台计算机上为另一台不间计弃规产兰综代码取口录少两的编译程字。2.9数据data
实、批念或拓令的形式化的表现形式，它追了由人成口动装骨进行通信、解师或处理、态见2.79条2.104条.2.179条、2.3$系.3.445录2.20数拟ataaniir.in
通迁选择模定必数需资型效其可关药法制特性的办法，仪没保持变抽取效据的本见特生所得的结果、从力使其与细节部计的表现方式分子或把它们隐残起来，参见2.235条，2.121据.4.数据deta5a
数据案，义一数据荣内部分或全件、它至少包新足够为一洽定日的或给定数据处理系统使用的一个文牛，
b，对系统来说品本的数据集个.2.122数据字典datadctionar
软系统中使用的所有效据戏的名学及可些教制须有关的特性（例如，数据项长变，装示等的乐合。
h。分法数沉图中带及的数据流、款据元索、文心、数期查和逆程之定文的集合、2.123数用data ovw ehart
点统的一射图形壳示，其中表示出数据源，数据汇、存储和以结点影比对数据执行的处理，以及在结点间作为迁要部分的逻款扣度。与2.124条，2.125条回文.2.124欧据图dataflowliaga
参2. 123条。
2.125效据流datRflorRraph
泰贝2.123条
2.126效据结的l:nrmr
数据项之同闪次序实非村叫方问的一冲形式长示，异巾六涉必其实际疗诸扎列方运。教期类型datatype
-类整据，用高」液费的元案利可对之施行的探作来表征，例如，醛生，实型，逆样型.非惜，游式debuggirg
查按、分机和纠正错误的过理。英型debuggingmadel
零2.180条。
2.130判宗表dcciair tuble
r。在教述一问题中要考悉的所有可能发生的情沉及对和一组可能发牛的增况将要采或的行动的一张表，
b，列组情说及其村动作以矩阵形式或到表形式所做的表示，陷defece
存见2.198条。
2.132定义阶段deFinitiar.phaec参贝2.40%条。
2.133付 delivery
软件析制周期中的一个阶段。在此阶投上将产品走交举计摊中的用户供其规用。软件研制周期中的一个阶效，在过阶没上产品出共预定的用户接逻。h
2.134俊计design
会，为使·软件系统涨足规定的需求而确定软件体系站构、那件，漠决、接口、测试蓬径和数据1
的过程。
h设计过程的结集。
2.135没分designanalyrsis
GB/T11457—1995
。对一设计进在估计以确余其相时于预定需求的三确性，符合设计标准的理度、弱统效率和是否符合其一些注则。
h.对其它替代生设计途径的估卡。2.136没分析d
一种自动设计工具，家接收有关程，的没川方的信息，并产生以下力而的输，妇莫决良次图、控制利数据结构的医形表示，以及被访问的数据快内览表等。2-137设计审查exigimpecl.rm
参见2.27条。
2.138设计谱言designlanguage
一冲尺有专门构丧，有时还可岭证的语去：用以发、分所设计并为其书写文件，2.39设让方法学dtsigehelug
进行投计的系统途径、由专门送择的工兵，技术，准则的有序应用所树成。设i政designphase
致件牛存周期中的一段时日，在这段时间内，步右本病结均，软件组成部分，口和数据的设计为设计编制文性，并对其进行验证，以满是预定需求。计需求designrenairemen
影询或壮制教性系统或教件系统组或部分的该计的带求：例划，动能需求，物理需求，生能需求：款件并发标准款件质量保证标准。参见2.407系。2.142设评车de91mrvi
8。在正式公议上，把系统的划北的或详细的设计提交给月户、客户或有关人士供其产审或推。
h：对规有的或提出的设计归做的正式评估和中青，共日的按出可能会影向产品+过程或服务工作的遍用性和不塔方面的没计缺陷非来取补效潜施·以及或者>找出在性能、安全性和经济方面的可能的改进：
2.143龄计规格说明tlesignspecification种措逆设中要求的正式文尚变照这种文档对系统或系统组成部分（如，款性配留项）进行段计，典开内率包括系统或系统引波部分算祛，空制逻，数据结构设定与使用（sct.1）息，轴人辅启格式和接描述。参见条。设计路证tesign verifiilinm
元2.539条。
设计走查eaignwaik-througb
奔见2.515条。
2.146面检查ceskcheckig
对程序执行情况进行人工慎拟：用连步检查源代码中有力逆耕或语法错误的小达索检测教障$见2.468条.
2.147详设idetaileddesig
推蔽井扩充划少设计.以获得关于处理逻辑、数据当构和数据定义的更训详尽的推述，直到改计完誉到足以能实现的地步
b．详细设计适种的结果
2.148开发名deeloper
GB/T114571995
在软件生存周期中执行开发活动(位括需求分析，设计真至酸收)的·个机构.2.149开岁周期developmcntcycle参见2.438杀.
2-150开发牛在州期dcvciopmcntlifceycle效见2. 438系，
2.151发法学deelopnuentmetinadalnRy编制收件的系统方伪，它确定升发的各个阶裂，规定年一阶段的活动、产品、验证水暴和完项准则。
2.152开发规格说明>emxficr
与2.137录同
2.153给ciagnastic
计势机保序产生的信息，空用文指示月一系流组减郭分可脂的故摩。例如，由编详程序标记的落法情误，
涉及故障现失效的探测和需离。2.154有向图digraph
则2.155条。
2.155定向图directedgraph
一种图，其中的边均是单方向的。2.156文档.文件dnemem1
-种数地媒体和其上所记录的数撕，它具有水久性并可以自人或机器阅读。通考仅月于症述人工可逆的内穿。例如，技未文件，设计文件,版本说明文作。b.
编制文件：
2.157文，文端制：文档管理dumemtliasra.
关丁一给定六题的文件巢合，重元2.335录、2.443条，2.493案。文当营理可能包搭下逆活动：对文档的让别获取，处理，存诺和发效。产产一个文档的过程，
为了对证动，代求，过程或结果进行消述，定义，规实、报售或认证的任何当面或图示的信J.
2.15日文悄级
docLmentatinn level
参贝2.263条。
坚动程dsiver
一个程序。它借助类拟较高一级的系组成雨分的办法来懂行弱统或系统组成部分的作后。孝2.：11条
2.160双编码dualEoding
一种并发技术，出不同的保序员战不同的程库设计小组，根据同一势规格说明书开发出功能上完全相同的程序的两个版本，所携得的源代吗可以采用一钟语言，也可以采用不同的语吾。双份编码的日的在下提供错误检通，提商可靠性，进供附加的文件说明，或处系统的程序设计错误或编译秘序情误影响最格结异的账率降，电教dummyparameter
参见2.211条：
2.162凸.载诺lmp
被转错的撕。
为了某一专门日的。如允许存储器另作它用，或作为两的故障和错误的措施；或为了进行b.
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。