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

搜索资源列表

  1. 软件形式化方法 有限状态机

  2. 软关于有限状态机的件形式化方法 ，包括模型检测，外文论文打包。

  3. 所属分类：专业指导

    • 发布日期：2009-09-30
    • 文件大小：12582912
    • 提供者：willow2001

  1. 基于模型检测技术的软件漏洞挖掘方法研究

  2. 基于模型检测技术的软件漏洞挖掘方法研究 基于模型检测技术的软件漏洞挖掘方法研究

  3. 所属分类：专业指导

    • 发布日期：2010-12-21
    • 文件大小：2097152
    • 提供者：youmao

  1. 程序重构预处理在提高软件模型检测效率中的应用

  2. 针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：359424
    • 提供者：iwsdiwsd

  1. 模型检测Nusmv最新版本

  2. 用于符号模型检测，可实现多种断言语言描述的系统规范的验证，很好的软件属性形式化验证工具。

  3. 所属分类：教育

    • 发布日期：2013-06-06
    • 文件大小：3145728
    • 提供者：smartzhai

  1. SMV 模型检测

  2. SMV 模型检测工具使用方法 使用cygwin在win32平台下模拟Unix，；1.从NuSMVhomepage下载压缩包NuS；2.参照F:\NuSMV-2.5.4\nusmv；3.下载minisat软件包至F:\NuSMV-；4.下载zchaff软件包至F:\NuSMV-2；5.在cygwin的bash中依次键入：；cdF:/NuSMV-2.5.4/cudd-2.；make(回车)；

  3. 所属分类：其它

    • 发布日期：2014-04-16
    • 文件大小：34816
    • 提供者：u014740439

  1. 形式化方法与软件可靠性

  2. 形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的错误，将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现，则影响程序的可靠和使用。形式化方法则要求描述的明确性，而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要

  3. 所属分类：网络攻防

    • 发布日期：2008-10-12
    • 文件大小：4096
    • 提供者：yuxiaoyong

  1. BLAST pdf 模型检测软件BLAST手册

  2. 模型检测软件BLAST pdf文件BLAST pdf 模型检测软件BLAST手册

  3. 所属分类：其它

    • 发布日期：2008-11-24
    • 文件大小：179200
    • 提供者：jimgreat

  1. 模型检测软件MAGIC

  2. 模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC模型检测软件MAGIC

  3. 所属分类：其它

    • 发布日期：2008-11-24
    • 文件大小：393216
    • 提供者：jimgreat

  1. UMLStatecharts的模型检验方法

  2. UMLStatecharts的模型检验方法 摘 要: 统一建模语言 UML 已广泛应用于软件开发中,验证 UML 模型是否满足某些关键性质成为一个重要 问题.提出了对 UML Statecharts 进行模型检验的方法.首先用扩展层次自动机结构化地表示 UML Statecharts,然 后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义 可以映射到一个 Büchi自动机.使用基于自动机理论的模型检验方法来验证 UML Statecharts 的

  3. 所属分类：专业指导

    • 发布日期：2008-12-25
    • 文件大小：285696
    • 提供者：w512577152

  1. ESpin:基于SPIN的Eclipse模型检测环境

  2. 信息化社会中人们对软件可信性的要求越来越高,传统的测试技术已经不能充分保证系统的安全性,基于模型的形式化验证技术成为解决此类问题的重要途径。SPIN作为典型的模型检测工具,在学术界和工业界都得到了广泛应用。在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin,通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器,构造了一个高效、易扩充的Promela编辑器。编辑器除了支持Promela的全部语法规则外,还提供了包括实时语法反馈、关键字高亮、大纲视图、代码

  3. 所属分类：其它

    • 发布日期：2021-03-16
    • 文件大小：2097152
    • 提供者：weixin_38622611

  1. 基于特征切片的软件产品线模型检测

  2. 基于特征切片的软件产品线模型检测

  3. 所属分类：其它

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

  1. 软件故障关系模型的研究

  2. 为了提高软件系统的质量，必须进行软件故障检测。 本文给出了一种基于关联规则的软件故障关系模型。 该模型可以改善故障检测过程，提高软件质量。 实际软件缺陷检测任务的实验结果表明，该模型对于软件缺陷检测是有效的。 它的性能更好。

  3. 所属分类：其它

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

  1. RATel:RAT-el是一款开放源代码渗透测试工具，可让您控制Windows计算机。 它在客户端-服务器模型上工作，服务器发送命令，客户端执行命令并将结果发送回服务器。 客户端完全无法被防病毒软件检测到-源码

  2. 拉特尔 请不要上传到virustotal！ 为了防止防病毒软件检测到RATel，请不要将有效负载上传到TOTAL VIRUS。 每个月，我都会对自己进行一次测试，以检查防病毒软件是否检测到了有效负载。 因此，您每个月都会有一张照片来证明RAtel的判断力。 描述 RAT-el是一款开放源代码渗透测试工具，可让您控制Windows计算机。 它在客户端-服务器模型上工作，服务器发送命令，客户端执行命令并将结果发送回服务器。 防病毒软件完全无法检测到该客户端。 屏幕截图 ] 新增功能 版本的

  3. 所属分类：其它

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

  1. 用于软件缺陷检测的数据复杂度分析

  2. 大多数研究人员在假设训练和将来的测试数据必须在相同的特征空间和相同的分布中的前提下进行缺陷检测。 但是，在实际应用中，数据集来自不同的领域和不同的分布。 有时，目标项目中的本地数据有限，并且数据通常会受到噪声的影响。 在这些情况下，软件缺陷检测模型的性能是不确定的。 首先，我们将数据复杂性概念引入到数据挖掘领域的软件工程中。 其次，我们研究了对公共软件数据集的数据复杂性度量，以找出适合用于缺陷检测的复杂性度量。 最后，我们分析了复杂性指标与模型性能之间的关系，以深入了解数据复杂性对缺陷检测的影响

  3. 所属分类：其它

    • 发布日期：2021-03-07
    • 文件大小：978944
    • 提供者：weixin_38583286

  1. 软件测试的新模型

  2. 通常情况下，一个软件模型说明的内容主要包括，在测试过程中你应该考虑到哪些问题，如何对测试进行计划，测试要达到什么目标，什么时候开始，在测试中你要用到哪些信息资源。一个好的模型可以引导你对问题进行思考，而不好的模型则只能使你误入歧途。这里我要宣称的是，目前的大多数软件测试模型都是不好的模型。这是因为这些测试模型仅仅是软件开发模型的一些装饰和补充而已。人们一直在苦苦寻找软件开发的模型，在创建了新的模型后，就把测试作为一个阶段放在模型的后面部分。因此测试总被作为一种事后行为，测试总是被开发所驱动。总的

  3. 所属分类：其它

    • 发布日期：2021-03-05
    • 文件大小：254976
    • 提供者：weixin_38698943

  1. 用于软件验证的潜在实现错误检测方法

  2. 模型检查和一致性测试在软件系统设计和实现中起着重要作用。 从将模型检查和一致性测试集成到紧密耦合的验证方法中的观点，本文提出了一种在软件实现中检测潜在错误的新颖方法。 潜在错误可以分为两种，一种称为不必要的实现跟踪，另一种称为被忽略的实现跟踪。 该方法补充了用于软件模型检查的安全属性的不完整。 更准确的模型的特征是可以利用基于模型的软件验证和测试组合方法的有效性。

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：2097152
    • 提供者：weixin_38669674

  1. 一种软件故障诊断过程框架

  2. 软件在国民经济和社会生活中发挥着重要作用。软件出现故障给人们的工作、生活带来不便，甚至造成严重危害。但是当前所进行的多为软件故障诊断中单项活动的研究，较少有对各项诊断活动及其相应方法进行有效集成的研究。本文分析软件失效机理和软件故障产生原因，讨论软件故障模型，提出一种由故障检测、故障定位、故障排除、交付等组成的集成化的软件故障诊断过程框架，研究软件故障检测、定位和排除中所采用的方法及相应的过程，并且将该框架应用于实际的软件故障诊断。

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：627712
    • 提供者：weixin_38624519

  1. 软件测试的新模型

  2. 通常情况下，一个软件模型说明的内容主要包括，在测试过程中你应该考虑到哪些问题，如何对测试进行计划，测试要达到什么目标，什么时候开始，在测试中你要用到哪些信息资源。一个好的模型可以引导你对问题进行思考，而不好的模型则只能使你误入歧途。这里我要宣称的是，目前的大多数软件测试模型都是不好的模型。这是因为这些测试模型仅仅是软件开发模型的一些装饰和补充而已。人们一直在苦苦寻找软件开发的模型，在创建了新的模型后，就把测试作为一个阶段放在模型的后面部分。因此测试总被作为一种事后行为，测试总是被开发所驱动。总的

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：254976
    • 提供者：weixin_38608726

  1. 基于双格的软件产品线模型检测

  2. 软件产品线在保留每个产品的可变性前提下通过最大化产品间的共性实现资源的再利用,从而提高生产效率和节约生产成本。近年来,基于特征的状态迁移系统应用于软件产品线的建模和验证中。然而现有的方法不能很好地支持软件产品线中存在的信息不确定和不一致的情况。为此,首先提出一种基于双格的特征迁移系统,用于软件产品线的行为建模,采用投影的方法定义产品的行为模型;然后采用动作计算树逻辑描述系统的时序属性,并且给出它在新系统上的语义,用于支持基于双格的模型检测;最后,采用多值模型检测工具χchek对方法的有效性进行实

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：1009664
    • 提供者：weixin_38655682

  1. 基于程序局部性引导的有界模型检测优化方法

  2. 基于多种模型检测方法组合的复合检测方式是当前软件模型检测领域开展研究的热点之一。在当前的研究中，提高检测的规模和检测的对象复杂程度的关键在于如何有效处理抽象的扩张和收缩。证明通过对程序模式或验证信息的利用可以加快状态空间的探索速度。面向有界模型检测（BMC）加速方法展开研究，使用程序中额外的信息和知识对其处理以协助检测器删除冗余和无效的状态。在对程序局部性进行定义的基础上，对其加速性进行讨论，提出一种加速有界检测的方法和一种改进策略，对算法进行了详细描述，并通过实验验证了方法在检测效率和性能上的

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：677888
    • 提供者：weixin_38595606
« 12 3 4 5 6 7 8 9 10 ... 39 »