助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   安全苛求 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.078秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
非线性科学与系统科学
更多类别查询

图标索引 历史查询
 

安全苛求
相关语句
  safety-critical
    Chaotic Safety Analysis for the Safety-Critical Software
    安全苛求软件的安全性混沌分析
短句来源
    Inject Fault to Test Safety-critical Software Using Scrip
    使用基于脚本的故障注入测试安全苛求软件
短句来源
    Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events.
    安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。
短句来源
    Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important.
    因此,对安全苛求软件的测试、安全性评价非常重要。
短句来源
    The railway computer interlocking system is a kind of typical safety-critical system and the chaotic safety analysis is useful and helpful for implementing more efficient on the spot software testing.
    铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
短句来源
更多       
查询“安全苛求”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  safety-critical
This makes the application of this method to such areas as safety-critical systems reliability and risk assessment a very attractive option.
      
Relational programs: An architecture for robust real-time safety-critical process-control systems
      
Software for safety-critical systems, such as avionic, medical, defense, and manufacturing systems, must be highly reliable since failures can have catastrophic consequences.
      
With appropriate priority assignments, it provides strong guarantees that the safety-critical components are immune to defects in other components of the system.
      
Safety and reliability have become important software quality characteristics in the development of safety-critical software systems.
      
更多          


Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified...

Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified in this paper, and the study on complexity parameter is made emphatically.

安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。

Research on safety are always based on software reliability,which has been studied by a completely probability and random process methods.But safety is not equal to reliability and the concept of reliability itself needs to be improved to meet with the science and technology demands in the 21st century.On the basis of careful investigation on the features of SCS and its failures,the chaotic approaches can be applied.By studying a time series of hazard,we can employ the technology of embedding space to reconstruct...

Research on safety are always based on software reliability,which has been studied by a completely probability and random process methods.But safety is not equal to reliability and the concept of reliability itself needs to be improved to meet with the science and technology demands in the 21st century.On the basis of careful investigation on the features of SCS and its failures,the chaotic approaches can be applied.By studying a time series of hazard,we can employ the technology of embedding space to reconstruct the phase space and the attractor that reveals the chaotic properties and then we can forecast hazard.The railway computer interlocking system is a kind of typical safety-critical system and the chaotic safety analysis is useful and helpful for implementing more efficient on the spot software testing.

对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。

Because the safety-critical software is often directly related to the safety of the people's life and wealth,software has to undergo safety testing strictly.A new fault injection approach,which is based on script language,is presented as a new approach for testing in this paper.By running the safety-critical software under a fault environment,the probability of fail-safe or fault -tolerant can be qualified.The new fault injection approach increases software test coverage and makes errors exposed quickly.The...

Because the safety-critical software is often directly related to the safety of the people's life and wealth,software has to undergo safety testing strictly.A new fault injection approach,which is based on script language,is presented as a new approach for testing in this paper.By running the safety-critical software under a fault environment,the probability of fail-safe or fault -tolerant can be qualified.The new fault injection approach increases software test coverage and makes errors exposed quickly.The conclusion is that it can improve the level of test automation and test efficiency of the safety-critical software.

由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关安全苛求的内容
在知识搜索中查有关安全苛求的内容
在数字搜索中查有关安全苛求的内容
在概念知识元中查有关安全苛求的内容
在学术趋势中查有关安全苛求的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社