软考 系统架构设计师系列知识点之净室软件工程（3）
接前一篇文章：软考 系统架构设计师系列知识点之净室软件工程（2）
所属章节：
第5章. 软件工程基础知识
第5节. 净室软件工程
相关试题
1. 以下关于软件开发方法的叙述，错误的是（）。
A. 对于较为复杂的应用问题，适合采用形式化方法进行需求分析
B. 形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现
C. 净室软件工程将正确性验证作为发现和排除错误的主要机制
D. 净室软件工程强调统计质量控制技术，包括客户对软件使用预期的测试
正确答案：A。
解析：
软件开发方法是指软件开发过程所遵循的办法和步骤，从不同的角度可以对软件开发方法进行不同的分类。
形式化方法是一种具有坚实数学基础的方法，从而允许对系统和开发过程做严格处理和论证，适用于那些系统安全级别要求极高的软件的开发。形式化方法的主要优越性在于它能够数学地表述和研究应用问题及软件实现。但是它要求开发人员具备良好的数学基础。用形式化语言书写的大型应用应用程序的软件规格说明往往过于细化，并且难以为用户和软件设计人员所理解。由于这些缺陷，形式化方法在目前的软件开发实践中并未得到普遍应用。
净室软件工程（Cleanroom Software Engineering，CSE）是软件开发的一种形式化方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并且将正确性验证作为发现和排除错误的主要机制，使用统计测试来获取认证软件可靠性所需的信息。CSE强调在规约和设计上的严格性，还强调统计质量控制技术，包括基于客户对软件的预期使用测试。
相关文章：
软考 系统架构设计师系列知识点之净室软件工程（3）
接前一篇文章：软考 系统架构设计师系列知识点之净室软件工程（2） 所属章节： 第5章. 软件工程基础知识 第5节. 净室软件工程 相关试题 1. 以下关于软件开发方法的叙述，错误的是（）。 A. 对于较为…...
『VUE H5页面 - PDF预览』
使用依赖：vue-pdf实现需求：将 PDF url 地址 转换为本地页面预览 <template><div class"pdf-preview"><NavBar /><div class"container"><VuePdf v-for"i in numPages" :key"i" cla…...
使用lua-resty-request库编写爬虫IP实现数据抓取
目录 一、lua-resty-request库介绍 二、使用lua-resty-request库进行IP数据抓取 1、获取IP地址 2、设置请求 3、处理数据 三、代码实现 四、注意事项 五、总结 本文将深入探讨如何使用lua-resty-request库在爬虫程序中实现IP数据抓取。我们将首先介绍lua-resty-request…...
vue-admin-templete项目配置在手机上预览
参考文档： https://blog.csdn.net/qq_29752857/article/details/109802801想要在手机上预览本地打开的vue-admin-templete项目，首先要确保手机和电脑在同一网段。 参考文档：https://blog.csdn.net/m0_57236802/article/details/1315234471.查…...
服务号升级订阅号的流程
服务号和订阅号有什么区别？服务号转为订阅号有哪些作用？首先我们要知道服务号和订阅号有什么区别。服务号侧重于对用户进行服务，每月可推送4次，每次最多8篇文章，发送的消息直接显示在好友列表中。订阅号更侧重于信息传…...
redhat7.4 安装lnmp操作环境
PacVim安装 https://baijiahao.baidu.com/s?id1601033830453371540&wfrspider&forpc 安装php https://www.cnblogs.com/alliancehacker/p/12255445.html https://blog.csdn.net/weixin_39709920/article/details/104274545 安装mysql https://www.cnblogs.com/laumian…...
Java判断是否有特殊字符串
//特殊字符串过滤private static String REGEX_RULE "[ _~!#$%^&*()|{}:;,\\[\\].<>/?~！#￥%……&*（）——|{}【】‘；：\"”“’。，、？]|\n|\r|\t";pri…...
服务器搭建：从零开始创建自己的Spring Boot应用【含登录、注册功能】
当然，你可以先按照IDEA搭建SSM框架【配置类、新手向】完成基础框架的搭建 步骤 1：设计并实现服务器端的用户数据库 在这个示例中，我们将使用MySQL数据库。首先，你需要安装MySQL并创建一个数据库以存储用户信息。以下是一些基本步…...
家用小型洗衣机哪款性价比高？公认好用四款内衣洗衣机推荐
小型的内衣洗衣机由于体积小巧，而且实用，非常适合没有太多空闲时间的上班族以及小型住户的使用。想要挑选到一款能够满足每日清洗需要，同时拥有便携与高效率的小型内衣洗衣机，也许会让你选择得有些烦恼。我们为大家挑选了一些性价…...
Sui zkSend，创建链接可直接发送SUI，快来体验吧
基于zkLogin和Sui的本机密码学构建，zkSend允许用户创建包含特定数量SUI的链接。该链接可以通过任何消息客户端发送，例如电子邮件和直接消息，甚至可以在媒体上转换成QR码。 使用zkSend发送SUI比复制和粘贴钱包地址，然后授权token转…...
SQL面试
#(1)请写出要查询员工J开头的名字其工号(EMPNO)及部门名称(DEPTNA)的 SQL语句SELECT e.emp,e.name,d.deptna FROM emp e left join dept d on d.deptno e.deptno where e.name like J%#(2)请写出要查询 Kevin 所在部门的部门代号(DEPTNO)及部门名称(DEPTNA)的 SQL 语句SELECT e…...
Elasticsearch（一）---介绍
简介 Elasticsearch是一个基于Lucene的实际的分布式搜索和分析引擎。设计用于云计算中，能够达到近实时搜索，稳定，可靠，快速，安装使用方便。基于RESTful接口。 官网地址：Elasticsearch 平台 — 大规模查找…...
Vscode LinuxC++环境配置
C环境配置 文章目录 C环境配置一、Visual Studio Code相关信息二、Python开发环境配置三、C 开发环境配置四、第一个C程序五、附录：vs code 中变量解释 一、Visual Studio Code相关信息 Visual Studio Code 下载地址：https://code.visualstudio.com/dow…...
【tensorboard打开失败】No dashboards are active for the current data set.
这里我再跟视频学的时候，找了很多的指令，说是对应版本不一样，但是发现用了很多指令都可以弹出来跳转的url，那应该就不是输入指令的问题 直到我想把logs里面的文件删掉重新跑的时候，我突然注意到这里有中文字符…...
客服管理者如何调动客服人员的积极性？
客户是企业的财富，良好的客户服务体验可以有效地促进企业的销售和声誉，因此，客服工作显得尤为重要。而客服人员的积极性直接影响了整个客服部门的质量和效率。如何调动客服人员的积极性，成为了每个客服管理者都需要面对的难题。本…...
Jenkins自动化部署简单配置
下载安装jenkins 安装Jenkins步骤 点击Next的时候会有jdk版本跟Jenkins版本不符合的情况 1. 看下任务管理器内Jenkins服务是否启动，在浏览器里面输入localhost:2023（端口号是安装时输入的） 2. 根据路径找到放置密码的文件（C…...
Linux————内置命令大全
（一）内置命令 Shell 内置命令，就是由 Bash Shell 自身提供的命令，而不是文件系统中的可执行脚本文件。内置命令的执行速度通常优于外部命令，因为执行外部命令不仅会导致磁盘I/O操作，而且还需要为其fork一个…...
从用户角度出发，如何优化大数据可视化体验｜北京蓝蓝UI设计公司
作者：蓝蓝设计-鹤鹤 大数据已经成为人们探索世界的新工具。但是，对于普通用户而言，大数据往往比较抽象和难以理解，因此，大数据可视化作为一种非常有效的工具工具被广泛应用。然而，在实际应用中，…...
【vue】封装树形下拉框组件 el-popover+el-tree+el-select
父组件使用 <template><div>{{ array }} 更多属性详见wgyTreeSelect组件<wgyTreeSelectv-model"array":list"list":multiple"true":disabled-ids"[111,113,2]"/></div> </template><script> /*…...
docker安装Kafka，SpringBoot整合Kafka
#拉取镜像 docker pull wurstmeister/zookeeper #运行容器 docker run --restartalways --name zookeeper -p 2181:2181 \ -v /etc/localtime:/etc/localtime -d wurstmeister/zookeeper#拉取镜像 docker pull wurstmeister/kafka#运行容器 docker run --restartalways --name …...
观成科技：隐蔽隧道工具Ligolo-ng加密流量分析
1.工具介绍 Ligolo-ng是一款由go编写的高效隧道工具，该工具基于TUN接口实现其功能，利用反向TCP/TLS连接建立一条隐蔽的通信信道，支持使用Let’s Encrypt自动生成证书。Ligolo-ng的通信隐蔽性体现在其支持多种连接方式，适应复杂网…...
K8S认证|CKS题库+答案| 11. AppArmor
目录 11. AppArmor 免费获取并激活 CKA_v1.31_模拟系统 题目 开始操作： 1）、切换集群 2）、切换节点 3）、切换到 apparmor 的目录 4）、执行 apparmor 策略模块 5）、修改 pod 文件 6）、…...
什么是EULA和DPA
文章目录 EULA（End User License Agreement）DPA（Data Protection Agreement）一、定义与背景二、核心内容三、法律效力与责任四、实际应用与意义 EULA（End User License Agreement） 定义： EULA即…...
Axios请求超时重发机制
Axios 超时重新请求实现方案 在 Axios 中实现超时重新请求可以通过以下几种方式： 1. 使用拦截器实现自动重试 import axios from axios;// 创建axios实例 const instance axios.create();// 设置超时时间 instance.defaults.timeout 5000;// 最大重试次数 cons…...
第 86 场周赛：矩阵中的幻方、钥匙和房间、将数组拆分成斐波那契序列、猜猜这个单词
Q1、[中等] 矩阵中的幻方 1、题目描述 3 x 3 的幻方是一个填充有 从 1 到 9 的不同数字的 3 x 3 矩阵，其中每行，每列以及两条对角线上的各数之和都相等。 给定一个由整数组成的row x col 的 grid，其中有多少个 3 3 的 “幻方” 子矩阵&am…...
力扣-35.搜索插入位置
题目描述 给定一个排序数组和一个目标值，在数组中找到目标值，并返回其索引。如果目标值不存在于数组中，返回它将会被按顺序插入的位置。 请必须使用时间复杂度为 O(log n) 的算法。 class Solution {public int searchInsert(int[] nums, …...
虚拟电厂发展三大趋势：市场化、技术主导、车网互联
市场化：从政策驱动到多元盈利 政策全面赋能 2025年4月，国家发改委、能源局发布《关于加快推进虚拟电厂发展的指导意见》，首次明确虚拟电厂为“独立市场主体”，提出硬性目标：2027年全国调节能力≥2000万千瓦࿰…...
: 一刀斩断视频片头广告)
快刀集(1): 一刀斩断视频片头广告
一刀流：用一个简单脚本，秒杀视频片头广告，还你清爽观影体验。 1. 引子 作为一个爱生活、爱学习、爱收藏高清资源的老码农，平时写代码之余看看电影、补补片，是再正常不过的事。 电影嘛，要沉浸，…...
【LeetCode】3309. 连接二进制表示可形成的最大数值（递归|回溯|位运算）
LeetCode 3309. 连接二进制表示可形成的最大数值（中等） 题目描述解题思路Java代码 题目描述 题目链接：LeetCode 3309. 连接二进制表示可形成的最大数值（中等） 给你一个长度为 3 的整数数组 nums。 现以某种顺序 连接…...
Python 高效图像帧提取与视频编码：实战指南
Python 高效图像帧提取与视频编码：实战指南 在音视频处理领域，图像帧提取与视频编码是基础但极具挑战性的任务。Python 结合强大的第三方库（如 OpenCV、FFmpeg、PyAV），可以高效处理视频流，实现快速帧提取、压缩编码等关键功能。本文将深入介绍如何优化这些流程，提高处理…...