注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 软件体系结构实验（UML）：类图，用例图，用例文档，需求模型检查矩阵

  2. 软件体系结构实验（UML）：类图，用例图，用例文档，需求模型检查矩阵

  3. 所属分类：专业指导

    • 发布日期：2010-12-28
    • 文件大小：270336
    • 提供者：sbshi007

  1. 一种基于模型检查的嵌入式软件验证方法

  2. 本文介绍了一种基于模型检查的嵌入式软件验证方法。

  3. 所属分类：其它

    • 发布日期：2020-07-24
    • 文件大小：71680
    • 提供者：weixin_38589795

  1. 嵌入式系统/ARM技术中的一种基于模型检查的嵌入式软件验证方法

  2. 嵌入式软件广泛应用于不同领域，如消费电子、工业控制、汽车电子、移动通信等。嵌入式软件的可靠性保证十分关键。嵌入式软件中常见的错误包括状态机错误、时序错误、栈溢出／存储溢出等，在开发过程中对嵌入式软件进行验证十分重要。 　　对嵌入式软件的验证一般依赖于形式化的方法。 　　形式化的方法可以对嵌入式软件系统进行严格的规约，并可以对系统进行不同视角的验证。验证主要是分析系统是否具有期望的性质。常见的验证技术主要有模型检查和定理证明。模型检查自动化程度高，并且当系统不具有期望性质时能给出反例，但它存在

  3. 所属分类：其它

    • 发布日期：2020-11-11
    • 文件大小：205824
    • 提供者：weixin_38553837

  1. 软件模型检查中的抽象建模形式主义

  2. 软件模型检查中的抽象建模形式主义

  3. 所属分类：其它

    • 发布日期：2021-03-26
    • 文件大小：3145728
    • 提供者：weixin_38675969

  1. 基于AUML状态机的多Agent系统模型检查方法

  2. 本文首先提出了一种基于AUML状态机模型和知识时态逻辑的多主体系统模型检查框架，并提供了一种使用AUML状态机进行多主体系统形式化建模的方法。 提出了一种将AUML状态机形式描述转换为ISPL语言的方法。 最后，使用转换工具AUML2ISPL完成了仿真

  3. 所属分类：其它

    • 发布日期：2021-03-24
    • 文件大小：336896
    • 提供者：weixin_38562725

  1. 一种使用统计模型检查的软件项目进度表定量评估新方法

  2. 一种使用统计模型检查的软件项目进度表定量评估新方法

  3. 所属分类：其它

    • 发布日期：2021-03-18
    • 文件大小：262144
    • 提供者：weixin_38699302

  1. 通过概率模型检查分析动态系统的最终领导者选举协议

  2. 通过概率模型检查分析动态系统的最终领导者选举协议

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：1048576
    • 提供者：weixin_38563176

  1. 概率模型检查器PRISM评估云渲染系统可靠性的新方法：定量计算

  2. 概率模型检查器PRISM评估云渲染系统可靠性的新方法：定量计算

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：777216
    • 提供者：weixin_38500222

  1. 基于概率模型检查的工作站集群故障修复方法

  2. 为了分析工作站集群中的组件模块和维护单元模块，提出了一种基于概率模型检查的工作站集群故障修复方法。 在提出的方法中，当工作站等待维修时引入了队列模型，并根据组件功能的重要性分配了不同的优先级。 通过扩展的连续时间马尔可夫链建立系统的形式化模型，通过连续随机逻辑描述系统的属性，并通过PRISM对故障修复模块进行验证。 实验结果表明，该方法可以大大减少维护过程所需的时间，提高了系统的维护效率和容错能力。

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：393216
    • 提供者：weixin_38711333

  1. 模型检查有界连续时间扩展线性持续时间不变式

  2. 模型检查有界连续时间扩展线性持续时间不变式

  3. 所属分类：其它

    • 发布日期：2021-03-13
    • 文件大小：1048576
    • 提供者：weixin_38680506

  1. 基于概率模型检查的服务重配置架构

  2. 基于概率模型检查的服务重配置架构

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：564224
    • 提供者：weixin_38646914

  1. 使用概率模型检查进行预测性Web服务监视

  2. 使用概率模型检查进行预测性Web服务监视

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：1048576
    • 提供者：weixin_38651286

  1. 使用可满足性减少基于模型检查的测试生成

  2. 使用可满足性减少基于模型检查的测试生成

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：294912
    • 提供者：weixin_38649838

  1. 移动终端中SAV协议的形式化建模和模型检查

  2. 移动终端中SAV协议的形式化建模和模型检查

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：259072
    • 提供者：weixin_38736562

  1. 一种使用概率模型检查的服务动态重配置方法

  2. 一种使用概率模型检查的服务动态重配置方法

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：400384
    • 提供者：weixin_38678796

  1. 使用模型检查优化测试用例生成的实现框架

  2. 使用模型检查优化测试用例生成的实现框架

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：1048576
    • 提供者：weixin_38638799

  1. 下推系统的并行模型检查

  2. 下推系统的并行模型检查

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：313344
    • 提供者：weixin_38502722

  1. 下推系统的高效并行CTL模型检查

  2. 下推系统的高效并行CTL模型检查

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：385024
    • 提供者：weixin_38624332

  1. 基于概率模型检查的基于BPEL的Web服务组合的可靠性建模和验证

  2. 基于概率模型检查的基于BPEL的Web服务组合的可靠性建模和验证

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：1048576
    • 提供者：weixin_38643401

  1. 将概率模型检查应用于服务发现框架

  2. 将概率模型检查应用于服务发现框架

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：1048576
    • 提供者：weixin_38529251
« 12 3 4 5 6 7 8 9 10 ... 50 »