您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. trustie帮助文档

  2. 此资源为trustie帮助文档。 Trustie(Trustworthy software tools and integration environment)是一个国家软件资源共享与协同生产环境,支持大规模网络化可信软件生产。 Trustie的综合软件社区服务集软件协同开发、软件资源共享、软件可信评估于一体,其协同开发平台、软件资源库等核心设施及部分工具已经开源,其软件证据积累与评估设施将形成重要软件演化数据。 Trustie环境得到国家863重点项目“高可信软件生产工具及集成环境”支持,旨
  3. 所属分类:网络基础

    • 发布日期:2010-02-24
    • 文件大小:854kb
    • 提供者:Mollie
  1. 基于TPM的运行时软件可信证据收集机制

  2. 基于linux Security Module,在Linux中实现了一个可信证据收集代理的模型。
  3. 所属分类:Linux

    • 发布日期:2010-07-16
    • 文件大小:1mb
    • 提供者:shuiyiqun
  1. 目前国内抄表方案综述对比

  2. 目前能实现预付费功能的产品有以下几种: 1. IC卡和红外线电表系统 主要优点:不用布线 主要缺点:1.技术含量不高,容量被解密、破坏和造假,会给物业部门和国家带来巨大损失。 2.难以主动适应电价变动。 3.国家电力总公司明文规定一户一表工程不准使用IC卡表,属淘汰产品 2、控电机柜系统 系统由软件、网络、用电管理器、控电机柜等组成,不用电表一般采用TCP/IP协议或485总线方式通讯,多用于学校宿舍。 主要优点:不用电表,可以利用现有的宽带网络 主要缺点:买电用电都由软件中控制,当用户质疑用
  3. 所属分类:咨询

    • 发布日期:2011-06-24
    • 文件大小:77kb
    • 提供者:qxdz168
  1. 软件分析与测试面临的挑战

  2. 软件与信息产业的发展 • 软件质量和面临的挑战? • 我们的研究工作 – 面向过程的软件质量分析与评估技术(SQE) – 软件的分析与审查技术(SAI) – 模型驱动的软件测试技术(MDT) 面向过程的软件质量分析与评估技术(SQE) • 软件的分析与审查技术(SAI) • 模型驱动的软件测试技术(MDT) 面向过程的软件质量分析与评估技术(SQE) • 基于可信证据,研究测试可信性度量模型和估计方法 – 软件测试的非确定性及其可信度 – 软件测试的可信性度量模型及其可信性证据 – 软件演化过
  3. 所属分类:软件测试

    • 发布日期:2013-05-07
    • 文件大小:4mb
    • 提供者:u010602462
  1. 基于证据的可信软件过程评估方法

  2. 现有软件过程可信性评估方法中,评估结果往往基于评估人员的主观经验,其准确性和客观性无法得到保证。为解决这个问题,提出了一种基于证据的可信软件过程评估方法(evidence-based trustworthy software process assessment method,EB-TSPAM)。该方法以可信软件过程管理研究成果为基础,度量过程数据,生成软件过程可信性评估证据,并基于证据对软件过程进行可信性评估,达到加强有效过程管理的目的。以软件开发过程中的实际数据作为评估基础,全面考虑软件过程
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:622kb
    • 提供者:weixin_38535221
  1. 基于群体一致性强度的模糊评估方法

  2. 针对模糊信息的定量评估难题, 在研究多属性决策问题的基础上提出基于群体一致性强度的模糊评估方法. 利用证据理论合成评估值后, 引入语义折扣因子的概念, 将区间评估信息转化为确定的评估值; 设计群体一致性强度 指标, 最优化语义折扣因子的取值, 使得评估方法能够体现评估中的主流意见; 通过软件可信评估实例验证了所提出方法可有效解决模糊评估信息的分析和合成问题.
  3. 所属分类:其它

    • 发布日期:2021-01-14
    • 文件大小:180kb
    • 提供者:weixin_38724363