第四次博客

 第四次博客

一、测试与正确性论证的比较

测试具有针对性,能从一些方面完美的展现出代码的正确性,但是它的验证度取决于样例的质量。

优点是方便,快捷,结果明显;缺点是可能不会覆盖到方方面面。

正确性论证能从所有的方面给别人展现出正确性,具有很强的逻辑性。

优点是全面,说服力好;缺点是比较麻烦,而且论证可能出错。

二、OCL语言与JSF规格的比较

对象约束语言简称OCL(Object Constraint Language)。它是用来进行约束定义的,形式化的无二义的语言

这两种语言的相同点是都是形式化的语言,都没有二义性;

不同点是变量的类型不同,OCL有自己的变量,JSF可以自己定义变量;

JSF支持更多的运算方式。

三、单电梯图示

UML图:

顺序图:

状态图:

 

四、学期总结

  4.1  

   这些模块层次分明,循序渐进,相互依赖,逐渐提升我们的水平,最终让我们有非常大的收获。

  4.2

   自己从最开始只能写出面向过程的java程序,到最后能写出具有良好功能的面向对象程序,从设计上,具有了更好的设计思路,测试上,具有了更全面的测试,质量上完成度也更高,有极大的进步。

  4.3

   我对工程化开发的理解是,它能极大的规范化我们的编程,让我们在设计思路以及正确性上都有较大的提高,是非常值得推广的。

  4.4

   希望指导书更明确,不要讨论来讨论去的。

转载于:https://www.cnblogs.com/Arsenalgooner/p/9224130.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/485766.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

院士论坛|李德仁:测绘遥感能为智能驾驶做什么? ——论测绘遥感与智能驾驶

来源: 中国测绘学会未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)云脑研究计划,构建互联网(城市)云脑技术和企业…

java 每行打印五个数字_java代码练习======每隔5行打印数字

总结&#xff1a;当我们感觉数字排列横排&#xff0c;竖排不好看的时候&#xff0c;学会空几行在排列&#xff0c;哎呦&#xff0c;效果不错喔package com.aa;public class West2 {public static void main(String[] args) {int count 0;for (int i 0; i < 100; i) {// 每…

Leetcode--455. 分发饼干

假设你是一位很棒的家长&#xff0c;想要给你的孩子们一些小饼干。但是&#xff0c;每个孩子最多只能给一块饼干。对每个孩子 i &#xff0c;都有一个胃口值 gi &#xff0c;这是能让孩子们满足胃口的饼干的最小尺寸&#xff1b;并且每块饼干 j &#xff0c;都有一个尺寸 sj 。…

Spring Boot-springbootHelloword(一)

什么是springboot sprng家族一个全新的框架 简化我们应用程序的创建和开发的过程&#xff0c;使用默认配置简化了我们以前传统的配置 springboot的特性 能够快速创建spring程序能够使用java main方法启动内嵌的 tomcat 或者jetty服务器运行spring boot程序提供约定的starter p…

java实践项目_Java项目开发实践

第章项目开发基础()项目开发实训目标()实训知识目标()实训能力目标()实训素质目标()项目开发技术()图形用户界面编程技术()输入输出编程技术()网络编程技术()数据结构编程技术()绘图编程技术()数据库编程技术()本书各项目采用技术()项目开发工具()开发工具包()数据库系统()()()…

Leetcode--134. 加油站

在一条环路上有 N 个加油站&#xff0c;其中第 i 个加油站有汽油 gas[i] 升。 你有一辆油箱容量无限的的汽车&#xff0c;从第 i 个加油站开往第 i1 个加油站需要消耗汽油 cost[i] 升。你从其中的一个加油站出发&#xff0c;开始时油箱为空。 如果你可以绕环路行驶一周&#…

原创工作发表难之叶公好龙

来源&#xff1a;张志东科学网博客链接地址&#xff1a;http://blog.sciencenet.cn/blog-2344-1265601.html 最近&#xff0c;科学网上一个热点话题是原创工作发表难不难&#xff1f;以真傻为代表的认为原创工作发表难&#xff0c;以王立新为代表的认为原创工作发表不难。那么&…

RSA 前段加密 java 后台解密 已调试通过

本人整理网上的。好多网上的调不通。在这里把调试好的贴出来。 1. 异步获取公钥&#xff08;后台获取&#xff09;&#xff1b;你也可以将公钥串写在页面上&#xff1b; var publicKey null; $.ajax({ url: ctx"/userLogin.do?methodgetRSAPublicKey", &#xf…

java字符的输入流_Java:字节流和字符流(输入流和输出流)

InputStream是抽象基类&#xff0c;所以它不可以创建对象&#xff0c;但它可以用来“接口化编程”&#xff0c;因为大部分子类的函数基类都有定义&#xff0c;所以利用基类来调用函数。FileInputStream是用来读文件数据的流&#xff0c;所以它需要一个文件对象用来实例化&#…

Leetcode--881. 救生艇

第 i 个人的体重为 people[i]&#xff0c;每艘船可以承载的最大重量为 limit。 每艘船最多可同时载两人&#xff0c;但条件是这些人的重量之和最多为 limit。 返回载到每一个人所需的最小船数。(保证每个人都能被船载)。 示例 1&#xff1a; 输入&#xff1a;people [1,2],…

任正非内部重磅发言:华为不可能简单学阿里、亚马逊

来源&#xff1a;券商中国辞旧迎新之际&#xff0c;华为创始人任正非此前在华为企业业务及云业务汇报会上的发言于华为心声社区曝光。任正非指出&#xff0c;华为企业业务要聚焦战略重点&#xff0c;继续做减法&#xff0c;收缩企业业务做战线&#xff0c;认真弄清楚做作战模型…

日报 18/06/25 26

io流 available public int available()throws IOException 返回从该输入流中可以读取&#xff08;或跳过&#xff09;的字节数的估计值&#xff0c;而不会被下一次调用此输入流的方法阻塞。 下一个调用可能是同一个线程或另一个线程。 这个多个字节的单个读取或跳过将不会被阻…

java8 迭代set集合_JavaSE(八)集合之Set

2.2、HashSet特点不能保证元素的排列顺序&#xff0c;顺序可能和添加的顺序不同&#xff0c;顺序也有可能发生变化。HashSetf不是同步的&#xff0c;如果多个线程同时来访问一个 HashSet&#xff0c;假设有两个或者两个以上线程同时修改了HashSet 集合时&#xff0c;则必须通过…

AI 发展方向大争论:混合AI ?强化学习 ?将实际知识和常识整合到AI中 ?

一个仿人机器人的延伸手。机器人常常使用强化学习来加以训练来源&#xff1a;云头条作者&#xff1a;Ben Dickson是一名软件工程师&#xff0c;还是探讨技术在如何解决和带来问题的TechTalks博客的创始人。2010年代对于AI界来说意义重大&#xff0c;这归功于深度学习领域取得了…

Leetcode--621. 任务调度器

给定一个用字符数组表示的 CPU 需要执行的任务列表。其中包含使用大写的 A - Z 字母表示的26 种不同种类的任务。任务可以以任意顺序执行&#xff0c;并且每个任务都可以在 1 个单位时间内执行完。CPU 在任何一个单位时间内都可以执行一个任务&#xff0c;或者在待命状态。 然…

吴恩达:2020 年,这些 AI 大事件让我无法忘怀...

作者&#xff1a;吴恩达编译&#xff1a;陈大鑫、贝爽编辑&#xff1a;青暮转自&#xff1a;AI科技评论日前&#xff0c;吴恩达在圣诞节之际回顾了2020年AI的一些重大事件&#xff0c;包括AI应对新冠疫情、数据集存在种族偏见、对抗虚假信息算法、AlphaFold预测蛋白质三维结构、…

java工程师的一生_百看不厌之一张图诠释程序员的一生

原标题&#xff1a;百看不厌之一张图诠释程序员的一生01百看不厌系列之一张图诠释程序员的一生。02变得越来越强了...03不知道是干什么的&#xff0c;但又不敢删。。。04当前端的人抱怨Java 时&#xff0c;C程序员05给产品经理设计了一款趁手的宝贝06离职程序员交接项目07这位压…

好久没玩laravel了,5.6玩下(三)

好久没玩laravel了&#xff0c;5.6玩下&#xff08;三&#xff09; 好了&#xff0c;基础的测试通了&#xff0c;咱们开始增删改了 思路整理 先创建项目功能控制器 然后设置路由访问规则 然后开发项目的增删改功能 1 先创建项目的控制器 php artisan make:controller ProjectsC…

Leetcode--870. 优势洗牌

给定两个大小相等的数组 A 和 B&#xff0c;A 相对于 B 的优势可以用满足 A[i] > B[i] 的索引 i 的数目来描述。 返回 A 的任意排列&#xff0c;使其相对于 B 的优势最大化。 示例 1&#xff1a; 输入&#xff1a;A [2,7,11,15], B [1,10,4,11] 输出&#xff1a;[2,11,7…

OpenAI祭出120亿参数魔法模型!从文本合成图像栩栩如生,仿佛拥有人类的语言想象力...

来源&#xff1a;AI科技评论作者&#xff1a;OpenAI编译&#xff1a;贝爽、陈大鑫前几个月GPT-3刚刚问世的时候&#xff0c;能够根据一段话就写出一个小说、一段哲学语录&#xff0c;就足以令AI圈为之感到兴奋。然而2020年刚刚开始没多久&#xff0c;OpenAI又实现一重大突破&am…