软考 系统架构设计师系列知识点之净室软件工程（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 …...
MySQL - InnoDB 的事务支持、锁机制
InnoDB 存储引擎实现了强大的事务支持和锁机制： 事务原理： ACID 属性：InnoDB 支持 ACID（原子性、一致性、隔离性、持久性）属性，确保数据的一致性和可靠性。事务是一组 SQL 操作，要么全部执行&…...
Android Studio的笔记--Module新建和使用
Module新建和使用 新建module使用module android studio 中module的建立和使用。比如修改工程为module的步骤，引用module的步骤。 新建module 1、新建android工程，New Project.包名为com.lxh.serialport 2、修改工程为module。 2.1、在app下的build.pro…...
Git统计个人提交代码行数
目录 一、git bash打开二、查看个人提交的代码行数统计三、查看项目每个人提交的代码行数统计四、查询所有用户的提交总次数五、统计用户一段时间内的提交代码量 在实际开发中，常常会想查看自己对于某个项目的贡献，管理者会查看项目下各成员的贡献&#…...
Collction的List方法,list特有方法,遍历方式,迭代器选择
[to] list特有方法 //插入指定元素//list.add(1,"ddd");//System.out.println(list);//[aaa, ddd, bbb, ccc]//这个表示在一索引的位置插入ddd//他会把原来一索引位置的元素往后移动一位在添加//删除指定元素//String remove list.remove(1);//System.out.println(…...
奇偶校验码和循环冗余码
在数据链路层的传输中，1可能变成0，0可能变成1，这是比特差错。 为了应对比特差错，有两种方式，即自动重传请求ARQ（Automatic Repeat-reQuest）和前向纠错FEC（Forward Error Correction&…...
Recommender System复习（考试向）
Recommender System Review OverviewCollaborative Filtering基于用户的CF（User CF）基于物品的CF（Item CF）Similarity CalculationBias in CF Evaluation of Recommender SystemFactorization MachinesLatent factor modelLFM算法…...
SpringBoot绑定配置文件中变量的四种方式-解析
当在Spring Boot中需要绑定配置文件中的变量时，可以使用以下注解： PropertySource：用于指定要加载的属性文件。可以将该注解放置在Configuration类上。 Configuration PropertySource("classpath:application.properties") public…...
linux 安装 elasticsearch 全教程
一、去 elasticsearch官网找到Linux版本的下载链接 地址https://www.elastic.co/cn/downloads/elasticsearch 二、在linux 中用wget下载 wget https://artifacts.elastic.co/downloads/elasticsearch/elasticsearch-8.10.4-linux-x86_64.tar.gz三、下载成功后解压文件 tar -x…...
更快更准 | YOLOv3算法超详细解析（包括诞生背景+论文解析+技术原理等）
前言：Hello大家好，我是小哥谈。YOLOv3是一种基于深度学习的目标检测算法，它可以快速而准确地在图像中检测出多个目标。它是由Joseph Redmon和Ali Farhadi在2018年提出的，是YOLO（You Only Look Once）系列算法…...
【ChatGPT】教我 Flyweight(享元) 模式
文章目录 设计模式中 Flyweight 模式，实际应用场景有哪些？我需要画很多的树，以这个需求为例来教我 Flyweight 模式。好的，我大概明白了，我还有点疑惑，请问外在状态和内在状态是哪些？你可以讲一下…...