OO第三单元作业——JML规格的理解与使用 　　在第三单元作业中，我们实现了社交网络查询的基本功能。我们需要根据课程组下发的官方JML代码，来确定社交网络中需要实现的功能，而后设计自己的方法来实现。一般来说，一个方法的JML代码的行数要远...

问题： 使用类的静态字段和构造函数，我们可以跟踪某个类所创建对象的个数。请写一个类，在任何时候都可以向它查询“你已经创建了多少个对象？”。 代码： public class Count { public static int nu...

python操作redis缓存-其他常用操作，用于操作redis里的数据name，不论什么数据类型 delete(*names)根据删除redis中的任意数据类型 #!/usr/bin/env python # -*- coding:...

OO第三单元——JML规格化设计 JML语言的理论基础以及应用工具链情况 理论基础 JML是对JAVA程序进行规格化设计的一种表示语言，是一种行为接口规格语言。JML整合了Java和JAVAdoc，并且引入了并要的形式化表达手段。 其...

第三百零二节，三层架构讲解 三层架构(3-tier architecture) 通常意义上的三层架构就是将整个业务应用划分为:表现层(Presentation layer)、业务逻辑层(Business Logic Layer)、数据访...

2020北航OO第三单元总结 本单元要求是根据JML规格完善代码，初看是一个简单的代码照搬实现的东西，但最后才发现由于CPU时间的限制，还考察了大量优化策略及数据结构中关于图的知识，是一次非常注重细节构思的一单元，我借此机会学习并巩固了好...

? 如果大家有机会做web自动化测试的工作，在框架搭建好之后，大部分的工作都是在写定位表达式，然而，8大元素定位方法中，id、name、class_name、link_text、partial_link_text、tag_name这6种，...

JML理论基础 JML基础概念 JML是一种进行详细设计的符号语言。它为说明性的描述行为引入了许多构造。这些构造包括模型字段、量词、断言的可见度范围、前提条件、后置条件、不变量、合同继承以及正常行为与异常行为的规范。 用处 JML里的这...

第三百零八节，Django框架,models.py模块，数据库操作——链表结构，一对多、一对一、多对多 链表操作 链表，就是一张表的外键字段，连接另外一张表的主键字段 一对多 models.ForeignKey()外键字段一对多，值...

1、String类和StringBuffer类 字符串中可以包含任意字符，这些字符必须包含在一对双引号” “之内 1.1String类 　　String a=null与String a=""的区别，前者表示对象是空对象即没有对象，后者表示...