Java程序构造©Day3

最新推荐文章于 2024-04-07 11:33:44 发布
最新推荐文章于 2024-04-07 11:33:44 发布
阅读量728 收藏
点赞数
分类专栏： Java程序构造
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_38338161/article/details/79553963
版权

Java程序构造©Day3

March 12th, 2018
标签（空格分隔）： Java程序构造

第七章

7.5 软件测试 测试优先的编程

  • 认可测试价值
  • 学会两种黑盒测试方法 等价划分和边界值分析方法 为模块设计测试用例
  • 可用工具度量一组测试用例对代码的覆盖度

参考阅读:MIT6.03103 代码大全第22章 软件工程-实践者的研究方法第17-18章

1 软件测试
什么是测试

测试:发现程序中的错误 提高程序正确性的信心

程序正确确认的基本方法:

  • 形式化推理
  • 代码评审
  • 测试

测试是提高软件质量的重要手段

  • 确认是否可达到可用的级别

  • 关注系统某一侧面的质量特性

  • 是否满足需求

  • 是否正确响应所有需求
  • 性能是否可接受
  • 是否可用
  • 可否正确部署安装
  • 是否达到期望
测试分类
  • 单元测试
  • 集成测试
  • 系统测试
  • 回归测试
  • 验收测试
白盒测试 黑盒测试

白盒测试:对程序内部代码结构的测试 只关注代码内部的问题

黑盒测试:对程序外部表现出来的行为的测试 采用两个方法

  • 等价划分
    将程序可能的输入进行分类 划分为不同集合 包括不合法数据
  • 边界值分析方法
    在各个集合中尽量去取用边界极限的测试用例

黑盒测试

测试困难
  • 软件行为在离散输入空间中差异巨大
    • 大多数正确 少数错误
    • bug出现不遵循特定概率分布
  • 无统计规律可循
2 测试用例

这一部分和其他部分联系紧密 不再赘述

3 测试优先编程

在编码之前写出测试 测试接口功能 测试方法正确性

Specification文档 需求

按照规定的语法编写注释 生成文档
Sepc

4 单元测试

针对软件的最小单元模型开展测试 隔离各个模块 容易定位错误和调试

  • 模型接口
  • 本地数据结构
  • 所有的正常输出
  • 边界条件
  • 所有的错误处理

第三章 ADT OOP

3.1 数据类型和类型检查

  • 动态 静态类型检查
  • 可变 不可变类型检查
  • 可变数据的危险性
  • 不变数据的优越性
  • 用snapshot图理解数据类型

软件构造理论基础–ADT
软件构造技术基础–OOP

参考阅读:MIT6.031 01 02 09 CMU15-214 02 Java编程思想第1-6章 11章

1 数据类型
数据类型
基本数据类型对象数据类型
int long byte short char
float double boolean		Classes interfaces
arrays enums annotations
只有值 无ID有值 有ID
不可变可变或不可变
在栈中分配空间在堆中分配空间
无法统一表达可以统一表达
代价低代价高昂
封装

把基本数据类型封装为对象类型 通常是在定义集合类型时使用它们

2 静态类型 动态类型

静态类型

  • 类型检查通常发生在编译阶段
  • 数据类型在定义后就确定 通常无法更改

动态语言

  • 在运行阶段检查
3 类型检查
三种检查策略
  • 静态类型检查
  • 动态类型检查
  • 不检查

折中

静态>动态>无检

静态类型检查

在编译阶段进行检查 避免将错误带入运行阶段 可提高程序正确性 健壮性

  • 语法错误
  • 类型错误
  • 参数数目错误
  • 函数名 类名错误
  • 返回值类型错误
动态类型检查
  • 非法参数值
  • 非法返回值
  • 越界
  • 空指针
易变性 永恒性
改变一个变量 和 改变它的值有什么区别
  • 改变一个变量 该变量指向另一个值得存储空间
  • 改变一个值 将变量指向的空间的值换成另一个值
不变性

不变数据类型 一旦建立 不能更改

例如final标签 尽量使用final作为方法的输入和局部变量

注意:

  • final类无法派生子类
  • final无法改变值 引用
  • final无法被子类重写

不变对象 和 可变对象

可变类型
可变类型
不可变类型
不可变类型

差异
差异

两种类型的效率上有差别

  • 不可变类型:频繁修改 需要垃圾回收
  • 可变类型:无需拷贝 效率高

但是不可变类型更加安全 其他质量指标表现更好

风险实例:

  • 1 改变源数据
    风险1
  • 2 返回可变类型
    风险2

稍后更新

SuchAQuteBoy
关注
专栏目录
Java中的转义字符
qianxc88的专栏
10-15 612
特殊转义序列(Special escape sequences) Error:(13, 0) ajc: Invalid escape sequence (valid ones are \b \t \n \f \r \" \' \\ ) 转义序列例如(\b, \t, \n, \f, \r, \”, \’ and \).对Java而言一共只有7个 其中"'"双引号对其中的
面向对象程序设计总结（java基础）
zyyyyyy24的博客
01-20 647
面向对象程序设计总结（java基础） 本文章为java2使用教程（第五版）耿祥义所著的重点知识点及代码的总结，适用于Java初学者和在校学生的参考文章。本文特别基础的内容并未涉及，但文章所涉及的内容也较为基础，所以本文比较适合作为课本教材的总结参考和Java初学者的学习参考。 笔者打算用多篇文章来系统总结Java的内容，所以本文是第一篇Java的基础入门篇章。所涉及的代码和知识点并非过于简单易懂，适合已经正在学习Java(而不是还没开始学习)的小伙伴们参考学习。并且文章中的纰漏和错误欢迎大家批评指正！ 面向
JAVA的数据类型和运算符
weixin_45783574的博客
11-01 260
JAVA的数据类型和运算符 ①：Java中的标识符 标识符是编程时使用的名字：Java对包、类、接口、方法、变量、常量（不包括项目名）等命名时使用的字符序列称为标识符。 Java标识符有如下命名规则： 1、标识符由字母、数字、 “_”、 “$”组成，且首字母不能是数字； 2、不能把Java关键字作为标识符（例如：for while int return等）； 3、标识符没有长度限制； 4、标识符区...
Java中的常用类详解（Math、Scanner、Random、String）
最新发布
AXDRXS的博客
04-07 1539
math类包含用于执行基本数学运算的方法，如初等指数、对数、平方根和三角函数。static double E ：比任何其他值都更接近e（即自然对数的底数）的double值。static double PI ： 比任何其他值都更接近pi（即圆的周长与直径之比）的double值。static double ceil(double a) ：返回最小的（最接近负无穷大）double值，该值大于等于参数，并等于某个整数。
java双冒号：：；；、 -＞和 ..各自表示的含义.
qq_40908105的博客
04-29 1万+
这俩个符号都是java8新特性中lambda表达式的一种，主要是大大减少了代码量，提高效率。 lambda表达式通常都是采用左边方法右边参数的写法，例如： stu -> stu.getStuId() 同时这个写法也可以写成 stu :: stu.getAge 注意这里没有方法后面的括号,可以看如下的实例： public class LambdaTest { ...
java输出“☐、☑”等特殊符号
yubin1285570923的博客
05-30 1433
【代码】java输出“☐、☑”等特殊符号。
JAVA SE学习笔记(七)：终章：Java程序设计基础笔记（全10万字）
宇智波Akali的博客
04-18 2万+
Java程序设计入门 ​ copyright © 2020 by 宇智波Akali 目录 文章目录第1章 Java基础语法1、数据类型​​1.1 八种基本数据类型1....
Java学习day050 使用断言（断言的概念、启用和禁用断言、使用断言完成参数检查、为文档假设使用断言）
Zzehao的博客
04-13 1012
使用的教材是java核心技术卷1，我将跟着这本书的章节同时配合视频资源来进行学习基础java知识。 day050 使用断言（断言的概念、启用和禁用断言、使用断言完成参数检查、为文档假设使用断言） 在一个具有自我保护能力的程序中，断言很常用。 1.断言的概念 假设确信某个属性符合要求，并且代码的执行依赖于这个属性。例如，需要计算 double y=Math.sqrt(x); 我们确...
Java_note
格子衫的博客
08-08 281
Java笔记
【狂神说笔记—— Java基础07-常用类】
weixin_46055348的博客
07-07 871
【狂神说笔记—— Java基础07-常用类】
用java表示类_JAVA中必须了解的常用类
weixin_32820457的博客
02-26 193
第一节 JAVA中的包装类基本数据类型不具备对象的特性，比如基本数据类型不能调用方法，功能简单。为了让基本数据也具有对象的特性，JAVA为每个基本数据类型都提供了一个包装类，这样我们就可以像操作对象那样来操作基本数据类型。基本类型和包装类之间的对应关系：包装类主要提供了两大类方法：1.将本类型和其他基本类型进行转换的方法；2.将字符串和本类型及包装类互相转换的方法。以Integer包装类为例：In...
2023编程必会的100个代码大全，建议立刻收藏
yy1715713348的博客
01-10 8156
2023编程必会的100个代码大全，建议立刻收藏
7个大一C语言必学的程序 / C语言经典代码大全
热门推荐
qq_45069481的博客
12-05 2万+
嗨~大家好，这里是可莉！ 今天给大家带来的是7个C语言的经典基础代码~ 那一起往下看下去把 【程序一】打印100到200之间的素数 #include<stdio.h> int main() { int i; for (i = 100; i <= 200; i++) { int j; for (j = 2; j < i; j++) { if (i % j == 0) break; } if (i == j) printf("%d ",
程序编码
王华春_Jason
09-08 1747
程序设计语言 程序设计语言：用于书写计算机程序的语言。语言的基础是一组记号和一组规则。根据规则由记号构成的记号串的总体就是语言。在程序设计语言中，这些记号串就是程序。程序设计语言有3个方面的因素，即语法、语义和语用。语法表示程序的结构或形式，亦即表示构成语言的各个记号之间的组合规律，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，亦即表示按照各种方法所表示的各个记号的特定含义，但...
java中for(;;)表示啥意思
码农界的小学生
08-10 2万+
for(;;){} 代表无线循环的意思。
Day1&&Day2&&Day3 LHH112(复刻版)
MRGCODING
06-06 430
 #include #include #include using namespace std; class Solution { public: vector twoSum(vector &nums, int target) { vector answer; for (int i = 0; i <nums.si
java 表示类型_一文读懂Java基本数据类型
weixin_33037713的博客
02-21 347
在Java中的数据类型，分为引用类型和基本数据类型。本文主要讲解8种基本数据类型，引用类型将在面向对象中详细讲解。在8种基本数据类型中整型有4种：byte，short，int，long；浮点型有2种：float，double；字符型有1种：char；布尔型有一种：boolean。整数类型整数类型byte，short，int，long，都是有符号(补码)整数，即有正负之分。不同整数类型的取值范围整数...
Java中的常用类
yzl1293346757的博客
07-24 1160
javaSE入门基础知识,常用类涵盖基本包装类,Array类,Object类,String类,StringBuffer类,StringBuilder类,Math类,Random类,Date类,Calender类,SimpleDateFormat类,BigInteger类,BigDecimal类等
Java MBeanInstantiator 0day 漏洞分析
"Java 0day Analysis - MBeanInstantiator.findClass 漏洞解析" 在2013年1月，Java社区面临了一个新的重大安全威胁：Java MBeanInstantiator.findClass 0day漏洞。这个漏洞的影响广泛，因为Java在当时已经广泛应用...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值