OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
0
SOA、CQRS、DDD、微服务方案类比与企业可行性分析 阿里云SLB、Haproxy+Keepalived实现高可用负载均衡 WCF多节点代理实现方案 仓储+工作单元设计模式 分布式事物 Seata-adapter 重写实现 SqlSugar/EF+Linq动态生成查询表达式 用户上下文设计 容器 ...
分类：
其他好文 时间：
2021-06-02 16:50:39
阅读次数：
0
第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L ...
分类：
其他好文 时间：
2021-06-02 15:32:43
阅读次数：
0
北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 ...
分类：
其他好文 时间：
2021-06-02 15:13:27
阅读次数：
0
本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
第5部分 不等概抽样 不等概抽样 等概率抽样和不等概抽样的区别：在等概抽样中，每个总体单元都具有相同的入样概率；不等概抽样赋予每个单元与其规模（或辅助变量）成比例的入样概率，使得大单元入样概率大、小单元入样概率小，然后在估计中采用不同的权数来进行弥补。 当总体单元之间差异不大时，简单随机抽样简便、有 ...
分类：
其他好文 时间：
2021-06-02 14:56:25
阅读次数：
0
自动化开发部署和测试 在之前章节中有一个IsValid方法，检查银行账号是是否符合校验码要求，由于这种方法很容易出现代码错误，都会写一个短小的程序来测试验证此方法。 class Program { [STAThread] static void Main(string[] args) { strin ...
分类：
其他好文 时间：
2021-06-02 14:49:27
阅读次数：
0
编写简洁的代码 代码坏味道是指隐含问题的代码风格。 不留痕迹 童子军军规：离开营地时，要让它比来时更干净。应用在软件开发中，表示一旦编写或修改了一段代码，就有机会进行小的改进，结果就是你让这段代码比之前更简洁、更具有可维护性。 如何使用本原则 1. 不要编写单元级别的代码坏味道： 过长的代码单元（第 ...
分类：
其他好文 时间：
2021-06-02 14:48:45
阅读次数：
0
