OO第三单元总结 设计策略 首先根据JML规格定义需要的属性，再理解各个方法的目的，最后根据理解来完成各个方法。对于方法的实现，需要先大致理解方法实现了怎样的功能，而不是直接根据规格就开始写代码，在明白方法规格的具体含义以后，要明确进入各个分支的前提条件，然后是每个分支造成了怎样的结果，最后是检查是 ...
分类：
其他好文 时间：
2021-06-02 17:26:05
阅读次数：
0
一、实现规格所采取的设计策略 这一部分基本上都由JML语言给出了程序设计的规格，所以也没啥特别需要交代的。总体上来说，我在编写代码时大致分为这几个步骤： 1.先阅读官方包中所有接口和抽象异常类的定义，关注于整个程序的代码架构并从OO角度理解该类需要实现什么； 2.然后再是较仔细地阅读所有类的JML语 ...
分类：
其他好文 时间：
2021-06-02 17:13:11
阅读次数：
0
#SNMPv2 管理信息结构 SNMPv2 的管理信息结构在总结 SNMP 应用经验的基础上对 SNMPv1 SMI 进行了扩充，提供了更精致更严格的规范，规定了新的管理对象和 MIB 的文档，可以说是 SNMPv1 SMI 的超集。 信息模块。 ##对象的定义 与 SNMPv1 一样，SNMPv2 ...
分类：
其他好文 时间：
2021-06-02 17:05:38
阅读次数：
0
几年前想学习spring源码，每次打开书都是构建源码开始，结果每次都是卡在源码构建环境上了。 由于spring源码使用gradle构建并且还依赖了一些其他环境的安装，所以想要顺利完成环境搭建并完整构建成功还是稍微有点麻烦。 折腾几次后就放弃强迫症了，索性下载了原版源码后删减了一些模块并且把构建工具换 ...
分类：
编程语言 时间：
2021-06-02 17:05:06
阅读次数：
0
OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
0
其实在很多文章都会写call，apply，bind的应用和区别，但是总感觉不是要的东西，所以自己总结一下，继续关注我，后续我会仔细讲解call，apply，bind的内部实现。喜欢的可以关注 如果出现错误，请在评论中指出，我也好自己纠正自己的错误 author： thomaszhou call、ap ...
分类：
移动开发 时间：
2021-06-02 16:52:39
阅读次数：
0
第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
16个相机参数摘要：本文首先介绍了针孔相机模型，然后推导四个坐标轴变换的关系，引出R、T、K、D中包含相机的5个内参，6个外参，5个畸变参数。相机的标定是从空间点及其对应的像素点，获得相机的位置信息和内部参数信息的过程，16个相机参数的总结为此提供了模型基础。 一、针孔相机模型 2.5 畸变参数 2 ...
分类：
其他好文 时间：
2021-06-02 16:09:04
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
为什么写博客 总结+思考 提升逻辑思维能力 结交朋友 Markdown语法 标题 #为一级标题 ##为一级标题 以此类推 字体 两边加为粗体 两边加为斜体 两边加为加粗+斜体 引用：> 为引用 分割线： 为分割线 图片：！ 感叹号要英 超链接：要用英文 列表 有序列表：1.加空格 无序列表：- 或+ ...
分类：
其他好文 时间：
2021-06-02 15:51:25
阅读次数：
0
