嘛..不知不觉这门课程要结束了,那么就再说点啥以示庆祝呗. 测试vs正确性论证 说到这个,相比很多人对此其实很有疑惑,请让我慢慢分析. 逻辑概览 首先我们来看看两种方式各自的做法和流程是什么样的: 单元测试 在测试中,我们是这样的一个流程 此外,为了保证测试能覆盖到工程代码的每一个区域,需要保证测试的覆盖率. 正确性证明 在证明中,我们是这样的一个流程 在这一过程中 基于行为分析的repOk永真性证明依赖于JSF中的modifies项 方法正确性将基于JSF中所描述的effects和requir…

Java面向对象课程设计——购物车 小组成员:余景胜.刘格铭.陈国雄.达瓦次仁 一.前期调查 流程 客人(Buyer)先在商城(Mall)中浏览商品(Commidity),将浏览的商品加入购物车(Shopping Cart),最后通过购物车生成订单(Order),在购买时填写顾客地址信息(address),购买结束. 二.购物车 1.图表 业务流程图 功能结构图 UML图 2.包 包结构 3.类 (代码中均省略了自动生成的getter/setter) Mall 代码 public class M…

测试与正确性论证的效果差差异 测试和正确性论证都是对程序进行可靠性的验证. 测试: IEEE提出了对软件测试的定义:使用人工或者自动的手段来运行或测定某个系统的过程,其目的在于检验它是否满足规定的需求或者弄清预期结果和实际结果之间的差别.它是从对程序的实际操作来对运行结果和期望的结果进行比对,实质上只是一种抽样检查,只是一种查错的手段,它可以帮助人们去发现程序中的错误,但不能证明程序中没有错误,即:测试不能证明程序是正确的.测试又分为黑盒测试和白盒测试: 黑盒测试把测试对象看做一个黑盒子,测试人…

作业一.多项式的加减运算 1.设计要点与自我分析 我设计的类图 老师建议类图 我设计了两个类来进行多项式的计算,类Polynomial进行多项式的存储和输入输出,第二个类进行多项式加减运算.而加减运算的类里面只有方法,而且都是静态方法,没有存储变量,感觉这个设计还是有些问题.之后我也参考了一下别人的代码. 多项式的存储: 我用的是一维数组来存储多项式,下标代表的是多项式的次数,数组存储的是多项式的系数,这种存储方法对于多项式加减法的操作很方便,但是浪费的空间大,因为很多系数是0:而且存储多项式加…

今日内容 嵌套 特殊方法:__init__ type/isinstance/issubclass/super 异常处理 内容回顾 def login(): pass login() class Account: def login(self): pass obj = Acount() obj.login() 谈谈你了解的面向对象? 类和对象是什么关系?对象是类的一个实例. class Foo: def __init__(self,name): self.name = name def run(s…

1.什么是对象?什么是类? 类和对象的关系 定义类的方法 方法五要素 new关键字 引用类型变量的赋值 null和nullException null大小写的区别 2.方法 重载和重写 构造 方法,带参构造 this关键字,可以重载 引用类型数组 3.内存管理 成员变量的生命周期 垃圾回收机制 栈.堆.方法区 方法只有一份 成员变量和静态变量 向上造型 4.继承(继承和多态) 继承中的重写 父类中的重写 父类关键字super 访问控制(包import) 四种权限 static  final 成员…

C++计算器项目计算部分 零.项目源文件地址 地址:Calculator 2.0 一.项目信息相关 项 目 : Calculator 版 本 : 2 . 0 日 期 : 2016 . 4 . 14 实 现 : 对常规四则运算表达式的计算 对不常规表达式的判定 二.相关界面截图…

拿到了一件谜一样的T-shirt 吓得我赶紧捏了下hbb…

C++计算器项目初始部分 零.项目源文件地址 传送门:calculator 一.项目信息相关: 项目:Calculator 版本:1.0 日期:2016.2.16 实现: 基本的操作界面 对四则运算表达式的拆解 对一些基本表达式错误的判定 二.相关界面截图 三.过程中遇到的问题 项目本身没遇到什么问题 要上传到Github的时候忘记命令行怎么用了,又折腾了一会,多亏了汉犇犇带飞Orz...总算传上去了...…

项目简介 设计一个计算器,其能够: 1)由用户输入一个简单的四则运算表达式,求出其计算结果后显示. 2)特殊数学函数,如:绝对值.取整.三角函数.倒数.平方根.平方.立方等. 3)对一定范围内的数字将其转换成中文货币. 项目采用技术 GUI及java 功能需求分析 功能: 1.计算简单四则运算 2.特殊函数计算 3.中文转换 主要功能截图 1.特殊函数计算: 2.四则表达式运算: 3.中文转换: 主要代码 计算四则表达式 对于四则表达式计算,根据以前的学习经验,先建立后缀表达式,然后再进行计算.…