1) software credible measurement
软件可信度量
1.
The auther discuss the method on the software credible measurement,analysis the implementation of software credible assessment system.
论述了软件可信树度量的方法及应用;对软件可信度量评估系统进行了分析、设计与实现。
2) software reliability measurement
软件可靠性度量
1.
The efficiency of software reliability testing and the accuracy of reliability estimation are improved by the research of software reliability measurement.
研究并利用软件可靠性度量方法,提高了软件可靠性测试效率和可靠性评估准确性。
3) trusted software
可信软件
1.
Research and implementation of trusted software constitution based on monitoring
基于监控的可信软件构造模型研究与实现
2.
Research of real-time test case generation method of trusted software
可信软件实时性测试用例集生成方法研究
3.
One trusted software constitution environment based on aspect-oriented programming
一个面向方面的可信软件开发平台TSCE
4) trustworthy software
可信软件
1.
With manifesting of trustworthy software recently,some issues about trustworthy software development have become dominant at both the software industry and academic communities.
近年来可信软件的提出,让人们越来越集中于对可信软件的各种讨论,其中通过有效的风险管理,提升软件的可信性是其中的一个内容。
2.
Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
5) automatic debugging system
软件可信性度量、评估方案
6) credible assessment system
软件可信树
1.
The auther discuss the method on the software credible measurement,analysis the implementation of software credible assessment system.
论述了软件可信树度量的方法及应用;对软件可信度量评估系统进行了分析、设计与实现。
补充资料：可公度量和不可公度量
可公度量和不可公度量
ommensulble and incommensuable magnitudes (quantities)
可公度t和不可公度t【~e璐u由lea目in~men-su.ble magultodes(quanti柱es);“洲口Mel娜M毗“”“”-113Mep目M曰e肠eJ皿，一皿曰』 如果两个同类量(例如两个长度或两个面积)具有或不具有公度(common measure，即另一个同类量，所考虑的两个量都是这个量的整数倍)，则相应地称这两个量为可公度量或不可公度量.正方形的边长和对角线，或圆的面积和丫的半径的平方，都是不可公度量的例尹.如果两个量是可公度的，则‘l艺们的比是有理数;相反，不可公度量忿比是无理数、
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条