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

搜索资源列表

  1. 基于模型的有效测试用例设计

  2. 基于模型的有效测试用例设计 基于模型的有效测试用例设计

  3. 所属分类：其它

    • 发布日期：2011-09-10
    • 文件大小：173056
    • 提供者：jake666

  1. graphwalker-project, 这是基于模型的测试工具GraphWalker的repo.zip

  2. graphwalker-project, 这是基于模型的测试工具GraphWalker的repo GraphWalker关于 http://graphwalker.org/的文档获取源代码并生成所有模块git clone https://github.com/GraphWalker/graphwa

  3. 所属分类：其它

    • 发布日期：2019-09-17
    • 文件大小：6291456
    • 提供者：weixin_38743968

  1. 基于模型的测试实践.pdf

  2. 通过阅读这本书,您将了解以下几点: •基于模型的测试的基本原理和术语 •应用基于模型的测试的循序渐进的过程 •基于模型的测试是如何不同于其他测试流程 •如何基于模型的测试属于典型的软件生命周期基于模型的测试的好处和局限性,其成本效益,采用和先决条件 •对基于模型的测试使用不同的建模技术指南 •有用的测试生成策略和它们是如何用于基于模型测试工具 •一些常见的测试选择标准,它们之间的差异,以及如何他们可以用来控制测试生成过程 •如何基于模型的测试与自动化测试执行平台 •如何将基于模型的测试技术应用到

  3. 所属分类：软件测试

    • 发布日期：2019-07-02
    • 文件大小：2097152
    • 提供者：weixin_44605708

  1. 基于模型的测试技术在移动互联网系统测试中的应用

  2. 2020QECon全球软件质量&效能大会，APP专场陈耿先生做基于模型的测试技术在移动互联网系统测试中的应用的报告PPT文档，分享给大家！

  3. 所属分类：互联网

    • 发布日期：2020-09-28
    • 文件大小：3145728
    • 提供者：lxf_no1

  1. 基于云计算组件模型的测试方法和技术研究

  2. 在分析云计算技术特点基础上，基于云计算组件模型研究了云计算产品的测试方法和技术，并在联通云计算综合管理云平台的测试中进行应用，取得了较好的效果。

  3. 所属分类：其它

    • 发布日期：2020-10-16
    • 文件大小：160768
    • 提供者：weixin_38655767

  1. 基于Hadoop的测试数据处理系统设计与实现

  2. 提出一种基于Hadoop软件框架进行海量测试数据处理的解决方案。在深入研究Hadoop分布式系统构架、HDFS分布式文件系统以及MapReduce分布式编程模型的基础上，设计并实现了二进制测试数据文件到HDFS的传输机制以及基于MapReduce的测试数据分布式格式转换系统。最后搭建实验环境，验证了整个系统的正确性并对分布式格式转换系统进行性能评估。与本地单机相比，系统在处理海量数据时具有更高的效率及更好的可拓展性。

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：374784
    • 提供者：weixin_38650150

  1. 基于片上网络改进HT模型的测试方法及仿真

  2. NoC结构规模巨大，内部电路互连非常复杂，NoC内部串扰严重影响了片上系统的信号完整性。基于改进HT模型提出一种串扰测试的方法，实验结果表明，在改进的HT模型来中，N根传输线传统串扰测试方法需要测试6N次，而此方法只需要18次，从而有效地减小了开销。基于改进的HT故障种类模型设计了一套基于改进HT模型的测试代码，根据测试代码利用Pspice仿真软件设计了一种测试代码电路，该测试电路是利用16位数据选择器和16进制计数器构成，并对测试电路进行仿真测试，测试结果表明该电路能够满足测试要求并且具有可移

  3. 所属分类：其它

    • 发布日期：2020-10-17
    • 文件大小：407552
    • 提供者：weixin_38625416

  1. 基于模型的自动测试系统AutoTCG.docx

  2. 主要用于对软件进行业务流程建模，根据模型自动生成满足路径覆盖要求的测试用例与自动化的测试脚本框架，实现对嵌入式软件、Web应用、移动APP、桌面软件等多种类型软件的自动化测试，解决测试用例设计充分性难保证、测试脚本编写难度大、测试复用效果查等软件测试难题，提高软件测试的科学性与有效性

  3. 所属分类：软件测试

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

  1. mbpo_pytorch:基于模型的强化学习算法MBPO的pytorch复制-源码

  2. 概述 这是pytorch中基于模型的RL算法MBPO的重新实现，如下文所述：。 该代码基于的使用张量流集成模型重现了结果，但使用pytorch集成模型却表现出明显的性能下降。 这段代码使用pytorch重新实现了集成动力学模型，并缩小了差距。 转载结果 比较是在两个任务上完成的，而其他任务没有经过测试。 但是在经过测试的两个任务上，与官方的tensorflow代码相比，pytorch实现获得了类似的性能。 依存关系 MuJoCo 1.5和MuJoCo 2.0 用法 python main_mb

  3. 所属分类：其它

    • 发布日期：2021-03-25
    • 文件大小：176128
    • 提供者：weixin_42168830

  1. 使用基于模型的测试工作流进行与安全相关的软件开发

  2. 安全相关软件的挑战嵌入式软件已经逐渐成为当今创新型产品的核心。对于在我们日常生活中必不可少的产品来说，嵌入式软件是定义其功能，控制其电气和机械系统的重要组件。例如，在飞机、汽车、火车或医疗设备中，故障可能会导致人身伤亡。此时必须倍 　　开发与安全相关的软件(例如飞机、汽车、火车或医疗设备的相关软件)需要倍加谨慎，还需要付出额外的努力，因为此类软件一旦发生故障，就有可能导致人身伤亡。交付遵循严格的开发标准和指导准则(例如DO-178C、DO-178B、ISO26262、IEC61508或IEC62

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：106496
    • 提供者：weixin_38529951

  1. 带你了解Modelbasedtesting（MBT）基于模型的测试

  2. 我这里想介绍一种基于模型的测试，通过它，我们可以对软件的功能达到更强的覆盖，达到更有效的测试，同时还能发现一些隐藏更深的问题。同时，它也被某些业内人士誉为继关键 现在大家对探索性测试讨论得很热门，在自动化测试大行其道的今天，探索性测试似乎是唯一一块测试人员更能体现自己专业性的领域。甚至我还看到有人在讨论如何通过探索性测试来达到较高的代码覆盖率。 个人以为，如果你真的对覆盖到代码的每个分支更感兴趣，或者说希望测到哪怕是一些比较细节的用户行为，通过探索性测试的方法来做也许并不是一个很推荐的做

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：1018880
    • 提供者：weixin_38669729

  1. 浅谈MBT基于模型的测试技术

  2. 基于模型的测试是一个轻量级的，形式化的验证软件系统的方法。为什么这么说呢，因为首先，基于模型的测试对待测软件系统（通常被称为SystemUnderTest，简称SUT）进行形式化的建模， 很多朋友可能已经听说了SpecExplorer是一款强大的测试工具，但却不是很了解所谓的基于模型的测试到底是什么，这篇文章可以让你对模型测试有一个大致的认识。 如果你在互联网上搜索“Model-BasedTesting”（即基于模型的测试，简称MBT），你将发现大量的信息。基于模型的测试并不是一个新生事物，也不

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：108544
    • 提供者：weixin_38499706

  1. 什么是基于模型的测试？

  2. 基于模型的测试属于软件测试领域的一种测试方法。MBT步骤如下： 常规测试一般是由人来设计几个特定的测试场景，然后断言测试结果。测试用例固定。缺少不确定性。基于模型的测试（Model-basedTesting）是需要实现一个模型，然后制定行为和行为之间的关系以及行为和系统的关系（有限状态机），然后测试系统根据被测系统的状态、之前设置的限制条件和策略来生成很多用例（每执行一次生成的用例会不同），测试结果受一系列操作的影响，可以产生不确定性，更有可能发现一些想不到的很深路径下的BUG。 基于

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：134144
    • 提供者：weixin_38612648

  1. 基于模型的测试的测试设计

  2. 介绍　　测试设计是测试过程中最重要的部分之一。一个好的测试用例不仅要为被测系统（SUT）提供一些输入，还要验证系统是否如预期进行。也就是说，它有助于确认利益相关者要求得以实现。但测试设计可以做的远不止这些。理想情况下，测试设计有助于沟通两方对这些需求的理解，验证他们能被正确实施，并引发对利益相关者可能增加的更大价值的讨论。　　基于模型的测试（MBT）（下文都简称为：基模测试）是一种技术，有时被标榜为“自动化测试设计”。虽然一定程度上这并没有错，但它或许会给人以错误的印象。基模测试工具从一个由用户

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：733184
    • 提供者：weixin_38691703

  1. 基于模型的CTCS-3级列控系统 测试案例自动生成方法

  2. 基于模型的CTCS-3级列控系统 测试案例自动生成方法

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：813056
    • 提供者：weixin_38652636

  1. tcases：基于模型的测试用例生成器-源码

  2. Tcases：基于模型的测试用例生成器 什么是新的？ 最新版本（ ）现在可在Maven中央存储库中获得。 有关下载说明，请参见 。 Tcases 3.5.1对Tcases for OpenAPI进行了改进。 有关详细信息，请参见。 Tcase遇到问题了吗？ 查看。 订阅“ 组以获取通知并与其他Tcases用户共享经验。 它有什么作用？ Tcases是用于设计测试的工具。 无论测试哪种系统都没有关系-UI，命令行， 或后端。 您测试的系统级别是什么都无关紧要-单元，子系统或整个系统。

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：2097152
    • 提供者：weixin_42107374

  1. 快速：Rapid是用于基于属性的测试的Go库，它支持状态机（“有状态”或“基于模型”）测试以及全自动的测试用例最小化（“缩小”）-源码

  2. 快速 Rapid是用于基于属性测试的Go库。 快速检查您定义的属性是否适用于大量自动生成的测试用例。 如果发现故障，快速提示会在出现故障之前自动最小化它。 基于属性的测试强调考虑程序应满足的高级属性，而不是提出所需行为的单个示例列表（测试用例）。 这导致编写简洁而强大的测试是一种乐趣。 快速的设计和实现受启发，该本身是的后代。 产品特点 惯用Go API 设计用于go test和testing包 与和等库配合使用 全自动最小化失败的测试用例 支持状态机（“有状态”或“基于模型”）测试

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：98304
    • 提供者：weixin_42142062

  1. 基于模型的嵌入式PID控制器设计

  2. 在嵌入式控制系统中，PID控制器应用广泛。鉴于实时性和同步性的要求，传统的PID控制器通常采用手工编程来实现。该种实现方式，费时费力，可靠性低，后期的验证测试过程繁杂。为解决该方法不足，本文研究了基于模型的高安全性应用程序开发环境-SCADE，按照SCADE的软件程序设计流程，完成了PID控制器的设计、开发与性能测试，并通过代码的效率测试，验证了SCADE进行嵌入式软件开发的优越性。

  3. 所属分类：其它

    • 发布日期：2021-01-28
    • 文件大小：608256
    • 提供者：weixin_38661852

  1. 基于模型的系统工程

  2. 基于模型的系统工程（MBSE）是开发一组相关的系统模型的实践，这些模型有助于定义，设计，分析和记录正在开发的系统。这些模型提供了一种有效的方法来虚拟原型化，探索和交流系统方面，同时显着减少或消除了对传统文档的依赖。 MBSE是建模系统的一种应用程序，它是一种更成本效益的方式来探索和记录系统特征。通过及早测试和验证系统特性，模型有助于及时了解特性和行为，从而能够快速反馈需求和设计决策。 MBSE过去一直专注于表达和记录需求，设计，分析和验证信息[1]。随着建模技术的成熟，它通

  3. 所属分类：其它

    • 发布日期：2021-01-27
    • 文件大小：139264
    • 提供者：weixin_38721405

  1. 基于模型的Code执行分析（使用EA）

  2. 当使用传统的IDE开发软件，你的工作被局限在编码工具，不能把设计和代码有效地关联。EA可以让你把设计和开发一起完成。可以让你设计模型、从模型开发代码，然后进行测试和分析。本文介绍如下方面：本文描述如何在EA中连接到进行代码编译和调试。基于模型的开发过程一般如下：如下是EA中的编码、构建、和调试过程工作流图：EA允许用户在建模环境中连接到编译器和自动化编译过程。也可以使用内部调试器运行应用。这些设施包括标准调试选项，例如断点设置、执行和单步执行代码。选项视图“上下文数据”可以查看上下文数据，例如“

  3. 所属分类：其它

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