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

搜索资源列表

  1. 程序设计方法学讲义（doc）

  2. 程序设计方法学讲义 第一章 程序设计方法简介 1、 产生和发展 2、 程序设计的一般途径 3、 结构化程序设计及其讨论的主要问题 第二章 程序的控制结构 1、 基本控制结构 2、 goto语句 3、 过程与函数 4、 结构化程序和结构定理 第三章 程序的正确性证明 1、 程序的测试 2、 Floyd-Hoare规则公理方法 3、 Dijkstra最弱前置条件方法 第四章 数据类型与抽象 1、 类型概念 2、 数据类型 3、 数据抽象及其代数规范 4、 大型程序设计与抽象数据类型 第五章 递归程

  3. 所属分类：其它

    • 发布日期：2009-06-18
    • 文件大小：561kb
    • 提供者：baowanyu

  1. 最新软件测试资料下载

  2. 软件测试工作是软件产品成功上线的基本保障,做好软件测试是软件开发人员必备的综合职业素质

  3. 所属分类：其它

    • 发布日期：2009-07-29
    • 文件大小：605kb
    • 提供者：beyondsanli

  1. SOA原理与实践 教程

  2. 本教程重点讲解SOA的基本概念， SOA项目开发的方法学；通过剖析电信、电力、医疗保健等行业实施SOA的案例，讲授SOA的架构原理、SOA计划分析及建模的过程、面向服务的编程模型、SOA服务组装、测试及部署、SOA程序设计与实现中所需要的技术/协议（如XML，XML Schemas、Web Service、SOAP、WSDL、UDDI、XSLT、DOM 、WS扩展）；基于IBM的开发平台，指导学生完成与该课程相配套的实训教学；以大学学院间课程互选流程作为业务需求，指导学生完成一个基于SOA的端

  3. 所属分类：Java

    • 发布日期：2010-03-30
    • 文件大小：4mb
    • 提供者：xiaolongfeige

  1. Fuzzing_模糊测试--强制性安全漏洞发掘

  2. 目录 作者序 译者序 前 言 第一部分 第1章 安全漏洞发掘方法学 1.1 白盒测试 1.1.1 源代码评审 1.1.2 工具和自动化 1.1.3 优点和缺点 1.2 黑盒测试 1.2.1 人工测试 1.2.2 自动测试或模糊测试 1.2.3 优点和缺点 1.3 灰盒测试 1.3.1 二进制审核 1.3.2 自动化的二进制审核 1.3.3 优点和缺点 1.4 小结 1.5 脚注 第2章 什么是模糊测试 2.1 模糊测试的定义 2.2 模糊测试的历史 2.3 模糊测试阶段 2.4 模糊测试的局限

  3. 所属分类：Web开发

    • 发布日期：2010-07-05
    • 文件大小：818kb
    • 提供者：jojo0103

  1. 软件工程答案十分准的

  2. 软件工程导论（第五版）答案 软件工程导论（第5版） 作者：张海藩 第1章 软件工程学概述1 1.1 软件危机1 1.1.1 软件危机的介绍1 1.1.2 产生软件危机的原因3 1.1.3 消除软件危机的途径4 1.2 软件工程5 1.2.1 软件工程的介绍5 1.2.2 软件工程的基本原理7 1.2.3 软件工程方法学9 1.3 软件生命周期11 1.4 软件过程14 1.4.1 瀑布模型15 1.4.2 快速原型模型16 1.4.3 增量模型17 1.4.4 螺旋模型19 1.4.5 喷泉模

  3. 所属分类：其它

    • 发布日期：2010-10-26
    • 文件大小：1mb
    • 提供者：zndy777

  1. 软件工程-理论与实践(许家珆)习题答案

  2. 习 题 答 案 习题一答案 一、选择题 1. 软件的主要特性是(A B C)。 A) 无形 B) 高成本 C) 包括程序和文档 　　D) 可独立构成计算机系统 2. 软件工程三要素是(C D)。 A) 技术、方法和工具　 B) 方法、工具和过程　 C) 方法、对象和类　 D) 过程、模型、方法 3. 包含风险分析的软件工程模型是(A)。 A) 螺旋模型 B) 瀑布模型 C) 增量模型 D) 喷泉模型 4. 软件工程的主要目标是(C)。 A) 软件需求 　B) 软件设计　 C) 风险分析 　D)

  3. 所属分类：C

    • 发布日期：2011-01-12
    • 文件大小：296kb
    • 提供者：fengjliang2009

  1. Fuzzing_模煳测试--强制性安全漏洞发掘

  2. 作者序 译者序 前 言 第一部分 第1章 安全漏洞发掘方法学 1.1 白盒测试 1.1.1 源代码评审 1.1.2 工具和自动化 1.1.3 优点和缺点 1.2 黑盒测试 1.2.1 人工测试 1.2.2 自动测试或模糊测试 1.2.3 优点和缺点 1.3 灰盒测试 1.3.1 二进制审核 1.3.2 自动化的二进制审核 1.3.3 优点和缺点 1.4 小结 1.5 脚注 第2章 什么是模糊测试 2.1 模糊测试的定义 2.2 模糊测试的历史 2.3 模糊测试阶段 2.4 模糊测试的局限性和期

  3. 所属分类：网络监控

    • 发布日期：2012-02-29
    • 文件大小：818kb
    • 提供者：zhuyu106156

  1. 操作系统-作业调度模拟系统的设计综合设计报告

  2. 1、设计目的 通过对设计实现一个加密解密工具，使学生可以综合应用面向对象方法学，软件系统建模，软件体系结构，软件工程知识，较好地锻炼同学们的实际动手能力、软件设计分析与设计能力。 2、设计条件 （1）所需硬件：计算机。 （2）软件：.net(或java)、office 3、设计任务 加密解密工具的设计、实现、测试，设计报告的书写。 4、内容要求 （1） 设计概述：调查设计课题的背景和设计课题的意义。 （2） 系统设计：系统总体框架、概要设计、详细设计。 （3） 系统实现：基本功能，用拖放方式实

  3. 所属分类：其它

    • 发布日期：2012-04-25
    • 文件大小：346kb
    • 提供者：wangdaiue

  1. Fuzzing 模糊测试--强制性安全漏洞发掘

  2. 目录 作者序 译者序 前 言 第一部分 第1章 安全漏洞发掘方法学 1.1 白盒测试 1.1.1 源代码评审 1.1.2 工具和自动化 1.1.3 优点和缺点 1.2 黑盒测试 1.2.1 人工测试 1.2.2 自动测试或模糊测试 1.2.3 优点和缺点 1.3 灰盒测试 1.3.1 二进制审核 1.3.2 自动化的二进制审核 1.3.3 优点和缺点 1.4 小结 1.5 脚注 第2章 什么是模糊测试 2.1 模糊测试的定义 2.2 模糊测试的历史 2.3 模糊测试阶段 2.4 模糊测试的局限

  3. 所属分类：网络安全

    • 发布日期：2012-10-30
    • 文件大小：965kb
    • 提供者：a26192252

  1. 解析极限编程中文完整版

  2. 解析极限编程:拥抱变化(原书第2版)》适用于中小型团队在需求不明确或者迅速变化的情况下进行软件开发的轻量级方法学。《解析极限编程:拥抱变化(原书第2版)》是XP宣言，也是第一本有关XP的图书。 《解析极限编程:拥抱变化(原书第2版)》介绍了XP背后的思想——它的根源、哲学、情节等。它将帮助读者选择是否在项目中使用XP时做出明智的决策。《解析极限编程:拥抱变化(原书第2版)》的另一个目的是帮助那些已经在使用XP的读者更好地理解它。对程序员而言，XP做出的承诺是他们每天能够处理真正重要的工作，而不

  3. 所属分类：Java

    • 发布日期：2014-01-04
    • 文件大小：3mb
    • 提供者：zhixiang2010

  1. 嵌入式软件测试工具--LOGISCOPE

  2. LOGISCOPE 是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE 针对编码、测试和维护。因此，LOGISCOPE 的重点是帮助代码评审（Review ）和动态覆盖测试（Testing ）。 LOGISCOPE对软件的分析，采用基于国际间使用的度量方法（Halstead、McCabe等）的质量模型，以及从多家公司收集的编程规则集，可以从软件的编程规则，静态特征和动态测试覆盖等多个方面，量化地定义质量模

  3. 所属分类：硬件开发

    • 发布日期：2008-10-13
    • 文件大小：15mb
    • 提供者：zhongyunde

  1. 高级验证方法学

  2. avm是一个基于system verilog和systemc编程环境。它是为了开发复杂验证平台而设计的。就如学习c语言一样(或者system verilog或者systemc)，它会需要一段时间去学习avm，从而知道如何更有效地去应用所有的概念。这本书的目的就是给你一个信心。如果这本书的作者把工作做得相当好，那么当你阅读这本书并且按里面的例子进行练习，肯定会有惊喜的体验。这个比喻性的概念在你的思想形成之后，你就会掌握avm中所有的结构并且知道如何应用。 目录 绪论 第1章 验证原理 1.1 验

  3. 所属分类：硬件开发

    • 发布日期：2016-12-28
    • 文件大小：54mb
    • 提供者：wdzfd

  1. 网络协议的实现与应用实训教程

  2. 网络协议的实现与应用实训教程网络协议的实现与应用实训教程 3 1.实训目的 本实训的目的通过课程的学习，要求学生：熟练掌握协议服务模 型、服务原语等网络协议工程基本概念；掌握网络协议工程的方法学 和主要环节、协议测试的目的和环节；掌握FTP、ICMP等网络协议 的设计及实现方法；初步了解网络协议的形式化方法、工作流、协议 栈

  3. 所属分类：.Net

    • 发布日期：2018-01-03
    • 文件大小：464kb
    • 提供者：qq_38837600

  1. 测试用例模板，软件测试的用例模板

  2. 本规范是为软件管理人员、软件开发人员和软件维护人员、软件质量保证人员、审计人员、客户及用户制定的。 本规范用于描述一组测试文件，这些测试文件描述测试行为。本规范定义每一种基本文件的目的、格式和内容。所描述的文件着重于动态测试过程，但有些文件仍适用其它种类的测试活动。 本规范可应用于数字计算机上运行的软件。它的应用范围不受软件大小、复杂度或重要性的限制，本规范既适用于初始开发的软件测试文件编制，也适用于其后的软件产品更新版本的测试文件编制。 本规范并不要求采用特定的测试方法学、技术及设备或工具。

  3. 所属分类：专业指导

    • 发布日期：2008-12-24
    • 文件大小：41kb
    • 提供者：jingjingzbd

  1. Python编程，核心编程，笨方法学Python

  2. 本书是一本针对所有层次的Python 读者而作的Python 入门书。全书分两部分：第一部分介绍用 Python 编程所必须了解的基本概念，包括matplotlib、NumPy 和Pygal 等强大的Python 库和工具介绍，以 及列表、字典、if 语句、类、文件与异常、代码测试等内容；第二部分将理论付诸实践，讲解如何开发 三个项目，包括简单的Python 2D 游戏开发，如何利用数据生成交互式的信息图，以及创建和定制简单的 Web 应用，并帮读者解决常见编程问题和困惑。 本书适合对Pyth

  3. 所属分类：Python

    • 发布日期：2018-03-21
    • 文件大小：17mb
    • 提供者：qq_38835602

  1. 笨方法学python3（英文版）（文字版）

  2. 本书是一本Python入门书，适合对计算机了解不多，没有学过编程，但对编程感兴趣的读者学习使用。这本书以习题的方式引导读者一步一步学习编程，从简单的打印一直讲到完整项目的实现，让初学者从基础的编程技术入手，最终体验到软件开发的基本过程。本书是基于Python 3.6版本编写的。 本书结构非常简单，除“准备工作”之外，还包括52个习题，其中26个覆盖了输入/输出、变量和函数3个主题，另外26个覆盖了一些比较进阶的话题，如条件判断、循环、类和对象、代码测试及项目的实现等。每一章的格式基本相同，以代码

  3. 所属分类：Python

    • 发布日期：2018-12-27
    • 文件大小：4mb
    • 提供者：dtimes_dancer

  1. VLSI测试方法学和可测性设计

  2. 本书系统介绍超大规模集成电路（VLSI）的测试方法学和的可测性设计，为读者进行更深层次的电路设计、模拟、测试和分析打下良好的基础，也为电路（包括电路级、芯片级和系统级）的设计、制造、测试和应用之间建立一个相互交流的平台。 本书主要内容为电路测试、分析的基本概念和理论，数字电路的描述和模拟方法，组合电路和时序电路的测试生成方法，专用可测性设计，扫描和边界扫描理论，IDDQ测试，*和伪*测试原理，各种测试生成电路结构及其生成序列之间的关系，与MY邓列相关的其他测试生成方法，内建自测度原理，各种数据

  3. 所属分类：专业指导

    • 发布日期：2019-03-01
    • 文件大小：4mb
    • 提供者：qq_24961281

  1. soc asic设计验证和测试方法学.rar

  2. 本书阐述了设计系统芯片（SOC）所需的新的设计、验证和测试方法学，其基本原理同样适合于超大规模专用集成电路芯片（ASIC）的设计。本书适合IC设计领域的科技人员，高校相关专业大学生和研究生。本书的具体内容有：集成电路发展史及SOC设计所面临的挑战；SOC设计、SOC模型。

  3. 所属分类：硬件开发

    • 发布日期：2019-05-25
    • 文件大小：8mb
    • 提供者：ycxzfforever

  1. 电子测量中的最新测试技术在芯片良率提高中发挥新作用

  2. 在纳米设计时代，可制造性设计(DFM)方法在提高良率方面中已经占据了中心地位。为了实现更高的良率，人们在初始设计和制造过程本身采用了各种技术。由于采用了DFM规则，验证这些技术的有效性就至关重要。新的测试方法学重点是识别故障机制，从而提供使测量取得成功的有价值的反馈链。这些方法学使故障诊断更为有效，从而缩短良率提高周期。 过去，测试的基本目的是识别有缺陷的器件并防止它们流出制造厂。这就是制造测试和扫描测试诊断要以全新的观点进行故障和良率分析的原因。 与简单地将经测试器件分箱装入合格/失效桶的

  3. 所属分类：其它

    • 发布日期：2020-12-09
    • 文件大小：101kb
    • 提供者：weixin_38690830

  1. 嵌入式系统/ARM技术中的VMM验证方法在AXI总线系统中的实现

  2. 1．引言 芯片验证(Verification)越来越像是软件而不是硬件工作。这点已逐渐成为业界的共识。 本文以软件工程的视角切入，分析中科院计算所某片上系统(SoC)项目的验证平台，同时也介绍当前较为流行的验证方法，即以专门的验汪语言结合商用的验证模型，快速建立测试平台(Test-bench)并在今后的项目中重用(reuse)之。 文中提及的高级验证语言、方法学、验证基本库和仿真模型，这一套方法在近几年中，正逐渐为业界广为采用。计算所的工作，就是以这些最新成果为起点，对基于AXI总线协议

  3. 所属分类：其它

    • 发布日期：2020-12-08
    • 文件大小：173kb
    • 提供者：weixin_38737980
« 12 »