软件可信度量评估系统的设计与实现

论述了软件可信树度量的方法及应用;对软件可信度量评估系统进行了分析、设计与实现。

计量器具软件可信度及基于测评的计量器具软件可信度

JJFll82—2007《计量器具软件测评指南》定义了计量器具软件的测评要求，其中在7．4.3款测评结论中要求“应明确计量器具软件经测评后是否符合要求的判定方法和所达到的软件水平”。该结论是一个定性的结论，一般用符合或不符合进行描述。但是由于软件测试本身只是发现问题，在计量器具软件测试中极有可能由于测评机构整体测评技术能力和测评人员的个体技术能力的局限性，

软件可信度量模型设计

在网络技术不断发展的现代社会,软件的规模也逐渐增大,相应的其软件的错误率也逐渐的增加,对于企业来说如果软件出现错误将很有可能导致不可估量的经济损失,因此软件的可信度成为了人们非常关注的话题。因此软件开发公司将软件的可信度作为了产品竞争力的重要衡量指标之一。本文就对软件可信度量的模型设计进行探讨研究。

基于软件可信树的软件可信度量方法研究

可信计算是目前信息安全领域研究的热点问题之一。分析了软件可信度量的研究意义;构建了软件可信树体系结构;提出了软件可信树的软件可信度量的方法与步骤;最后完成了软件可信度量评估系统的分析、设计与实现。

《数字指示秤软件可信度通用要求》编制说明(续三)

2012年3月19日至20日,《数字指示秤软件可信度通用要求》审定会在北京召开。来自中国计量科学研究院、部分省市计量院（所）、全国衡器计量技术委员会、全国衡器标准化技术委员会及国内衡器生产企业的17位专家参加会议,对《数字指示秤软件可信度通用技术要求》征求意见稿逐条进行审定,并对部分条文作进一步修改和完善。通过审定。

《数字指示秤软件可信度通用要求》编制说明

2012年3月19日至20日,《数字指示秤软件可信度通用要求》审定会在北京召开。来自中国计量科学研究院、部分省市计量院（所）、全国衡器计量技术委员会、全国衡器标准化技术委员会及国内衡器标准化技委员会及国内衡器生产企业的17位专家参加会议,对《数字指示秤软件可信度通用技术要求》征求意见稿逐条进行审定,并对部分条文作进一步修改和改善。通过审定，与会代表一致同意，根据审定意见修改完善《数字指示秤软件可信度通用要求》编制说明发表如下，以飨读者。

《数字指示秤软件可信度通用要求》编制说明(续一)

2012年3月19日至20日,《数字指示秤软件可信度通用要求》审定会在北京召开。来自中国计量科学研究院、部分省市计量院(所)、全国衡器计量技术委员会、全国衡器标准化技术委员会及国内衡器生产企业的17位专家参加会议,对《数字指示秤软件可信度通用技术要求》征求意见稿逐条进行审定,并对部分条文作进一步修改和完善。通过审定,与会代表一致同意,根据审定意见修改完善《数字指示秤软件可信度通用技术要求》,形成报审稿报全国法制计量管理技术委员会审查。现将《数字指示秤软件可信度通用要求》编制说明发表如下,以飨读者。

软件可信度量评估系统的设计与实现

为了评估软件的可信计算分值和等级,本文设计了软件可信计算等级化度量系统,从对系统的分析、系统的结构设计、UML分析与系统设计到系统实现进行了展示。

《数字指示秤软件可信度通用要求》等国家计量技术规范通过审定

本刊讯近日,全国法制计量管理计量技术委员会组织专家对《重点用能单位能源计量审查规范》、《数字指示秤软件可信度通用要求》两项国家计量技术法规进行了审定。《重点用能单位能源计量审查规范》发布实施后,将为政府计量行政部门开展重点用能单位能源计量工作监督审查提供全面的、可操作的审查方法和技术依据。《数字指示秤软件可信度通用要求》通过对生产企业提供的电子计价秤软件进行测评。

基于软件可信度量的全方位软件运行安全保障体系研究

本文提出了基于软件可信度量的全方位软件运行安全保障体系,通过综合运用静态工具扫描和动态行为监测实现软件的可信度量,并提出了4项软件运行安全的关键技术,包括软件运行动态监测分析、统一融合信任服务、数据全流程防护及全方位立体智能监管服务,以构建全方位、体系化的软件运行安全保障能力。

应用软件可信性混合度量的设计和应用

文章针对目前在可信计算中利用TPM,TCM或TPCM实现安全启动,操作系统加载后对应用软件可信性度量的研究还不成熟,提出应用软件可信性的一种混合度量模式。并根据这种应用软件可信性混合度量模式设计和实现了一个安全防护系统,保护计算机的安全。

关于Gibbs算法的NHPP软件可信模型的Bayesian接近方法

研究了软件可信成长模型的bayesian推论和模型选择方法。如果用内在错误和错误之间的时间间隔来模化成长模型,在软件开发阶段,可以非常有效的利用其成长模型。本文在解决多重积分问题时利用Gibbs抽样方法来计算出算后分布。一般顺序统计量模型依赖具有扩散算前分布特性的软件。对一般顺序统计量模型依实行了bayesian总体参数的推断,还实行了有效的模型选择方法。模型的设定和判断标准可用于利用方差相乘和的适合度鉴定和趋势鉴定。为了取得相应的值例,本文在分析错误资料时利用了AllenP.NikoraandMichaelR.Lyu[13]提出的SYS2软件错误资料。

基于T-S型模糊神经网络的软件过程可信评价模型研究

研究软件项目的可信度是当今信息技术领域的一个热点问题。本文首先介绍研究软件过程可信度的背景、内容和意义;然后分析软件项目实施过程中的可信度因素,从不同角度评价软件过程的可信性;最后基于T-S型模糊神经网络模型建立评价结构和方法,实现软件过程可信度评价系统。结果表明:通过对影响因素的研究可以将软件过程可信度结果量化。

软件校验和验证——工程实现和科学研究的方法

出版物供应市场上非常缺乏深入探讨应用于提升系统软件可信度技术的书籍，但在需求方面，不仅仅美国政府更多的把注意力投入到软件安全性上，连私人企业和科研院所也是同样给予了足够的重视。提高软件可信度的技术和方法通常被称为软件校验和验证，本书就是少有的能够满足用户对软件可信度需求的图书之一。