软考 系统架构设计师系列知识点之净室软件工程（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的通信隐蔽性体现在其支持多种连接方式，适应复杂网…...
微信小程序之bind和catch
这两个呢，都是绑定事件用的，具体使用有些小区别。 官方文档： 事件冒泡处理不同 bind：绑定的事件会向上冒泡，即触发当前组件的事件后，还会继续触发父组件的相同事件。例如，有一个子视图绑定了b…...
【Oracle APEX开发小技巧12】
有如下需求： 有一个问题反馈页面，要实现在apex页面展示能直观看到反馈时间超过7天未处理的数据，方便管理员及时处理反馈。 我的方法：直接将逻辑写在SQL中，这样可以直接在页面展示 完整代码： SELECTSF.FE…...
Appium+python自动化（十六）- ADB命令
简介 Android 调试桥(adb)是多种用途的工具，该工具可以帮助你你管理设备或模拟器 的状态。 adb ( Android Debug Bridge)是一个通用命令行工具，其允许您与模拟器实例或连接的 Android 设备进行通信。它可为各种设备操作提供便利，如安装和调试…...
《从零掌握MIPI CSI-2: 协议精解与FPGA摄像头开发实战》-- CSI-2 协议详细解析 (一）
CSI-2 协议详细解析 (一） 1. CSI-2层定义（CSI-2 Layer Definitions） 分层结构 ：CSI-2协议分为6层： 物理层（PHY Layer） ： 定义电气特性、时钟机制和传输介质（导线&#…...
STM32标准库-DMA直接存储器存取
文章目录 一、DMA1.1简介1.2存储器映像1.3DMA框图1.4DMA基本结构1.5DMA请求1.6数据宽度与对齐1.7数据转运DMA1.8ADC扫描模式DMA 二、数据转运DMA2.1接线图2.2代码2.3相关API 一、DMA 1.1简介 DMA（Direct Memory Access）直接存储器存取 DMA可以提供外设…...
在鸿蒙HarmonyOS 5中使用DevEco Studio实现录音机应用
1. 项目配置与权限设置 1.1 配置module.json5 {"module": {"requestPermissions": [{"name": "ohos.permission.MICROPHONE","reason": "录音需要麦克风权限"},{"name": "ohos.permission.WRITE…...
论文笔记——相干体技术在裂缝预测中的应用研究
目录 相关地震知识补充地震数据的认识地震几何属性 相干体算法定义基本原理第一代相干体技术：基于互相关的相干体技术（Correlation）第二代相干体技术：基于相似的相干体技术（Semblance）基于多道相似的相干体…...
iview框架主题色的应用
1.下载 less要使用3.0.0以下的版本 npm install less2.7.3 npm install less-loader4.0.52./src/config/theme.js文件 module.exports {yellow: {theme-color: #FDCE04},blue: {theme-color: #547CE7} }在sass中使用theme配置的颜色主题，无需引入，直接可…...
MacOS下Homebrew国内镜像加速指南（2025最新国内镜像加速）
macos brew国内镜像加速方法 brew install 加速formula.jws.json下载慢加速 🍺 最新版brew安装慢到怀疑人生？别怕，教你轻松起飞！ 最近Homebrew更新至最新版，每次执行 brew 命令时都会自动从官方地址 https://formulae.…...