当前位置：首页 > news >正文

[软件工程]九.可依赖系统(Dependable Systems)

news 来源：原创 2025/6/7 18:17:47

9.1什么是系统的可靠性（reliability）

系统的可靠性反映了用户对系统的信任程度。它反映了用户对其能够按照预期运行且正常使用中不会失效的信心程度。

9.2什么是可依赖性（dependablity）的目的

其目的是覆盖系统的可用性，可靠性，安全性和信息安全性。

9.3系统的可依赖性通常会比它们本身的具体功能更加重要

系统失效会影响到很多人（有次百度网盘失效，导致百度网盘大量数据的泄露，很多人从此不再把重要和私密文件存在百度网盘中了）
用户经常拒绝不可靠，不安全或信息安全有问题的系统
系统失效的代价可能是巨大的
可依赖性差的系统可能导致信息丢失和泄露

9.4设计一个可依赖系统我们要考虑什么

硬件失效：系统硬件失效有可能是源自设计上的失误，也可能是源自构件加工制造中的问题，或者是硬件构件已达到了它们的使用年限。
软件失效：系统软件失效可能是由于规格说明，设计和实现中的错误。
操作事务：系统的操作人员未按照预期正确地使用系统。

9.5可依赖性属性（Dependablity Property）

1）计算机系统地可依赖性是衡量其可信赖度（trustworthiness）的性能指标：

2）可依赖性包含的五个维度

可用性（availability）：系统在任何时间都能运行并能够提供有用的服务
可靠性（reliability）：系统的可靠性是系统在给定的时段内能够正确提供用户希望的服务的可能性
安全性（safety）：系统的安全性是判断系统将会对人和系统的环境造成伤害的可能性（不会对人/物造成伤害）
信息安全性（security）：系统的信息安全性是判断系统能否抵御意外或者蓄意的入侵的可能性(鲁棒性)
韧性（resilience）：系统的韧性是指当出现一些干扰性事件的时候（比如，设备故障或者恶意攻击）系统保持其关键服务继续正常运行的可能性。（遭到破坏或攻击后的恢复能力）

3）还有三个属性与可依赖性有关

可维修性（Repairability）
可维护性（Maintainablity）
容错（Error tolerance）

4)成本和可依赖性的关系

如果可依赖性低，通过好的软工方法可以大大提高软件质量，但在好的措施的基础上，改进的效益低。
如果软件的可依赖性变得更高，这急剧增加了高可用性系统的成本

9.6社会技术系统（Sociotechnical systems）

1）什么是社会技术系统

将技术系统与社会系统相结合的概念。这个概念强调在设计和实施技术解决方案时，必须同时考虑技术因素和人类因素，以及它们之间的相互作用。社会技术系统理论认为，技术系统和人类系统是相互依赖的，它们共同构成了一个整体，影响着组织的效率、生产力和员工的满意度。

2）社会技术系统在软件工程中的应用

在软件工程实践中，社会技术系统理论指导开发者和组织在设计和实施软件系统时，不仅要关注技术实现，还要考虑如何通过技术来支持和改进工作流程、提高员工的工作效率和满意度、以及如何适应组织的业务目标和文化。

3）一个简单的例子

例如，在开发一个企业资源规划（ERP）系统时，不仅要考虑软件的功能性、性能和安全性，还要考虑如何通过系统来优化业务流程、提高决策效率、以及如何培训员工使用新系统。

9.7冗余和多样性（Redundancy and Diversity）

1）什么是冗余（Redundancy）

在软件工程和计算机科学中指的是系统中存在多余或重复的组件、数据或功能，这些组件、数据或功能在正常情况下可能不是必需的，但在系统出现故障或错误时可以提供额外的保护或恢复能力。冗余可以分为硬件冗余、软件冗余和数据冗余。
冗余主要是要保留多个版本

2）什么是多样性（Diversity）

多样性（Diversity）通常指的是尽量给保留的版本提供多样的形式（为软件的不同版本提供多种不同的配置、功能集、环境或部署选项。这种多样性有助于满足不同用户群体的需求，提高软件的适应性和灵活性。下面是一些具体例子来解释这个概念：）
给保留的版本提供不同的形式，提高不同的功能：比如高考的全国A卷，B卷还会有防止意外情况的备用卷，这就是多样性，给保留下的版本提供更多的形式。

3）什么时候使用冗余

在可用性（任何时间都可以提供服务）要求高的系统中，冗余的服务常常被使用。

4）什么时候使用多样性

在使用版本发布的系统中，对于新版本，提供多的形式

9.8QA:Quality Assurance(质量保证)

1）QA保证的是什么

QA不管你的结果是否正确，只是对过程进行规范，通过了QA才可以送去测试。

2）QA是完成实现阶段的标志

3）一个QA的例子

比如：A写了一个排序，QA不管是可以正确排序，只是对过程中的行为进行规范，只有通过了QA才可以送去测试

9.9QC:Quality Control

1）什么是QC

质量控制（QC）是软件开发过程中的一系列活动，旨在通过测试和检查来识别和修正软件中的缺陷。QC关注的是软件产品的质量，包括单元测试、集成测试、系统测试、验收测试等。QC的目标是确保软件产品满足用户需求和质量标准。

9.10RTM(RTraceability Matrix)需求跟踪矩阵

9.11什么标志着需求分析的结束

通过需求评审。

[软件工程]九.可依赖系统(Dependable Systems)

9.1什么是系统的可靠性（reliability） 系统的可靠性反映了用户对系统的信任程度。它反映了用户对其能够按照预期运行且正常使用中不会失效的信心程度。 9.2什么是可依赖性（dependablity）的目的其目的是覆盖系统的可用性&#x…...

编程日记 2025/6/3 10:41:41

浏览器解析页面流程

从输入一个url到页面解析完成的流程 1. 网络进程 1. 获取url 浏览器首先判断输入的url是否有http缓存，如果有则直接从http缓存中读取数据并显示。如果没有，则进行下一步。进行DNS解析，获取域名对应的IP地址。 2.下载html文件浏览器根据I…...

编程日记 2025/6/3 20:25:18

鸿蒙实现视频播放功能

目录： 1、鸿蒙视频功能介绍2、AVPlayer组件实现视频播放2.1、播放功能的逻辑处理2.2、页面调用渲染2.3、缓存播放信息 3、video组件实现视频播放3.1、鸿蒙官网实现代码3.2、通过xml布局文件代码实现I. 创建项目II. 定义布局文件III. 实现音频和视频播放功能IV. 音频…...

编程日记 2025/6/3 16:48:17

RabbitMQ介绍及安装

文章目录一. MQ二. RabbitMQ三. RabbitMQ作用四. MQ产品对比五. 安装RabbitMQ1. 安装erlang2. 安装rabbitMQ3. 安装RabbitMQ管理界⾯4. 启动服务5. 访问界面6. 添加管理员用户7. 重新登录一. MQ MQ( Message queue ), 从字⾯意思上看, 本质是个队列, FIFO 先⼊先出&#xff…...

编程日记 2025/6/3 20:42:45

第五节、电机多段运动【51单片机-TB6600驱动器-步进电机教程】

摘要：本节介绍用控制步进电机三个主要参数角度、速度、方向，实现简单的步进电机多段控制一、目标功能输入多个目标角度，设定好步进电机速度，实现步进电机多段转动二、计算过程 2.1 速度计算根据第三节内容，定时器…...

编程日记 2025/6/2 20:03:04

docker run 设置启动命令

在使用 docker run 命令时，你可以通过指定启动命令来覆盖 Docker 镜像中的默认入口点或命令。具体来说，你可以通过以下两种方式来设置启动命令： 覆盖 CMD： 你可以通过在 docker run 命令的最后部分提供命令来覆盖镜像的默认 CMD 指…...

编程日记 2025/5/29 19:15:54

通过配置SS和GS两个标志位，实现扫描方向的切换。将lcd.c的REG_932X_Init函数进行部分修改。将LCD_WriteReg(R1, 0x0000);修改为LCD_WriteReg(R1,0x0100); 将LCD_WriteReg(R96, 0x2700); 修改为LCD_WriteReg(R96, 0xA700); void REG_932X_Init1(void) {LCD_Wr…...

编程日记 2025/5/29 21:48:05

SQLite 语法

SQLite 语法 SQLite 是一种轻量级的数据库管理系统，它遵循 SQL（结构化查询语言）标准。SQLite 的语法相对简单，易于学习和使用。本文将详细介绍 SQLite 的基本语法，包括数据库的创建、表的创建、数据的插入、查询、更新…...

编程日记 2025/6/3 23:45:48

ZLMediaKit+wvp (ffmpeg+obs)推拉流测试

这里使用了两种方式: ffmpeg命令和 OBS OBS推流在网上找了些基本没有说明白的, 在ZLMediaKit的issues中看到了一个好大哥的提问在此记录一下使用OBS推流，rtmp，报鉴权失败推流 1. ffmpeg命令推流官方说明文档地址: 推流规则 rtsp://192.168.1.4:10554…...

编程日记 2025/5/29 13:02:39

【开源免费】基于SpringBoot+Vue.JS高校学科竞赛平台（JAVA毕业设计）

博主说明：本文项目编号 T 075 ，文末自助获取源码 \color{red}{T075，文末自助获取源码} T075，文末自助获取源码目录一、系统介绍二、演示录屏三、启动教程四、功能截图五、文案资料5.1 选题背景5.2 国内外研究现状5.3 可行性分析…...

编程日记 2025/6/3 22:13:20

lvgl9 Line(lv_line) 控件使用指南

文章目录前言主体1. **Line 控件概述**2. **使用场景**3. **控件的样式**4. **设置点**5. **自动大小**6. **y 坐标反转**7. **事件处理**8. **示例代码** 总结前言在图形界面设计中，直线绘制是非常常见且重要的功能之一，尤其是在需要进行图形表示、…...

编程日记 2025/6/3 1:26:19

EasyAnimateV5 视频生成大模型原理详解与模型使用

在数字内容创作中，视频扮演的角色日益重要。然而，创作高质量视频通常耗时且昂贵。EasyAnimate 系列旨在利用人工智能技术简化这一过程。EasyAnimateV5 建立在其前代版本的基础之上，不仅在质量上有所提升，还在多模态数据处理和跨语…...

编程日记 2025/6/4 5:25:55

【Copilot 】TAB keybinding not working on JetBrains Client

pycharm ssh 远程到ubuntu24.04 发现tab就是tab，无法输出copilot给出的自动补全到便捷器里。禁用host的copilot插件，重新启动ide就好了。解决办法参考大神的办法删除主机和客户端插件中的 Copilot插件。仅在客户端中重新安装 Copilot 插件。我只是禁用也可以对比了键盘映…...

编程日记 2025/6/3 16:17:20

leetcode刷题——二叉树（1）

目录 1、递归遍历二叉树 2、迭代法遍历二叉树（通过while循环） 3、二叉树的层序遍历 4、二叉树的层次遍历 II 5、二叉树的右视图 6、二叉树的层平均值 7、N叉树的层序遍历 8、在每个树行中找最大值 9、填充每个节点的下一个右侧节点指针 10、填…...

编程日记 2025/5/28 5:27:51

HTML5教程-表格宽度设置，最大宽度，自动宽度

HTML表格宽度参考：html table width HTML表格是网页设计中常用的元素之一，可以用来展示数据、创建布局等。表格的宽度是一个重要的参数，可以通过不同的方式来设置表格的宽度，本文将详细介绍HTML表格宽度的不同设置方式和示例代…...

编程日记 2025/6/4 13:06:07

【计算机网络】 —— 数据链路层（壹）

文章目录前言一、概述 1. 基本概念 2. 数据链路层的三个主要问题二、封装成帧 1. 概念 2. 帧头、帧尾的作用 3. 透明传输 4. 提高效率三、差错检测 1. 概念 2. 奇偶校验 3. 循环冗余校验CRC 1. 步骤 2. 生成多项式 3. 例题 4. 总结四、可靠传输 1. 基本…...

编程日记 2025/6/1 7:12:45

力扣-图论-4【算法学习day.54】

前言 ###我做这类文章一个重要的目的还是给正在学习的大家提供方向和记录学习过程（例如想要掌握基础用法，该刷哪些题？）我的解析也不会做的非常详细，只会提供思路和一些关键点，力扣上的大佬们的题解质量是非…...

编程日记 2025/5/28 17:38:07

WiFi受限不再愁，电脑无网络快速修复指南

有时在试图连接WiFi时，会发现网络连接受限，或无法正常访问互联网。这种情况不仅影响了工作效率，还可能错过重要的信息。那么，究竟是什么原因导致了电脑WiFi连接受限呢？又该如何解决这一问题呢？小A今天就来教…...

编程日记 2025/6/2 17:45:52

《Java异常处理》

目录一、异常的概念与分类二、异常处理机制三、异常的抛出四、自定义异常五、异常处理的最佳实践在 Java 编程中，异常处理是保障程序健壮性和稳定性的关键环节。有效地处理异常能够避免程序因错误而崩溃，同时提供友好的错误提示信息&#xff…...

编程日记 2025/6/3 10:41:30

清风数学建模学习笔记——Topsis法

数模评价类（2）——Topsis法概述 Topsis:Technique for Order Preference by Similarity to Ideal Solution 也称优劣解距离法，该方法的基本思想是，通过计算每个备选方案与理想解和负理想解之间的距离，从而评估每个…...

编程日记 2025/6/4 16:31:10

JVM 面试题

Java 虚拟机（JVM）是运行 Java 程序的引擎，它是 Java 语言 “一次编译，处处运行” 的核心技术。JVM 的主要任务是将 Java 字节码（Bytecode）解释成机器码并执行，负责内存管理、线程管理、垃圾回收…...

编程日记 2025/6/4 4:12:40

C语言蓝桥杯2023年省赛真题

文章目录持续更新中...第一题题目描述输入格式输出格式样例输出提示 2 第二题题目描述第三题题目描述输入格式输出格式样例输入样例输出第四题题目描述输入格式输出格式样例输入样例输出提示第四题题目描述输入格式输出格式样例输入样例输出提示第五题题目描述输入格式输出…...

编程日记 2025/6/2 4:31:39

Flume基础概念

目录作用组件构成ClientFlowAgentSourceSinkEvent 和Log4j的区别与定位事务传出流程输入到sourcesource端输入Channel 接收输入到SinkSink输出作用 Flume可以从各种来源（如日志文件、消息队列、网络数据、文件系统、数据库等）收集数据，并将…...

编程日记 2025/6/2 23:36:24

哈希处理海量数据

接下来我们将以问题的形式来介绍如何用hash处理海量数据。 1.问题1 （位图） 给定100亿个整数，设计算法找到只出现一次的。 1.1问题分析 100亿个整数，一个整数占用4byte，那么就需要约40G左右的空间来存储。显然常见的…...

编程日记 2025/6/1 6:09:45

Go语言基础教程1

Go语言基础教程目录变量声明与使用基本数据类型常量切片操作字符串处理指针格式化输出参数一、变量声明 1.1 基本变量声明 // 标准声明 var variableName variableType// 示例 var age int var name string1.2 变量声明与初始化 // 显式类型声明 var age int 30// 类…...

编程日记 2025/6/3 13:44:08

【每日一道面试题】for与foreach的区别（2024/12/6)

目录 foreach的特点遍历时删除时 foreach 和 for循环遍历数组的差别关于 foreach 和 for 循环的效率问题首先我们要对foreach有个基本的了解，才能对它们进行区别 foreach的特点遍历时用foreach循环去遍历一个数组， 用foreach循环去遍历一个集合&…...

编程日记 2025/6/3 19:08:41

解密时序数据库的未来：TDengine Open Day技术沙龙精彩回顾

在数字化时代，开源已成为推动技术创新和知识共享的核心力量，尤其在数据领域，开源技术的涌现不仅促进了行业的快速发展，也让更多的开发者和技术爱好者得以参与其中。随着物联网、工业互联网等技术的广泛应用，时序数据库…...

编程日记 2025/6/1 12:37:21

React第十一节组件之间通讯之发布订阅模式（自定义发布订阅器）

组件之间通讯常用方案 1、通过props 2、通过context 3、通过发布订阅模式 4、通过Redux 后面会有专栏介绍什么情况下使用发布订阅模式 a、当我们想要兄弟组件之间通讯，而共同的父组件中又用不到这些数据时候； b、当多个毫无相关的组件之间想要进行数据…...

编程日记 2025/6/3 19:25:03

Vue 2与Vue 3项目中的屏幕缩放适配：使用vue2-scale-box和vue3-scale-box

🌟 前言欢迎来到我的技术小宇宙！🌌 这里不仅是我记录技术点滴的后花园，也是我分享学习心得和项目经验的乐园。📚 无论你是技术小白还是资深大牛，这里总有一些内容能触动你的好奇心。🔍 &#x…...

编程日记 2025/6/4 10:48:58

Brain.js（九）：LSTMTimeStep 实战教程 - 未来短期内的股市指数预测 - 实操要谨慎

系列的前一文RNNTimeStep 实战教程 - 股票价格预测讲述了如何使用RNN时间序列预测实时的股价， 在这一节中，我们将深入学习如何利用 JavaScript 在浏览器环境下使用 LSTMTimeStep 进行股市指数的短期预测。通过本次实战教程，你将了解到如何用…...

编程日记 2025/6/4 14:42:50

云计算考试题

1、与SaaS不同的，这种“云”计算形式把开发环境或者运行平台也作为一种服务给用户提供。(B) A、软件即服务 B、基于平台服务 C、基于WEB服务 D、基于管理服务 2、云计算是对（D）技术的发展与运用 A、并行计算 B、网格计算 C、分布式计算 D、三个选项都是 3、Amazon.com公司…...

编程日记 2025/5/28 5:31:50

【设计模式】装饰器模式在java中的应用

文章目录 1. 引言装饰器模式的定义与设计目的装饰器模式与其他设计模式的比较 2. 装饰器模式的结构组件接口（Component）具体组件（ConcreteComponent）装饰角色（Decorator）具体装饰类（ConcreteDec…...

编程日记 2025/6/3 1:32:16

【kafka】生产者的同步发送和异步发送

Kafka 的生产者端提供了同步发送和异步发送两种方式，适合不同的使用场景和性能需求。以下是两种发送模式的详细讲解： 同步发送概念同步发送是指生产者在发送一条消息后，会阻塞当前线程，等待 Kafka 返回发送结果（…...

编程日记 2025/5/31 1:04:05

8. Debian系统中显示屏免密码自动登录

本文介绍如何在Debian系统上，启动后，自动免密登录，不卡在登录界面。 1. 修改lightDM配置文件嵌入式Debian系统采用lightDM显示管理器，所以，一般需要修改它的配置文件/etc/lightdm/lightdm.conf，找到[Seat…...

编程日记 2025/6/2 10:17:25

SpringBoot 开源停车场管理收费系统

一、下载项目文件下载源码项目文件口令： 【前端小程序地址】(3.0)：伏脂火器白泽知洞座/~6f8d356LNL~:/【后台管理地址】(3.0)：伏脂火器仇恨篆洞座/~0f4a356Ks2~:/【岗亭端地址】(3.0)：动作火器智汇堂多好/~dd69356K6r~:/复制口令…...

编程日记 2025/6/4 16:16:00

QT的ui界面显示不全问题（适应高分辨率屏幕）

//自动适应高分辨率 QCoreApplication::setAttribute(Qt::AA_EnableHighDpiScaling);一、问题电脑分辨率高，默认情况下，打开QT的ui界面，显示不全按钮内容二、解决方案如果自己的电脑分辨率较高，可以尝试以下方案：自…...

编程日记 2025/6/3 20:26:51

双向链表的模拟实现 —— LinkedList

MyLinkedList类 public class MyLinkedList {// 定义节点类static class Node {int val;Node prev;Node next;public Node() {}public Node(int val) {this.val val;}}// 定义头节点private Node head;// 定义尾结点private Node tail;// 头插public void headInsert(int val…...

编程日记 2025/6/1 19:40:14

速盾：高防cdn预热指定url就只刷新这个吗？

高防CDN预热是指在网站上线或更新之前，将网站内容缓存到CDN节点服务器上，以提高用户访问网站的速度和稳定性。通常，预热可以通过指定URL来进行，而不是刷新整个网站。预热指定URL的好处是可以选择性地进行缓存刷新，而…...

编程日记 2025/6/2 6:38:05

JDK21新特性

目录虚拟线程（JEP 444）： 顺序集合（JEP 431）： 字符串模板（JEP 430）： 模式匹配的增强（JEP 440、441以及443）： 结构化并发和作用域值…...

编程日记 2025/6/3 22:15:41

json学习

JSON（JavaScript Object Notation）是一种轻量级的数据交换格式，易于人阅读和编写，也易于机器解析和生成。它通常用于在服务器和客户端之间交换数据，特别是在 Web 应用中。 JSON 格式基于 JavaScript 对象表示法&#…...

编程日记 2025/6/2 10:12:02

005-mysql常用的名称

语言分类 DDL ：数据定义语言 1、线上DDL语句在对表操作，是要锁元数据表的，此时所有的修改类的命令无法正常运行。 2、对大表在高峰期进行DDL操作，可以使用工具：pt-online-schema-change gh-ost 工具（8.0以…...

编程日记 2025/5/30 18:05:41

PostgreSQL和MySQL区别

PostgreSQL 和 MySQL 有以下一些主要区别： 一、功能特性 1. 数据类型支持 - PostgreSQL：支持丰富的数据类型，包括数组、JSON、JSONB、hstore（键值对存储）、范围类型等。例如，可以直接在数据库中存储和查…...

编程日记 2025/6/4 1:19:01

Android笔记(三十四)：onCreate执行Handler.post在onResume后才能执行？

背景偶然发现一个点，就是在onCreate执行Handler.post在onResume后才执行，以下是测试代码多次运行的结果一致，为什么execute runnable不是在onCreate和onResume之间执行的呢，带着疑问撸了一遍Activity启动流程关键源码分析 …...

编程日记 2025/5/30 2:11:53

动手学深度学习d2l包M4芯片 gpu加速

conda创建环境 CONDA_SUBDIRosx-arm64 conda create -n ml python3.9 -c conda-forge conda env config vars set CONDA_SUBDIRosx-arm64 conda activate mlpip安装包 pip install --pre torch torchvision torchaudio --extra-index-url https://download.pytorch.org/whl/n…...

编程日记 2025/6/3 8:35:33