- 博客(6)
- 收藏
- 关注
RSS订阅原创 test测试学习笔记
Software testing （1）提高软件质量的重要手段 （2）确认是否达到用户需求 （3）关注系统的某一侧面的质量特性 当然也要注意，无论什么样的测试，质量有多高的测试，也无法达到100%的没有错误 （4）残留缺陷率（每一千行代码交付后留存的bug） 典型工业软件1-10 defects/kloc 高质量的验证0.1-1 defects/kloc（java库） 非常高的安全关键认证0.01-0.1 defects/kloc (重要的航天控件等) （5）什么是高质...
2021-07-07 22:48:59
207
2
原创 spec学习笔记
设计规约 目标：方法的规约 前置/后置条件 欠定规约，非确定规约 陈述式、操作式规约 规约强度及其比较 如何写出好的规约 “方法”是程序的“积木”，可以被独立开发、测试和复用，需要抽象 代码中蕴含的“设计决策”：给编译器度 注释中蕴含的“设计决策”：给自己和别人读 规约给“供需双方”都确定了责任，在调用时候双方都要遵守。 前置条件和后置条件 前置条件：对客户端的约束，在使用方法时必须满足的条件 后置条件：对开发者的约束，方法结束时必须满足的条件 契约：前置条件满足，后置条件必须满足
2021-07-07 21:52:34
207
原创 数据类型学习笔记
数据类型：一组值，并且包括可以对齐所做的操作 变量：用特定数据类型定义可以存储满足类型约束的值 基本数据类型：int; long; Boolean; double; char; 对象数据类型：String; BigInteger; 基础类型一般是 只有值，没有ID（与其他值无法区分） 是不可边的，在栈中分配内存，代价一般较低 对象引用类型：（如classes,interfaces,arrays等）既有自己的ID也有值，分为可变和不可变的，在堆中分配内存，代价一般很昂贵。 对象引用类型能形成层次结构
2021-07-07 20:59:40
165
原创 Junit断言（assert）
void assertArrayEquals(expectedArray, actualArray) 检查两个数组是否相等 void assertEquals(Object expected, Object actual) 检查两个变量（可以为布尔值，可以为文本，也可以为数据）或等式是否平衡 void assertTrue(Boolean condition) 检查为真 void assertFalse(Boolean condition) 检查为假 void assertNotNull(Obj..
2021-07-07 15:13:18
729
原创 Git将文件提交到远程仓库
本文主要是对git的提交做了一个整理，对于git的起步的安装以及初始化等不再赘述，默认git已经安装完成可以使用。 注意，文中尖括号表示可变的部分，url表示链接地址 一、获取git仓库 1.Git前如果不是在目标文件夹中使用git，那么可以通过cd指令如： $ cd /home/user/my_project (linux) $ cd /User/user/my_project (macOS) $ cd /c/user/my_prject (Windows) 或者是在目标文件夹右键空白位置打
2021-07-06 17:14:51
197
原创 CSAPP 大作业
计算机系统 大作业 题 目 程序人生-Hello’s P2P 专 业 计算机科学与技术 学 号 1190202402 班 级 1936602 学 生 李培意 指 导 教 师 刘宏伟 计算机科学与技术学院 2021年6月 摘 要 从hello这一文件看到...
2021-06-30 23:27:08
526
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人