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

第三章 - 软件质量工程体系

1 概述

系统工程学的思想

系统工程学是为了研究多个子系统构成的整体系统所具有的多种不同目标的相互协调,以期系统功能的最优化、最大限度地发挥系统组成部分的能力而发展起来的一门科学。
在这里插入图片描述在这里插入图片描述

软件质量工程体系的建立

建立和实施质量管理体系的方法

  • 确定顾客和其他相关方的需求和期望;
  • 建立组织的质量方针和质量目标;
  • 确定实现质量目标必需的过程和职责;
  • 确定和提供实现质量目标必需的资源;
  • 规定测量每个过程的有效性和效率的方法;
  • 应用这些测量方法确定每个过程的有效性和效率;
  • 确定防止不合格并消除产生原因的措施;
  • 建立和应用持续改进质量管理体系的过程。

要将软件质量管理作为一个系统来管理,运用系统科学的方法,通过有关质量的各种信息反馈与调控,对软件质量进行全面、综合的系统性管理,包括软件质量计划、组织、协调、控制,以实现软件质量的目标。

软件质量工程体系的构成

在这里插入图片描述

2 软件质量因素和指标

软件质量指标

软件的 6 个品质要素

正确性:实现的功能达到设计规范,并满足用户需求的程度
可靠性:规定的时间和条件下,仍能维持其性能水准的程度
易用性:用户掌握软件操作所要付出的时间以及努力程度
效率:软件执行某项功能所需电脑资源(含时间)的有效程度
可维护性:当环境改变或软件发生错误时,执行修改或恢复所做努力的程度
可移植性:从一个(系统/环境)移到另一(系统/环境)的容易成程度。
在这里插入图片描述在这里插入图片描述
可移植性的质量指标:独立性、可重用性、互操作性、虚拟性、一般性。

软件质量因素

软件质量因素:影响软件质量特性或影响软件指标的参数。
分类:

  • 软件产品的质量因素
  • 软件过程的质量因素

软件产品的质量因素

在这里插入图片描述

软件过程的质量因素

1.项目计划过程:
和客户的沟通能力、软件产品特性定义的方法、项目计划策略、评审的流程、范围、方式和程度、协同工作流程、合同和用户管理流程和方法、文档编写、管理等的规范和流程
2.项目设计过程:
软件产品指标的定义和解释、设计流程、设计标准、协同工作流程、文档编写、管理等的规范和流程
3.项目实施过程:
变更控制流程、执行过程跟踪方法、流程和相适应的系统、缺陷处理流程、文档编写、管理等的规范和流程
4.软件维护过程:
变更控制流程、用户反馈、相应处理机制、回归测试流程
5.软件商业环境过程:
软件改进的策略、产品开发模式、市场定位、产品标准等

3 软件质量模型分析

软件质量模型

软件质量指标和软件质量因素的分析是为了建立软件模型
软件模型是描述他们之间的关系,分析软件质量因素究竟如何影响质量指标的,从而寻求最优的质量保证解决方案,最终达到软件质量目标。

1.McCall 软件质量模型 (GE模型, 1977)

11个指标构成,分为产品操作,产品修订和产品转移在这里插入图片描述

2.Boehm 模型 (1978)在这里插入图片描述

基于很多特性和标准

3.ISO简化的软件质量模型

包括6个质量目标,每个质量目标有很多属性
在这里插入图片描述
在这里插入图片描述

模型评价和分析

  1. 存在差别:
    软件质量特性、影响因素或质量指标的定义不完全一致;
  2. 思想接近:
    总体上要表达的思想非常接近;
  3. 目的相同:
    软件质量因素、准则和度量3者综合的软件质量结构模型;

ISO模型第一层(质量特性)和第二层(准则)的关系非常清楚,不像McCall模型和Boehm模型那样存在交叉关系。

4 软件质量工作层次

在质量控制、质量保证和质量管理之上是质量方针。
即在质量方针指导下,质量管理指挥和控制组织的质量活动,协调质量的各项工作,包括质量控制、质量保证和质量改进。

软件质量方针

Ø 由组织的最高管理者正式发布的、
Ø 该组织的质量宗旨、目标和质量方向,并形成文件。
Ø 质量方针是企业经营总方针的组成部分,
Ø 是企业管理者对质量的指导思想和承诺。
Ø 建立质量方针和质量目标为组织提供了关注的焦点,在一个质量管理体系中起着关键作用。
Ø 质量方针应体现软件公司的组织目标、顾客的期望/需求和组织内部质量行为的准则 。

软件质量控制

Ø 是一个设定标准(根据质量要求)、测量结果,判定是否达到了预期要求,对质量问题采取措施进行补救并防止再发生的过程
Ø 质量控制已不再仅仅是检验,而更多地倾向于确保生产出来的产品满足用户要求的过程控制。

软件质量保证

为保护产品和服务充分满足消费者要求的质量而进行的有计划有组织的活动,致力于提供对满足质量要求的信任。

对象

Ø 内部质量保证:组织向自己的管理者提供信任;
Ø 外部质量保证:组织向外部客户或其它方提供信任。

活动分类

Ø 复审
在软件生命周期的每个阶段结束之前,都用结束标准对该阶段生产出的软件配置成分进行严格的技术审查等活动;
Ø 内审
检查组织内部是否遵守已有的模板、规则、流程等。

软件质量管理

Ø 致力于增强满足质量要求的能力,是一个持续过程。
Ø 在质量改进工作中,有许多模型,包括IDEAL模型、六西格玛模型、PDCA模型、PEIS模型、CMM模型和SPICE模型等。

IDEAL 模型

初始化:为成功地改进质量工作奠定基础
诊断:确定现状与质量目标之间的差距
建立:计划如何达到质量目标
行动:更具计划开展质量工作
学习:从经验中学习,以提高在将来采用新技术的能力

六西格玛模型

Ø 在统计学中称为标准差,用来表示数据的分散程度。达到6西格玛的程度,就几近于完美地达成顾客要求,在一百万个机会里,只找得出3、4个瑕疪。
Ø 为了达到6西格玛,首先要制定标准,在管理中随时跟踪考核操作与标准的偏差,不断改进,最终达到6西格玛。
Ø 现己形成一套使每个环节不断改进的简单的流程模式:界定、测量、分析、改进、控制

质量改进步骤

Ø 界定
确定需要改进的目标及其进度,企业高层领导就是确定企业的策略目标,中层营运目标可能是提高制造部门的生产量,项目层的目标可能是减少次品和提高效率。 界定前,需要辨析并绘制出流程。
Ø 测量
以灵活有效的衡量标准测量和权衡现存的系统与数据,了解现有质量水平。
Ø 分析
利用统计学工具对整个系统进行分析,找到影响质量的少数几个关键因素。
Ø 改进
运用项目管理和其他管理工具,针对关键因素确立最佳改进方案。
Ø 控制
监控新的系统流程,采取措施以维持改进的结果,以期整个流程充分发挥功效。

5 软件质量成本

质量成本概念

质量成本是为确保和保证满意的质量而发生的费用以及没有达到满意的质量所造成损失的总和,即包括保证费用和损失费用。在这里插入图片描述
在这里插入图片描述

软件的劣质成本

在这里插入图片描述

6 软件质量标准和度量

软件质量标准体系介绍

Ø 标准体系空间

  • 纵向:分为产品和过程质量管理标准
  • 横向:分为通用和各个行业的质量标准
  • 范围:分为国际和国内标准

Ø 标准体系层次

  • 原理标准:描述各个原理级的关键组织标准。
  • 要素标准:原理标准中的各个要素的详细性能要求的标准,必须执行。
  • 指南和补充:为如何把原理或要素标准应用于特定场合而提供指导性的文件。

在这里插入图片描述

软件质量度量的地位

Ø 项目质量度量
度量软件项目特征和项目执行的质量状态,包括项目的资源使用效率、项目性能、项目风险等。
Ø 产品质量度量
度量软件产品的特性和质量属性,包括软件产品的功能、复杂性、设计特征、性能和可靠性等。
Ø 过程质量度量
度量软件开发和维护的改进过程,包括过程中某一时刻的状态(时间切面)、历史数据分析度量和未来变化预测的度量等。

采用定量软件工程,制定软件产品质量的度量准则,可以提高软件开发过程管理的可视性,降低劣质成本,提高软件产品的质量。

小结

  1. 现代软件质量工程体系继承了全面质量管理思想,要求组织中每个人都承担质量的责任,将质量控制、保证和改进的流程融于整个的软件开发生命周期;
  2. 软件质量工程体系,涵盖质量计划、质量风险管理、质量成本控制和质量计划的实施等内容。质量计划的制定又受质量文化影响、质量方针指导,通过对影响质量各种因素的分析,了解可能存在的质量风险,从而加以回避、控制。通过对软件产品、过程的测量和质量的度量,不断改进软件开发过程,以达到软件质量预先设定的目标 。

相关文章:

第三章 - 软件质量工程体系

1 概述 系统工程学的思想 系统工程学是为了研究多个子系统构成的整体系统所具有的多种不同目标的相互协调,以期系统功能的最优化、最大限度地发挥系统组成部分的能力而发展起来的一门科学。 软件质量工程体系的建立 建立和实施质量管理体系的方法 确定顾客和其…...

#基础Machine Learning 算法(上)

机器学习算法的分类 机器学习算法大致可以分为三类: 监督学习算法 (Supervised Algorithms):在监督学习训练过程中,可以由训练数据集学到或建立一个模式(函数 / learning model),并依此模式推测新的实例。…...

【YOLO11改进】改进Conv、颈部网络STFEN、以及引入PIOU用于小目标检测!

改进后的整体网络架构 改进一:RFD模块(Conv) YOLOv11模型的跨步卷积下采样虽然快速聚合了局部特征,并且实现了较高的计算效率,但其固有的信息压缩机制会导致细粒度特征的不可逆丢失。针对特征保留与计算效率的平衡问题,本文采用RFD模块替换跨步卷积下采样模块。RFD模块通…...

算法之上的权力——空域治理的政治哲学

当AI算法成为空域资源分配的核心机制,我们不得不直面一个核心问题:谁拥有算法,谁控制算法,谁审查算法?调度系统表面上是中立技术,实则承载了深刻的价值判断与权力结构。本章提出“算法即治理”命题&#xf…...

虚幻引擎作者采访

1万小时编程_哔哩哔哩_bilibili https://www.youtube.com/watch?v477qF6QNSvc 提姆斯温尼是一位传奇性的视频游戏程序员,Epic Games 的创始人兼首席执行官。 该公司开发了虚幻引擎、堡垒之夜、战争机器、虚幻竞技场等许多开创性和有影响力的视频游戏。 他哥哥…...

CodeBlocks25配置wxWidgets3.2

一、下载CodeBlocks 25.03版本 1.去Sourceforge.net Code::Blocks - Browse /Binaries/25.03/Windows at SourceForge.net 下载codeblocks-25.03mingw-nosetup.zip 2.解压到d盘,并把目录改为codeblocks 二、.下载wxWidgets 3.2.8 1. 去Sourceforge.net wxWidg…...

Python 整理3种查看神经网络结构的方法

1. 网络结构代码 import torch import torch.nn as nn# 定义Actor-Critic模型 class ActorCritic(nn.Module):def __init__(self, state_dim, action_dim):super(ActorCritic, self).__init__()self.actor nn.Sequential(# 全连接层,输入维度为 state_dim&#xf…...

【Bootstrap V4系列】学习入门教程之 组件-卡片(Card)

Bootstrap V4系列 学习入门教程之 组件-卡片(Card) 卡片(Card)一、Example二、Content types 内容类型2.1 Body 主体2.2 Titles, text, and links 标题、文本和链接2.3 Images 图片2.4 List groups 列表组2.5 Kitchen sink 洗涤槽…...

AI Agent开发第50课-机器学习的基础-线性回归如何应用在商业场景中

开篇 虽然我们这个系列主讲AI Agent,但是这个系列是一个喂饭式从0到深入的全AI类计算机教程系列,它主要面向的是培养出一个个AI时代的程序员,不是像外部那种很水的只是做做套壳、聊天、绘图小工具的急功近利式教学。而机器学习是现代AI的基础与基石,一些机器学习、深度学习…...

代码随想录第34天:动态规划7(打家劫舍问题:链式、环式、树式房屋)

一、背包问题小结 1.递推公式: 1.问能否能装满背包(或者最多装多少):dp[j] max(dp[j], dp[j - nums[i]] nums[i]) 2.问装满背包有几种方法:dp[j] dp[j - nums[i]] 3.问背包装满最大价值:dp[j] max…...

网络安全自动化:找准边界才能筑牢安全防线

数字时代,企业每天要面对成千上万的网络攻击。面对庞大的服务器群、分散的团队和长期不重启的设备,很多企业开始思考:哪些安全操作适合交给机器自动处理?哪些必须由人工把关?今天我们就用大白话聊聊这件事。 一、这些事…...

ctfshow——web入门361~368

最近练习ssti 当 Web 应用程序使用模板引擎动态生成 HTML 页面或其他类型的输出时,如果用户输入未经过充分验证或转义就被直接嵌入到模板中,就可能发生 SSTI 攻击。攻击者可以利用这个弱点注入恶意模板代码,该代码将在服务器端执行。 常见的…...

备忘录模式(Memento Pattern)

🧠 备忘录模式(Memento Pattern) 备忘录模式 是行为型设计模式之一。它通过将对象的状态存储在一个备忘录中,允许对象在不暴露其内部结构的情况下,保存和恢复自己的状态。该模式允许将对象的状态保存到备忘录中&#…...

五一假期作业

sub_process.c #include <stdio.h> // 标准输入输出库 #include <pthread.h> // POSIX线程库 #include <sys/ipc.h> // IPC基础定义&#xff08;如消息队列/共享内存&#xff09; #include <sys/msg.h> // 消息队列操作相关…...

Multi Agents Collaboration OS:专属多智能体构建—基于业务场景流程构建专属多智能体

背景 随着人工智能技术的飞速发展&#xff0c;大型语言模型&#xff08;LLM&#xff09;的能力不断突破&#xff0c;单一智能体的能力边界逐渐显现。为了应对日益复杂的现实世界任务&#xff0c;由多个具备不同能力、可以相互协作的智能体组成的多智能体系统 (Multi-Agent Sys…...

数据库的二级索引

二级索引 10.1 二级索引作为额外的键 表结构 正如第8章提到的&#xff0c;二级索引本质上是包含主键的额外键值对。每个索引通过B树中的键前缀来区分。 type TableDef struct {// 用户定义的部分Name stringTypes []uint32 // 列类型Cols []string // 列名Indexes …...

湖北理元理律师事务所:债务法律服务的民生价值重构

当前我国居民杠杆率达62.3%&#xff08;央行2023年数据&#xff09;&#xff0c;债务问题已从经济议题演变为社会议题。湖北理元理律师事务所通过构建覆盖咨询、备案、规划的全链条服务&#xff0c;试图在法律框架内探索债务危机的社会化解决方案。 民生导向的服务设计 1.阶梯…...

DotNetBrowser 3.2.0 版本发布啦!

包含来自 Chromium 135 的安全修复支持自定义用户代理客户端提示&#xff08;User Agent Client Hints&#xff09;在 Avalonia 离屏渲染模式中支持拖放&#xff08;Drag & Drop&#xff09;功能 &#x1f517; 点击此处了解更多详情。 &#x1f193; 免费试用 30 天。...

PyTorch 张量与自动微分操作

笔记 1 张量索引操作 import torch ​ # 下标从左到右从0开始(0->第一个值), 从右到左从-1开始 # data[行下标, 列下标] # data[0轴下标, 1轴下标, 2轴下标] ​ def dm01():# 创建张量torch.manual_seed(0)data torch.randint(low0, high10, size(4, 5))print(data->,…...

C语言数据在内存中的存储详解

在 C 语言的编程世界里&#xff0c;理解数据在内存中的存储方式是非常重要的&#xff0c;它能帮助我们更好地掌握数据类型、内存管理和程序性能优化等内容。今天&#xff0c;我就来给大家详细讲解数据在内存中的存储&#xff0c;包括整数、大小端字节序和浮点数的存储方式&…...

【AI大模型】SpringBoot整合Spring AI 核心组件使用详解

目录 一、前言 二、Spring AI介绍 2.1 Spring AI介绍 2.2 Spring AI主要特点 2.3 Spring AI核心组件 2.4 Spring AI应用场景 2.5 Spring AI优势 2.5.1 与 Spring 生态无缝集成 2.5.2 模块化设计 2.5.3 简化 AI 集成 2.5.4 支持云原生和分布式计算 2.5.5 安全性保障…...

linux-文件操作

在 Linux 系统中&#xff0c;文件操作与管理是日常使用和系统管理的重要组成部分。下面将详细介绍文件的复制、移动、链接创建&#xff0c;以及文件查找、文本处理、排序、权限管理等相关知识。 一、文件的复制 在 Linux 里&#xff0c;cp 命令可用于复制文件或目录&#xff…...

丢失的数字 --- 位运算

目录 一&#xff1a;题目 二&#xff1a;算法原理 三&#xff1a;代码实现 一&#xff1a;题目 题目链接&#xff1a; 268. 丢失的数字 - 力扣&#xff08;LeetCode&#xff09; 二&#xff1a;算法原理 三&#xff1a;代码实现 class Solution { public:int missingNumb…...

从Rtos到Linux:学习的策略

这里目的只是为了学习&#xff0c;哪天工作需要用上了能更顺利的上手&#xff0c;写文章的目的是为了记录和便于查询。工作的前两年主要是以mcu裸机为主&#xff0c;目的是压缩资源以最少的ram和flash实现最多的功能&#xff0c;后来五年做的东西越来越复杂的跑的rtos&#xff…...

BUUCTF——Mark loves cat

BUUCTF——Mark loves cat 进入靶场 简单的看了一下功能点 扫一下目录吧 扫目录发现一个.git 下一下源码看看 找到个flag.php和index.php <?php$flag file_get_contents(/flag);再看看index.php&#xff08;代码有点长&#xff0c;所以只留了后面有用的&#xff09; &…...

C/C++滑动窗口算法深度解析与实战指南

C/C滑动窗口算法深度解析与实战指南 引言 滑动窗口算法是解决数组/字符串连续子序列问题的利器&#xff0c;通过动态调整窗口边界&#xff0c;将暴力解法的O(n)时间复杂度优化至O(n)。本文将系统讲解滑动窗口的核心原理、C/C实现技巧及经典应用场景&#xff0c;助您掌握这一高…...

Webug4.0靶场通关笔记15- 第19关文件上传(畸形文件)

目录 第19关 文件上传(畸形文件) 1.打开靶场 2.源码分析 &#xff08;1&#xff09;客户端源码 &#xff08;2&#xff09;服务器源码 3.渗透实战 &#xff08;1&#xff09;构造脚本 &#xff08;2&#xff09;双写绕过 &#xff08;3&#xff09;访问脚本 本文通过《…...

黑马点评大总结

8.2.1 短信登录 首先是用户提交手机号&#xff0c;后端将生成的验证码以及用户信息存入session中&#xff0c;用户登录时进行拦截并从session中拿出来信息校验&#xff0c;并把用户信息存入ThreadLocal中session共享问题&#xff1a;每个tomcat有自己的一份session&#xff0c…...

LeetCode:返回倒数第k个结点

1、题目描述 实现一种算法&#xff0c;找出单向链表中倒数第 k 个节点。返回该节点的值。 注意&#xff1a;本题相对原题稍作改动 示例&#xff1a; 输入&#xff1a; 1->2->3->4->5 和 k 2 输出&#xff1a; 4 说明&#xff1a; 给定的 k 保证是有效的。 2、…...

zotero pdf中英翻译插件使用

最近发现一个pdf中英翻译的神器zotero-pdf2zh&#xff0c;按照官方安装教程走一遍的时候&#xff0c;发现一些流程不清楚的问题&#xff0c; 此文就是整理一些安装需要的文件以及遇到的问题&#xff1a; 相关文件下载地址 Zotero 是一款免费的、开源的文献管理工具&#xff0…...

Java后端程序员学习前端之CSS

什么是css Cascading Style Sheet 层叠级联样式表 表现 (美化网页) 字体&#xff0c;颜色&#xff0c;边距&#xff0c;高度&#xff0c;宽度&#xff0c;背景图片&#xff0c;网页定位&#xff0c;网页浮动.. 发展史 CSS1.0 CSS2.0 DIV(块)CSS&#xff0c;HTML与CSS结构分离…...

MySQL——数据库基础操作

学习MySQL之前&#xff0c;要先配置好相关环境与软件下载&#xff0c;怎么就不展开了&#xff1a;找找网上对应环境下的教程即可 目录 数据库与MySQL 案例使用 MySQL架构 SQL指令分类 储存引擎 库操作 创建数据库 编码集与校验规则 校验规则的影响 删除数据库 数…...

[低代码 + AI] 明道云与 Dify 的三种融合实践方式详解

随着低代码平台和大语言模型工具的不断发展,将企业数据与智能交互能力融合,成为提高办公效率与自动化水平的关键一步。明道云作为一款成熟的低代码平台,Dify 则是一个支持自定义工作流的开源 LLM 应用框架。两者结合,可以实现灵活、高效的智能化业务处理。 本文将详解明道…...

湖北理元理律师事务所:规模化债事服务的探索与实践

在个人债务问题日益普遍化的当下&#xff0c;如何通过合法、系统化的服务帮助债务人化解危机&#xff0c;成为法律服务业的重要课题。湖北理元理律师事务所作为经国家司法局批准设立的债事服务机构&#xff0c;其构建的“法律技术金融”服务模式&#xff0c;为债务优化领域提供…...

MySQL JOIN详解:掌握数据关联的核心技能

一、为什么需要JOIN&#xff1f; 在关系型数据库中&#xff0c;数据通常被拆分到不同的表中以提高存储效率。当我们需要从多个表中组合数据时&#xff0c;JOIN操作就成为了最关键的技能。通过本文&#xff0c;您将全面掌握MySQL中7种JOIN操作&#xff0c;并学会如何在实际场景中…...

深入浅出数据库规范化的三大范式

数据库的“成长之路”&#xff1a;从1NF到3NF的规范化进化 在数据库的世界里&#xff0c;关系模式就像一个“孩子”&#xff0c;需要一步步学习“规矩”&#xff0c;才能健康成长。今天&#xff0c;我们就来聊聊数据库的规范化历程——从第一范式&#xff08;1NF&#xff09;出…...

精益数据分析(39/126):SaaS与移动应用商业模式的关键要点剖析

精益数据分析&#xff08;39/126&#xff09;&#xff1a;SaaS与移动应用商业模式的关键要点剖析 在创业和数据分析的探索之旅中&#xff0c;每一次深入研究不同的商业模式都是一次宝贵的学习机会。今天&#xff0c;依旧怀揣着与大家共同进步的期望&#xff0c;深入解读《精益…...

【PostgreSQL数据分析实战:从数据清洗到可视化全流程】4.3 数据脱敏与安全(模糊处理/掩码技术)

&#x1f449; 点击关注不迷路 &#x1f449; 点击关注不迷路 &#x1f449; 点击关注不迷路 文章大纲 PostgreSQL数据脱敏实战&#xff1a;从模糊处理到动态掩码的全流程解析4.3 数据脱敏与安全&#xff1a;模糊处理与掩码技术深度实践4.3.1 数据脱敏的核心技术体系4.3.1.1 技…...

nginx面试题

nginx 返回状态码413 Nginx 状态码 413 表示“请求实体过大”&#xff08;Request Entity Too Large&#xff09;&#xff0c;意味着客户端发送的请求体大小超过了服务器允许的限制。 解决方法 修改 Nginx 配置文件&#xff1a; 找到 Nginx 配置文件&#xff0c;通常位于 /etc…...

flink rocksdb状态说明

文章目录 1.默认情况2.flink中的状态3.RocksDB4.对比情况5.使用6.RocksDB架构7.参考文章8.总结提示:以下主要考虑flink 状态永久存储 rocksdb情况,做一些简单说明 1.默认情况 当flink使用rocksdb存储状态时。无论是永久存储还是临时存储都可能会落盘写文件(如果没有配置存储…...

Linux | WEB服务器的部署及优化

一. web服务的常用知识 1.1 www www&#xff08;World Wide Web&#xff09;&#xff1a;即为万维网&#xff0c;常被称为“全球信息广播”。它是一种基于超文本和HTTP协议&#xff0c;能够将文字、图形、影像以及声音等多媒体信息&#xff0c;通过超链接的方式组织在一起&…...

Nginx正反向代理与正则表达式

目录 一&#xff1a;正向代理 1.编译安装nginx 2.配置正向代理 二&#xff1a;反向代理 1.配置nginx七层代理 2.配置nginx四层代理 三&#xff1a;nginx 缓存 1.缓存功能的核心原理和缓存类型 2.代理缓存功能设置 四&#xff1a;nginx rewrite 和正则表达式 1.Nginx…...

字节:LLM自动化证明工程基准

&#x1f4d6;标题&#xff1a;APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries &#x1f310;来源&#xff1a;arXiv, 2504.19110 &#x1f31f;摘要 &#x1f538;大型语言模型&#xff08;LLM&#xff09;的最新进展在形式定理证明…...

豆包多轮对话优化策略:上下文理解与记忆,意图识别,对话管理

豆包多轮对话优化策略:上下文理解与记忆,意图识别,对话管理 上下文理解与记忆:我会分析每一轮用户输入的文本内容,理解其中的语义、意图和关键信息,并将这些信息与之前轮次的对话内容相结合,形成对整个对话上下文的理解和记忆。例如,在一个关于旅游规划的对话中,用户先…...

ADK 第四篇 Runner 执行器

智能体执行器 Runner&#xff0c;负责完成一次用户需求的响应&#xff0c;是ADK中真正让Agent运行起来的引擎&#xff0c;其核心功能和Agents SDK中的Runner类似&#xff0c;具体作用如下&#xff1a; 会话管理&#xff1a;自动读取/写入 SessionService&#xff0c;维护历史信…...

yolo 用roboflow标注的数据集本地训练 kaggle训练 comet使用 训练笔记5

本地训练 8gb内存&#xff0c;机械硬盘用了4分钟训练完了 ........... model torch.hub.load(path/to/yolov5, custom, path./runs/train/exp10/weights/best.pt, sourcelocal) 连不上github kaggel训练 传kaggle了 # Train YOLOv5s on COCO128 for 3 epochs !python train…...

chili3d笔记11 连接yolo python http.server 跨域请求 flask

from ultralytics import YOLO from flask import Flask, request, jsonify from flask_cors import CORS import base64 from io import BytesIO from PIL import Image import json# 加载模型 model YOLO(./yolo_detect/best.pt)app Flask(__name__) CORS(app) # 启用跨域…...

安全为上,在系统威胁建模中使用量化分析

*注&#xff1a;Open FAIR™ 知识体系是一种开放和独立的信息风险分析方法。它为理解、分析和度量信息风险提供了分类和方法。Open FAIR作为领先的风险分析方法论&#xff0c;已得到越来越多的大型组织认可。 在数字化风险与日俱增的今天&#xff0c;企业安全决策正面临双重挑战…...

STA中的multi_cycle 和false_path详细讨论

特殊路径&#xff1a;跨时钟域下的exception_path&#xff1a;分为多种情况优先 1、不同clk_domain ,但频率相同 create_clock -name CLKM -period 10 -waveform {0 5} [get_ports CLKM] create_clock -name CLKP -period 10 -waveform {0 5} [get_ports CLKP] set_multicycl…...

Vite 的工作流程

Vite 的工作流程基于其创新的 “预构建 按需加载” 机制&#xff0c;通过利用现代浏览器对原生 ES 模块的支持&#xff0c;显著提升了开发效率和构建速度。以下是其核心工作流程的详细分析&#xff1a; 一、开发环境工作流程 1. 启动开发服务器 冷启动&#xff1a;通过 npm …...