2) Component safety test
组件安全性测试
3) safety software
安全软件
1.
This paper presents the independent Verification and Validation (V&V) process for safety software of Programmable Logic Controller (PLC) ,Digital Reactor Protection System (DRPS), and Engineered Safety Feature-Component Control System (ESF CCS) in Korea Nuclear Instrumentation and Control System (KNICS) projects.
讨论了可编程逻辑控制器、数字化反应堆保护系统和工程安全设施部件控制系统中安全软件的验证与确认过程。
4) software security
软件安全
1.
Static analysis of software security techniques and tools
软件安全静态检测技术与工具
2.
This article briefly presents the existing problem within software engineering course teaching and the essentiality of software security,and proposes applying the software security thoughtway to the software engineering course design.
文章简要说明了软件工程课程教学中存在的问题以及软件安全的重要性,提出在软件工程课程设计环节中应引入软件安全思想,并具体说明了面向软件安全的软件工程课程设计的内容。
5) safety-critical software
安全软件
1.
After specifying common risk simply, this paper puts forward the software risk concept of safety-critical system and the metrics definition of software risk, and discusses the risk analysis and calculation way of safety-critical software.
文章在简述一般风险概念的基础上，提出安全系统软件的风险概念及度量定义，并对安全软件风险的分析计算方法作了讨论。
6) safety critical software
安全软件
1.
Based on the research work of the authors to test safety control system of railway station, this paper discusses the whole structure of a test and assessment platform (T&AP) for safety critical software.
本文通过对安全软件测试评估方法的分析和研究,讨论了铁路信号控制系统安全软件测试评估平台的整体结构。
补充资料：测试结果可接受性的检查和最终测试结果的确定
测试结果可接受性的检查和最终测试结果的确定
check of the acceptability of test results and determination of the final test result
C凡(3)二3.3d，时，取此3个结果的平均值作为最终侧试结果;否则取它们的中位数作为最终测试结果。。，为重复性标准差(即在重复性条件下所得侧试结果的标准差)。 在口田T 11792一1989中还对重复性和再现性条件下所得侧试结果可接受性的检查方法和最终测试结果的确定做了详细讨论和规定。(马毅林)ceshi 11叩uo kejieshCxjxing d6 iiancha he zuizhong ceshi】i闪旧de que心ing测试结果可接受性的检查和最终测试结果的确定(checkof山eac，ptability of test，ults助ddsterminationofthefi耐testresult)在商品检验中进行一次测试的情形不多见，当得到一个测试结果时，所得结果不可能直接与给定的重复性标准差作可接受性的检查。对测试结果的准确性有任何疑问时都应再进行一次测试。所以，对两个测试结果进行可接受性的检查是一般的情况。 可接受性的检查，实际上是一种统计检验。任何两个测试结果只要能通过可接受性的统计检验即可认为是一致的，均可接受。比如，在重复性条件下，所得结果之差的绝对值(下称绝对差)不超过相应的重复性限r(见重复性和再现性)的值，则认为两个结果是一致的，均可接受;如果两个侧试结果的绝对差超过r，则认为它们是不一致的，必须增加测试。 按国家标准《测试方法的精密度在重复性或再现性条件下所得测试结果可接受性的检查和最终测试结果的确定》(GBIT 1 1792一1989)，在重复性条件下，如果两个测试结果的绝对差不超过r的值，可取两个侧试结果的平均值作为最终测试结果。如果两个结果的绝对差超过r的值，并且测试费用较低，须再做两次测试。当4个结果的极差(即其中的最大值与最小值之差)不超过相应的临界极差c，瓜(4)二3.6a，时，取4个结果的平均值作为最终测试结果。如果两个结果的绝对差超过r的值，并且测试费用较高时，只须再作一次测试。当3个结果的极差不超过相应的临界极差
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条