GB 12172-1990 核电厂安全系统计算机软件.pdf

《GB 12172-1990 核电厂安全系统计算机软件.pdf》由会员分享，可在线阅读，更多相关《GB 12172-1990 核电厂安全系统计算机软件.pdf（48页珍藏版）》请在麦多课文档分享上搜索。

1、?告盟。;GB 民共和国国家标准GB一一告安全系统计算机软件Software for computers in the systems of nuclear power stations 技术监督局1$导思次Ij有;也!刘岳阳归队榨霄帆.伽幸也事E咽.稽1 1!Il ( ) 斗j 啕礁事事非讲.,. 8担惊) n .悔肯咖畴曲事.快啪莓.;) ) 号3总协牛的.lilfl如i悟都哩叫事帽嘟嘟噜嘟惕巳)蜘却司性障碍需号障.榕情蒋啊也驰嘟.饵静静市略带枪向狲尊匍啕鹉作与做伴的执手盼啪曲扮酬由.，青崎自揄囔啪吊d自峰魏嗨司声但宿。如刷苦巾，咿喻也民惧哗( ) 咱咖噜喂眼串咖鼻铮铮枪也咖曲. 静明导挚

2、霄由哥哥4险霄带胁喃喃峭l() 啡都桐帝.惊. 悔鸣略悔伽伽咽甜静静嘟幡协挚斗争揣柑咿啪岳和咖啡督协陆帮( 1 J ) 响吗椅桃幽自k静旨酣楠.棉啪啪巾摩西户愤耐帚阳帚币6皆咽而萨.巾却喝即将协(1 ) I ) ( 18 ) ( ) ( ) W响电陈静也. 可司，幡恤.，幢响铜.悻替咽.呻精啪崛制唱骨前喜咱陪审( ) 典和盟盟吕京标准营企系统计算机软件日1号?如ftwarefor c()mput，rs in the $昂syslcms()f nuclear powcr stations 击，中的!盯在人的12黠准100告台1GB 217导4个独立的狡泣，ttl，日以ffl几个中日皇梭的泼泼乱4

3、 以去h计好5 毛3阳5 1号1 1 I 1 4 5 I I 心12 72 90 目的是为了软件的研制制定撰础的G 12172 90 的?说:究lJJ j l i 02j )i t俨bi !JIll: 栩盼恻咆栩伽佣惯例制栅啦明何智惯例咱俩院拇帮确需增栩栩附带横向赠伊珊革GB 12 172 9。t 川g自L;Fr 、:的盼户huwGB 12172 90 F沟厅i泌给构立i商u 安份衬下的为法吗十在BI I成i交附加小的变化Bl , 4/10 操作嘈3执行Bitf有j才Bl, 5/1 0 l州:口11术表达式伪于七检n:l , 段:转移满对子陈j字匀乎1获辛苦构数燃结构I.j1ril阶段, 3/

4、 模块栩如拟中的优化，4/1号执行n们、i巾能什吗刊IJlJ以:兰有B5 , 4 成;伪位:检我安全输出得储路内容辛苦谈梭J发f石口创i转移与循环4 , J 子稼!于与过极接受辛苦在构存放与费生t良, 4 数极结构咱5动态变化告1脱序与排在I甲:tt:草草辑:编f!栏中的生模窍，例如BJ.瓜，其中B.，J对!泛的附录忠中的楼，1为夜III的号A则如立;小的改邸邸LHM GB 12172可。将什ndy寻$立; ? 1 、rb! i f :某小怨的苦要求是指出软件研制单位成个人以外的单仪或个人进行检脱俗然念活的方式是聘用哗个捡破!J、好i后GB 12 72 90 毡。拟12172句。号Ei j f

5、 在8 器。制，蚓2是w如稠G I i i j j 肉川5 GB 12172 90 挡i t恰如丁j 告:好G 12172 90 口的。10 1 门vl 1 GB 1 2l 72- 90 1 汀叶划，谁叶期出在走!&准酣毛粥Fl , 真，声4出酣试结i架及与5是收F在剧的符合情况(我们，M7)0 GB 12172币90/们A2 /飞1蘸创暗。11 GB 12172 - 90 附录A森纳研制周期软件要求的描节;在;也叫视节i系1光满足的衣食系统设求i￥i八i防止放前性能漏的功能以及fa自如;日怀;i 事G 12172.90 口号11G 12172 90 r ! GB 12172 90 时，从而j

6、飞叫2非吕创立，I5弘J飞GB 12172一90飞2 如d 、二毛p t、1 6俨zoe8 34 : F甘录8与安全有关软件的具体撞议(补1 础盼(吼:汉巴1)于1、王挥手月肌肉松开软j!frJ:能从ItJj!l;f，均i部描述?忡金1孩童在个系统z可能在内设计的职阶段娇惯有附望在的城1 立3 4阳性的决策应尽I3 I 与王讨论并拟定成文5 烧校衍戴大决策影I3 1 响到在钱其他部分阶段考虑辛苦代灯结在并将它们的风院列GB 12172 90 有fiJ二j才lhl卡j码职D I 1号立于大的。I总的设IH1以/设怜的沟日i妮的一级悦，设计的骂骂较D !葵的j胁到枝，平现有问础的部擞 D 11极J

7、设计的协D I将:研制末期激烈附/I x 。I激蟹的工作!fft1ll的设计1 2 1 72一-90 G 1 3 1 何利于防科于币f1安或做实现方放(点用;我仍在H)先戏剧班主优川机数T议:我放的工作/仔牵引的改D 到f辨均;每个放浪豆、j锐他部分生的的太太Yir.f11 时1始以/矿龟3 3号之间的问隔句名小，以I使然够在谈步骤内!可涉及的消吉布放树i去解或不稍稍/D 2 作以后改毅的必苦苦役/程序设怜的一般性错误/3 对辍序的个人接别11棋协与研制利!好一种数科较消极的捕;在形式淤行李诸如数男绞钧、为fl:码、领淡写i援帮手段jf我但汇总统商i阶ji可栩如j踩在等3 向政向下的3 哈萨立

8、自GB 12172 90 Bl 惊:先i实现方法成烧戏借助于萨;苦I辈辈权或I在要在I 儿I_叫j叫一I州eI 有利于防止/有利子位糕子柳树变化服从与议:变化乎f关小i变化服从一般阶段2 /识另111.变变化引板的树i怒步向桦树:阶段进I 有影响小生!1仅4英rn 变化服隐减权将尖快，则按:将它;戴籍?中的牵挂i荒/到较小般以前所漆那f的Jj主政IJ然i试以;刘树JI 1 I 。1 ltrdrlm41，i邵阳快化模坡的问:士或亦应环城中的始谈/?在新测试1 口11对变化影响的刷刷确藏的挥自影响/化然用然1虫害的磁议GB 12172 90 Bl 优先j实现方位应用戏借助于I 有较IJI在if t

9、1) 如机山3 f!J I较j:f:1M序I件f哥?主改进有广。I不，除锐的假外i竹点协听的城部分钱锁挟知II沟芳iJ寸寸市的D I /很快辨认出始谈书，主I刊刊寸扮1怜的部分II I I I I I巧的怨说/W它的消吉普主GB 12172 90 132 i立优先i实现Jjliun但我f援助于)有利于防止/有科子、jfJt飞i /可测试科if二10;: jlj应如此如j分，安F列主七引qJ以!在!确定义的投LI勺空f枝fiU芋分底机外部J丧n古n告收梢，吃吉野处芳在)挡号吉日时行批如i扇成科!于手问:分1号已妹f拉如i丹j牛)功能n唤射到辛苦祀的I弊机驳!f吁中3 秘可以敞I2 的川于放实现i

10、J能的在走化那1fl J;j l) 斗变得HJ好的接弹在*，然构方法台处理机内极F萨报税E在尽可能颗原工作:略湖叫个极序统穆fF谣H吁:包含100个以的河执行浴缸肘，均将将分为个小的清晰茹苦贵的模j炎。/y海曦的吨构，口fJI 1 /系统i后悦I塑解卡是运时问题或不同的叫:J) I附贼!字泼成的搅乱/x 11可豫解牲口G 1 2 1 7 2 - 9 0 附础议作统操俨然究成，旗号在优权数赞有利于防止利于/可磁盘事做j 何个模权t应对应叫种特定劝他谈谈只!但?人口;尽管夜时个t!Ju , 只有个出口比3位向被块毛皮不得均为/日J测试件: /梯子求驳;吟I f戴安忡忡在块/满足人;到毅的领?我的惑

11、:快)4 榕城阔的报I空尽i撤常难以检测到的IJ 苍苍蝉，在统D 中东技谈/虫子按理成文帧1 x 1 l c lM以u然数赞段限制到口中的错泯/益主、6叫I 1 I I/T IDfi; 费生专辑毅仅鲁克使限的字1x板是义的成立最新定义的料。;1 议GB 12172 90 62 优先i实现方法成ffllix;ft则)权;或一叫一川x 1飞史沼纶过彻底1I x 拉出i式的操作:缆，对现有的必行经验很好引发歇了解泣如j它的i役，不使用辈辈作系统;击日认均有必领使f罚;银f12戈、限制民几乎l衍帘的功能士只丹创含必榕的I1 凡与有利于jj11:1有利于/分析枪!院彻底测试过的操作i石V成称底以相间的力

12、2) I 仁I轮/阳的!繁队允除的m某一特定除价;自c俐的!于叭j测试操作城附不进行卫科气/特殊椅背操作削耐戒严!。口!使用1的误解/格忠义并具有明确i旦义的接门在口果一个专阴阳I1. I I熟于始收呻个专!吕苦苦分范沟特殊的资金ffl际研制的，立j类磁议都应激循如新没有1的版本应按 口口!川的制/Bl 及Bl丁游行处理1住其他将?!t根序或o /时1频繁i黯)在激行统l协服部件都成雪景较操作统辛辛处窑的执行时间小顺序税所f飞机也也也4. 的共果卡。何i光关得执行谈极尽所需的时间子输入敬敬的不I1 过1I 执料和取决于输!s 才知骸i我写过徽i泣不变GB 12172 90 飞Ji :叫I叫jI

13、 和防止/斗f利于不郁的衍/D I不可J事育界的定时r，才D I不可郁的定时间那/I T I 1扇子估计於检验运行时I D I1扬子伪itJ宇险驳丢衍flf如iI C I悠然我也D 11偿法f子时间削减小C T 可如咖啡忖巾叫何问侧叫咱啊萨叫附附附照照附领阶燃愤慨梆附燃啊啊粥棚糊照顾矫棚樱燃珊珊烦附榈树椭糊糊糊糊概喇喇附栅栅费事G 12172 .90 一二82 优先i实双方法(J宝!那或I借助于)校或议!啊i附1刊:1好11阳11硬件I守约i有利于防止/有利性极!字码文午夜中吁:中i凯的使受限制札i如果中膨i吉它僚系统技巧化D!ljnJ以i!Hl2 1:J f却fA衍rJ吉它的关I间在哈顿号子

14、在于闷111燃部分中(如鼓楼D I分普J的时间与那f挂号修改必、1页lf吗?断I 的软?中处沟!非I1，产:l如:骂m中部r，;刷子时llilfj础/现1习断的部分j年i我打而个在克到iF 大i十日rlJ字从部禁止1晰的的大时间1晰的使用手n献ii x I x I j也f支部:我人文件I IIj事巨斗1点2 赖于大城衍了才I队可能;侦m衔I /山时的功能勾销化的唔书中是。鹤立:间的关松的水:始时盯州数I3 I 哨尽分析，IJ111煽码时r点粉1立的那个1丹均t丧i点:式之间的一觉怜业在古城的中很容扬着IIj如3协GB 12172 90 83 孙7页执行伪快毅;总娃执行且各4于1测试不z$3访问

15、的编码何个将军事的每个u问生口号召夜;、执干了叫俨7、1台，JZyE、在没有在进环、;去时间怒:时，可能必彻底的;拔一在对;中的炖含rr骂骂可I 艾知个价格较非个校都j流勺数撤销i中的错要11;注明12 fgi1JlfJ民主的ffli斗B 然i卫工资在i论环控制及数经i数据处:湖中的错误JJf;有?错段的投制流i 卖n!i在有级会问题的活仅对模块叮行，如:锁在月!li;注:载:在手个新传到;或t1r 据f专i放淡ij式1号; 豆、?蓓在小猝哎丁绍!阔的赋俄! 数据该:u午的铺设，何不.使用敷级保i夜GB 12172 90 Etz :割成亲院然溯到的锁泼的事然I:( 11 I川、叫贮可;可间的部

16、个数知流中的专IH关宇在中夺使用数均当I少执行殊情况段祀的!有从输入资lJ输出的快所有建立燃流铺设对向往独的军哇!于段总是执干fi式i主运执行对i部l，tt辛兵女IH在数以不太太，且u生、J号土1万Mj二其f 税f吃月有输入较拟始悦的输入数据空间的全11男主使用模拟输入输入数蹄子域的数i共和婉约却!111分析发现才主在附有临界点上将数的苦i哭，J平法错误，台如果i十势t1L字长较短;对达1平的柏确性人果使用绞杂的.i好I l I 仅对视攒1I式:半夜战Ll楼焕之间不正确的数据将1，1泛块空写作的传i筑将i纱与之间不正确的如UI 总公执11流与不11二日曲的敷衍流们不像议:E3 j贺龄探测到的错

17、误的种模如L干一了d 种输入数报峨番苦项要求的决放概;礼状况的说缩知识以在i娩j注行时问样的P.=95何时) ?连根式nP99%时(Al 以!司概也较测试nGB 12172 90 E3 测试举l杰执行能燃一项特恕的极予特I1:Z对不可分析的粮部i访拟的糕!于站构方丽的分:处分i载的知i只(Al们果i夜牛锵说j难以ftiirI飞日知钱?淡的概n个缴税序与旨，:l战j 苍11:输方向上叮之l龟翻I xt则试子城边界位院的;但梅特L分布的测试点i 试点的平均i!ti1将I电传有府F母亲萨斯黯文件一览表飞、，jl 嘀守f 11 指战:文牛名科:1 安全是起敦字系婉的要要求敏:111苍需求技术条件(功能

18、13iJ者在然要求;现燎保说改革自详细注盘议税脐带IJ软jll:怆磁计如系统生;汪会计划软件性能技术条件;统计检战瓶传软件燃试技术条件2近期预1试过粮的技术裂求5 品.; 闹;巳4. 7曹G 1217290 F1 件名1 l. 切自Ml 矶山大机;去iilI ! lt j t 川、2; 门门11华:仁立l i i l i i ! i 也仅F2)F? 4阳门，内川pd 吟f 对!还条5怜手常限3卡导救文l扑作1中l衍灼改没古项i 队ll10. ; 1队3命!忖软含在年于l接改扳机药艾什软f11，悲欢拟的1)阶段产生沁立拉格号:我一文作。l功。队0. 川、段。1F2、i安JF:1) H GB 12172 90 $; 1t lf搏j怜11 那11在)出128、9、11GB 12172 90 软件淑i句F:见AHV l 4号