首页 > 其他分享 >面向正确性与健壮性的软件构造

面向正确性与健壮性的软件构造

时间:2024-05-16 13:31:13浏览次数:10  
标签:Exception 健壮性 构造 正确性 面向 软件

Construction for Robustness & Correctness

面向正确性与健壮性的软件构造

概念

正确性:对正确的输出返回正确的结果

健壮性:对扯淡不合规的输入有正常合理的表现(报错、提示等)

量化标准

Java中的Error与Exception

对Exception的处理

定义

分类

Checked与Unchecked的Exception

throws语法

Assertions(断言)

防御式编程

标签:Exception,健壮性,构造,正确性,面向,软件
From: https://www.cnblogs.com/HaoranLuo/p/18195807

相关文章

  • 面向金融市场的人工智能-多模型方法-全-
    面向金融市场的人工智能:多模型方法(全)原文:zh.annas-archive.org/md5/0aabc8078dabbde7af4df5aa9d55c374译者:飞龙协议:CCBY-NC-SA4.0前言本书介绍了一种利用非线性性进行金融投资的可行方法。它总结了RaphaelDouady和合作者们近二十年来进行的研究。这项研究由ThomasBa......
  • 面向可复用性和可维护性的设计模式
    面向可复用性和可维护性的设计模式HITSoftwareConsturction哈工软件构造课程内容回顾——DesignPatternsforReuseandMaintainbality面向可复用性和可维护性的设计模式Outline(课件)CreationalpatternsFactorymethodpatterncreatesobjectswithoutspecifying......
  • spring之AOP(面向切面编程)
    什么是AOP?AOP(AspectOrientedProgramming)意为:面向切面编程,体现了横切的思想,意思是在添加某项功能的时候,是以切面插入的方式实现的,对原有的代码不会产生改变。通过预编译方式和运行期动态代理实现程序功能的统一维护的一种技术。AOP在spring中的作用:在不改变原有代码的情况......
  • VMware vSphere Bitfusion 4.5.4 - 面向 AI 和 ML 应用提供弹性基础架构
    VMwarevSphereBitfusion4.5.4-面向AI和ML应用提供弹性基础架构请访问原文链接:VMwarevSphereBitfusion4.5.4-面向AI和ML应用提供弹性基础架构,查看最新版。原创作品,转载请保留出处。作者主页:sysin.orgVMwarevSphereBitfusion4.5|23NOV2021|Build4......
  • python教程12-面向对象进阶
    1、classmethod类方法类方法只能访问类变量,不能访问实例变量2、staticmethod静态方法不能访问类变量,也不能访问实例变量。除非在实例调用时给方法传实例。3、反射1-判断对象是否有属性的情况用法: 实例: __name__,模块被其他模块导入的时候调用,是你叫的名字。模块自己主......
  • py面向算法
    近期想系统性的学习学习python,我想着了解一门语言是不是最开始就要会用他的一些基本语法来写题呢,抱着这个想法我就开始用c++写完一道题后用py再写一遍.但是py主要的一些语法还好,只是表现形式不同而已,但是py的输入输出和数组方面相对来说特殊不少,或者根本就没有数组这个概念,......
  • cmd-parser - 一个非常简单好用的命令解析器+EmbedXrpc - 面向单片机的嵌入式小型RPC
    1、EmbedXrpc-面向单片机的嵌入式小型RPCEmbedXrpc类似于Google的gRPC,但是应用场景是单片机。RPC远程调用极大的方便了开发,使得不必关注于协议解析,数据的序列化和反序列化等繁琐的工作。项目主页: https://gitee.com/snikeguo/EmbedXrpcEmbedXrpc应用场景:单片机近距离Clie......
  • python教程11-面向对象
    python的面向对象和java有一些不一样:(java中,只有在类中定义的变量实例才能用,但是python更加灵活)类变量:类变量在整个实例化的对象中是公用的。类变量定义在类中且在函数体之外。类变量通常不作为实例变量使用。实例变量:在类的声明中,属性是用变量来表示的,这种变量就称为实例变量,实......
  • ELL-8051-LIB - 面向8051的高效低封装函数库+KLite - 简洁易用的嵌入式操作系统内核
    1、Arm-2D-基于Cortex-M的2D图形加速库ARM官方出品的2D图形加速库,在Cortex-M55系统频率8MHz下就可以实现30fps的渲染(6图层。320x240,rgb565)。项目主页: https://github.com/ARM-software/EndpointAI/tree/master/Kernels/Research/Arm-2DArm-2D库特性包括但不限于:*......
  • PikaScript - 面向嵌入式的超轻量级python引擎+Ring-Buffer - 仅80行代码的超简洁环形
    1、PikaScript-面向嵌入式的超轻量级python引擎PikaScript(前称mimiscript)是一个完全重写的超轻量级python引擎,零依赖,零配置,可以在少于4KB的RAM下运行(如stm32g030c8和stm32f103c8),极易部署和扩展。项目地址:https://github.com/pikasTech/pikascriptPikaScript是使用c语言写......