- 博客(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
164
2
原创 spec学习笔记
设计规约目标：方法的规约前置/后置条件欠定规约，非确定规约陈述式、操作式规约规约强度及其比较如何写出好的规约“方法”是程序的“积木”，可以被独立开发、测试和复用，需要抽象代码中蕴含的“设计决策”：给编译器度注释中蕴含的“设计决策”：给自己和别人读规约给“供需双方”都确定了责任，在调用时候双方都要遵守。前置条件和后置条件前置条件：对客户端的约束，在使用方法时必须满足的条件后置条件：对开发者的约束，方法结束时必须满足的条件契约：前置条件满足，后置条件必须满足
2021-07-07 21:52:34
172
原创 数据类型学习笔记
数据类型：一组值，并且包括可以对齐所做的操作变量：用特定数据类型定义可以存储满足类型约束的值基本数据类型：int; long; Boolean; double; char;对象数据类型：String; BigInteger;基础类型一般是 只有值，没有ID（与其他值无法区分） 是不可边的，在栈中分配内存，代价一般较低对象引用类型：（如classes,interfaces,arrays等）既有自己的ID也有值，分为可变和不可变的，在堆中分配内存，代价一般很昂贵。对象引用类型能形成层次结构
2021-07-07 20:59:40
131
原创 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
649
原创 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
162
原创 CSAPP 大作业
计算机系统大作业题 目 程序人生-Hello’s P2P 专 业 计算机科学与技术 学 号 1190202402 班 级 1936602 学 生 李培意 指 导 教 师 刘宏伟 计算机科学与技术学院2021年6月摘 要从hello这一文件看到...
2021-06-30 23:27:08
298
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人