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

搜索资源列表

  1. 用于软件保护，RSA加密解密算法

  2. rsa加密解密算法，可用于软件验证，防止拷贝

  3. 所属分类：其它

    • 发布日期：2009-05-05
    • 文件大小：285696
    • 提供者：appearance

  1. 软件验证的e文书，《Functional Verification Coverage Measurement and Analysis》

  2. 软件验证的e文书，《Functional Verification Coverage Measurement and Analysis》

  3. 所属分类：其它

    • 发布日期：2009-05-21
    • 文件大小：11534336
    • 提供者：czx814

  1. WGAD(微软windows验证工具\英文版)

  2. 微软正版软件验证工具,英文版 可以复制进行在线翻译,适合于windows 7

  3. 所属分类：其它

    • 发布日期：2009-11-04
    • 文件大小：1048576
    • 提供者：baizhaohuiyuan

  1. MD5加密和验证工具

  2. 该软件运行于Linux/Unix系统，可以对文件或者字符串计算md5散列值，详细使用说明请参看文件夹内INSTALL说明

  3. 所属分类：Linux

    • 发布日期：2009-11-16
    • 文件大小：3072
    • 提供者：wanxsb

  1. GJB 5234-2004军用软件验证和确认

  2. GJB 5234-2004军用软件验证和确认

  3. 所属分类：专业指导

    • 发布日期：2011-12-01
    • 文件大小：2097152
    • 提供者：ypzw0101

  1. 软件验证和确认.

  2. 软件验证和确认.

  3. 所属分类：专业指导

    • 发布日期：2012-07-17
    • 文件大小：618496
    • 提供者：wrgdsf

  1. 心扉收费系统ASP网络软件验证源码

  2. 心扉收费系统ASP网络软件验证源码

  3. 所属分类：数据库

    • 发布日期：2012-08-16
    • 文件大小：77824
    • 提供者：xina520

  1. 飘零收费系统ASP网络软件验证源码

  2. 飘零收费系统ASP网络软件验证源码

  3. 所属分类：数据库

    • 发布日期：2012-08-16
    • 文件大小：1048576
    • 提供者：xina520

  1. 通达信股票交易软件验证码识别源代码

  2. VB6.0编写通达信股票交易软件验证码识别源代码，利用它可实现自动登陆交易软件，扩展自动交易系统。

  3. 所属分类：金融

    • 发布日期：2012-09-08
    • 文件大小：34816
    • 提供者：hzq701

  1. 软件验证与确认的最佳管理方法

  2. 软件验证与确认的最佳管理方法.不错的书．

  3. 所属分类：软件测试

    • 发布日期：2012-11-11
    • 文件大小：5242880
    • 提供者：zyqnmp

  1. 钢企网发布软件-b2b自动发布软件-信息发布软件-验证码自动输入

  2. 钢企网发布软件-b2b自动发布软件-信息发布软件（验证码自动输入），一款针对B2B会员替代手工发布信息的软件，只要编辑好信息内容后，输入所有标题，软件会自动帮你发布，而且每条内容都有变化，保证每条信息都不完全一样，这样既省了我们人工一条一条发布的烦恼

  3. 所属分类：互联网

    • 发布日期：2014-04-04
    • 文件大小：2097152
    • 提供者：u014546111

  1. ifix软件验证

  2. fix软件验证可以了解ifix软件验证方法，减少由于对软件不了解带来的麻烦！

  3. 所属分类：专业指导

    • 发布日期：2014-12-19
    • 文件大小：881664
    • 提供者：u014768534

  1. Jaguar Land Rover最高可减少90%的软件验证时间

  2. 通过使用 Rational DOORS 软件，Jaguar Land Rover 可提高其所有娱乐系统开发需求的可追溯性，包括面向客户的功能、嵌入式软件组件的规范等。通过 Rational DOORS 软件与 Rational Rhapsody 建模软件的整合，该公司可立即看到，即使是最低水平的变化是如何影响整个模型的。该公司使用 Rational ClearCase 软件来准确控制 Rational Rhapsody 模型和整个车载资讯娱乐软件的可追溯性，包括 Rational Rhapsod

  3. 所属分类：其它

    • 发布日期：2020-03-03
    • 文件大小：522240
    • 提供者：weixin_38603219

  1. P07-CMMI实践解析－软件验证和确认.ppt

  2. CMMI 实践解析第七部分 软件验证和确认 1、软件验证和确认概述 2、验证（VER） 3、确认（VAL） 4、软件验证和确认总结

  3. 所属分类：讲义

    • 发布日期：2020-02-18
    • 文件大小：1048576
    • 提供者：zlbdmm

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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

  1. 基于FPGA的软件验证推动ASIC与SoC原型设计技术的发展

  2. ASIC与SoC器件的成本不断上升，迫使半导体厂商不断扩大每种器件的市场应用范围，以提高投资回报率。软件使用的趋势还在不断加强，这作为一种有效的机制，扩大了单个器件的市场使用范围，因为软件内容能带来更多特性，而不同软件则能满足特定市场专用产品的特色化需求。正由于上述趋势的发展使然，ASIC或SoC的软件代码都达到上百万行之多。此外，多内核的使用越来越多，这也推动了上述器件中所用软件的发展，进一步提高了其复杂性。那么，扩大软件使用这一趋势对总设计过程有何影响呢？ 软件的复杂性越来越高，这要求软

  3. 所属分类：其它

    • 发布日期：2020-12-08
    • 文件大小：82944
    • 提供者：weixin_38517728

  1. 软件验证与测试.rar

  2. part1－软件测试与验证基础概念 part2-需求验证与分析 part3-系统测试技术要求与测试过程 part4-单元测试技术要求与静态测试技术 part5-基于结构的测试用例设计与单元动态测试技术 part6-基于规格说明的测试用例设计（黑盒测试技术）

  3. 所属分类：互联网

    • 发布日期：2020-12-29
    • 文件大小：2097152
    • 提供者：zbyzby1142

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

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

  3. 所属分类：其它

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

  1. smack：SMACK软件验证程序和验证工具链-源码

  2. SMACK既是模块化软件验证工具链，又是独立的软件验证程序。 它可以用来验证其输入程序中的断言。 在默认模式下，对声明进行验证，直到达到循环迭代和递归深度的给定界限为止； 它还包含对无边界验证的实验支持。 SMACK处理C语言的复杂功能，包括动态内存分配，指针算术和按位运算。 在幕后，SMACK是从编译器流行的中间表示（IR）到中间验证语言（IVL）的翻译器。 采购LLVM IR会利用越来越多的编译器前端，优化和分析。 尽管我们正在努力提供对其他语言的支持，但当前SMACK仅通过编译器支持C语

  3. 所属分类：其它

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