软件构造第五章复习——设计规约

最新推荐文章于 2024-07-13 13:55:40 发布
最新推荐文章于 2024-07-13 13:55:40 发布
阅读量79 收藏
点赞数
分类专栏： 软件构造 文章标签： java
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_45764951/article/details/118553883
版权

规约的作用

设计规约，可以隔离客户端以及类实现者之间，进而达到防火墙的作用。

规约应该有什么

  1. 输入参数(Precondition)
  2. 输出参数(Postcondition)
  3. 异常(Exception)

规约不应该有什么

  1. 方法的局部变量以及rep
  2. 默认绝不能改变输入参数

规约的替换

  • 强规约替换弱规约，其中强代表：更弱的前置条件以及更强的后置条件。
  • 更强的规约，在图上也表示为更小的面积
HIT-1190201210-陈则睿
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
软件工程---软件设计规约.pdf
07-02
概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约 概念和组成 概要设计规约 详细设计规约 设计规约格式 软件设计规约
软件构造课程总结（五）——设计规约
StarryForest的博客
05-25 407
*在规约中避免使用可变的全局变量。作为这种非本地契约现象的问题，考虑Java集合类，它们通常在类的客户端和实现者上有非常清晰的契约记录。一个给定的实现要么按照规范进行行为，满足前提条件-隐含-后置条件契约（它在区域内），要么不满足（在区域之外）。它们通常更短，更容易理解，而且最重要的是，不会无意中暴露客户机可能依赖的实现细节。方法的规范可以讨论方法的参数和返回值，但它不应该讨论方法的局部变量或方法类的私有字段。一个好的“方法”设计，并不是你的代码写的多么好，而是你对该方法的spec设计得如何。
软件构造学习心得之设计规约
m0_54122000的博客
06-13 381
目录1 沟通2 规约（Specification）2.1 行为等价性2.2 前置条件pre-condition（requires）和后置条件post-condition（effects）2.3 分类规约2.4 规约的强度判断2.5 图表规约（Diagramming specifications）2.6 设计良好规约 3 知识图谱沟通在日常生产生活中是最重要的一环，只有进行有效合理的沟通才能高效正确的完成某项任务。在软件开发的过程中，沟通同样十分重要。但要注意，在软件开发过程的过程中的沟通包括两个主要方向：1
软件构造设计规约总结
youkinoxita的博客
06-10 192
设计规约
【软件构造】设计规约（Java）
weixin_59480803的博客
06-06 497
规约（spec）：spec是软件构造中一种常用的手段，它规定了每个方法的作用，是在编程之前对各部分模块的总体设计。有了spec，才能分派任务，确定“供需双方”的责任，在调用时双方都要遵守，从而使程序与客户端之间达成一致。并定义正确实现的含义。一个软件在设计阶段就应该完成规约的设计，并且根据规约设计出测试程序，这会大大减少软件的生产周期。 编程语言中的程序和方法：“方法”是程序的“积木”，可以被独立开发、测试、复用；使用“方法”的客户端，无需了解方法内部具体如何工作，即抽象的概念。
软件工程-章-传统的设计方法(与“模块”有关文档共180张).pptx
11-14
总结起来，传统的设计方法，尤其是与模块相关的部分，强调了如何通过结构化和面向数据的方法来组织和设计软件系统，以确保其可读性、可维护性和适应性。这些方法和技术对于理解软件工程历史和现代设计实践都至关重要...
IBM需求规约要求——需求规约案例
04-11
"IBM需求规约要求——需求规约案例" IBM公司的软件需求规约格式模板要求，欢迎大家下载 软件需求规约（SRS）是记录对于系统或系统一部分的完整软件需求的文档。SRS的主要目的是收集和组织与项目有关的所有需求，...
“仓库管理系统”软件需求规约.doc
10-13
仓库管理系统软件需求规约是指设计和开发仓库管理系统的软件需求规约文档。该文档旨在对仓库管理系统的软件开发方向进行规定，确保软件开发的正确性和一致性。以下是该文档的重要知识点： 1. 文档格式：软件需求...
捷通CDT规约RTU子站分析模拟软件
03-24
【捷通CDT规约RTU子站分析模拟软件】是一种专用于测试和分析基于CDT（China Digital Telemetry）规约的远程终端单元（Remote Terminal Unit，简称RTU）子站系统的专业工具。该软件旨在帮助工程师和技术人员在实际...
软件构造学习笔记（五）设计规约
weixin_51744028的博客
06-07 743
文章的内容是我在复习这门课程时候看PPT时自己进行的翻译和一些总结，如果有错误或者出入希望大家能和我讨论！同时也希望给懒得翻译PPT而刷到这篇博客的你一些帮助！在这里我们先来了解一些基础概念以及他们通俗易懂的解释，为之后的规约书写打下基础。 Parameters： Parameters意思是参数。这就不用多说了吧，在定义一个方法或者函数的时候进行传递的就是参数咯。值得提醒的是，参数类型是否匹配在静态类型检查阶段完成。 Return Values： Return values意思是返回值。在定义方法的
北京大学软件工程课程（24.软件设计规约（软件设计说明书））
日照金山定乾坤
02-20 320
1. 定义：对软件的组织及其组成部分的内部结构的描述，满足系统需求规约所指定的全部功能及性能要求； 2. 软件设计规约的组成：通常由概要设计规约、详细设计规约，分别为相应设计过程的输出文档； 3. 概要设计规约 好的软件不是编码出来的，是设计出来的。 ...
慕课软件工程(第七章.软件设计规约)
weixin_42473228的博客
03-16 1511
慕课北京大学.软件工程.第七章.结构化分析方法3.软件设计规约0 目录7 结构化分析方法37.2 软件设计规约7.2.1课堂重点7.2.2测试与作业8 下一章 0 目录 7 结构化分析方法3 7.2 软件设计规约 7.2.1课堂重点 7.2.2测试与作业 1单选(2分)概要设计规约不应包括______ A.软件测试方面的要求和说明 B.系统环境的设定 C.各处理过程的算法...
软件构造系列学习笔记（3.2）————设计规约
fundament的博客
03-30 598
设计规约 上一节关注了编程语言中的“数据类型”、 “变量”、“值”，尤其是mutable和 immutable的类型/值/引用。 本节转向“方法/函数/操作”如何定义—— 编程中的“动词”、规约。 目录： Function / method in programming language Specification: Programming for communication Desi...
软件构造（4）- 设计规约
xyzhang的博客
06-11 226
一.行为等价性 根据规约判断是否行为等价 单纯的看实现代码，并不足以判定不同的implmentation是否是“行为等价的” 需要根据代码的spec（开发者与client之间形成的contract）判定行为等价性 在编写代码之前，需要弄清楚spec如何协商形成、如何撰写 例如上述两方法如果只看代码显然不等价，但在下述spec中这两个方法等价 二.前置与后置条件 前置条件：对客户端的约束，在使...
软件构造（五） 设计规约
qq_45744028的博客
07-03 285
1.程序设计语言中的函数和方法 程序是由一个个小的方法组成的，对于用户来说，并不需要知道方法具体如何实现，只需要知道，方法如何使用 […] name(TYPE a1, TYPE a2){ Statment; } 以上就是一个方法的简单结构，而一个完整的方法，不仅要包含方法体还要有方法的规约 2.规约 2.1 编程文档化 我们翻阅的Java以及各类编程语言的手册就是很典型的编程文档化的一个例子（推荐一个很实用的软件Zeal） 记录下我们代码的假设也是文档化的一个重要手段，写下一个变量的类型记录了一个关于
[软件过程]软件设计规约
tafiagu‘s blog
12-19 581
hello world
软件构造——设计规约
BearPipy的博客
06-05 156
关于软件构造过程中设计规约部分的总结。
软件设计和开发规范（国标） (转)
weixin_30892763的博客
06-24 2725
软件开发规范，包括：1-操作手册（GB8567——88）.doc2-测试分析报告（GB8567——88）.doc3-测试计划（GB8567——88）.doc 4-概要设计说明书（GB8567——88）.doc5-开发进度月报（GB8567——88）.doc 6-可行性研究报告（GB8...
Elsaticsearch java基本操作
最新发布
qq_62383709的博客
07-13 479
索引 基本操作 package com.orchids.elasticsearch.web.controller; import cn.hutool.core.collection.CollUtil; import cn.hutool.json.JSONUtil; import com.orchids.elasticsearch.web.po.User; import io.swagger.annotations.Api; import io.swagger.annotations.ApiOperatio
代码大全复习概要1
08-08
本复习纲要参考了《代码大全（第二版）》一书，涵盖了软件构造的概念、活动、重要性和前期准备工作。软件构造活动包括设计、编码、单元测试以及错误修正等，它是软件开发的关键环节，也是提高程序员效率的核心。此外...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值