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

基于TESSY的单元测试与分类树方法深入解析

news 2026/2/10 0:20:52

在现代软件开发中，单元测试是确保软件质量和可靠性的关键步骤之一。特别是对于嵌入式软件，由于其应用环境的特殊性和高安全性要求，单元测试显得尤为重要。本文将基于《TESSY 用户手册》的内容，详细介绍如何使用TESSY 进行单元测试，并深入探讨分类树方法（Classification Tree Method, CTM）的应用及其优势。希望通过本文，读者能够对单元测试有更深入的理解，并掌握使用TESSY 和CTM 的具体方法。

1. 单元测试概述

1.1 国际标准对单元测试的要求

国际标准如IEC 61508 对模块测试提出了明确要求。根据IEC 61508 第3部分的规定，模块测试应当证明被测模块能够执行其预定功能，并且不会执行未预定的功能。测试结果需要进行文档记录。IEC 61508 根据系统的安全性重要性将其划分为四个安全完整性等级（Safety Integrity Level, SIL），其中1级为最低级别，4级为最高级别。即使是对于SIL 1级别的应用，模块测试也被强烈推荐。

在IEC 61508 第3部分的附录中，列出了应使用的测试技术。例如，对于模块测试，功能测试和黑盒测试在SIL 1级别就已经被强烈推荐。其他技术，如动态分析和测试，在SIL 1级别被推荐，在SIL 2及以上级别则被强烈推荐。

 1.2 单元测试的基本概念

单元

相关文章：

基于TESSY的单元测试与分类树方法深入解析

在现代软件开发中，单元测试是确保软件质量和可靠性的关键步骤之一。特别是对于嵌入式软件，由于其应用环境的特殊性和高安全性要求，单元测试显得尤为重要。本文将基于《TESSY 用户手册》的内容，详细介绍如何使用TESSY 进行单元测试，并深入探讨分类树方法（Classification T…...

编程日记 2024/10/30 22:43:44

整理了一些大模型的课程，非常详细，大模型零基础入门到精通，收藏我这一篇就够了

目前有多个科普类的大模型课程，这些课程涵盖了从基础理论到实际应用的各个方面。以下是一些主要的科普类大模型课程：复旦大学“大模型开发与赋能”专题讲习班：由复旦大学计算机学院邱锡鹏教授带来的《大模型科普讲解》课程，通过深…...

编程日记 2024/10/30 22:41:40

区块链国赛题目--食品溯源（模块三）

区块链国赛题目–食品溯源（模块三） 任务 3-1：区块链应用前端功能开发 1．请基于前端系统的开发模板，在登录组件 login.js、组件管理文件components.js 中添加对应的逻辑代码，实现对前端的角色选择功能，并测试功 能完整性，示例页面如下： 具体要求如下： （1）有明…...

编程日记 2024/10/30 22:40:39

【Searxng】Searxng docker 安装

SearXNG将用户的查询请求分发至多个支持的搜索引擎，并收集返回的结果进行汇总处理。在这个过程中，它通过内置的过滤器功能屏蔽广告和其他不相关内容，确保搜索结果的纯净度。 一键部署 docker run \--name searxng \-p ????:8080 \-v ~/s…...

编程日记 2024/10/30 22:38:34

Java Lock/AQS ReentrantLock 源码

前言 相关系列 《Java & Lock & 目录》（持续更新）《Java & AQS & 目录》（持续更新）《Java & Lock/AQS & ReentrantLock & 源码》（学习过程/多有漏误/仅作参考/不再更新）《Jav…...

编程日记 2024/10/30 22:37:32

魔法伤害--是谁偷走了我的0

起因：需要迁移数据进行数据更新，使用pandasorcal进行数据处理以及库迁移 首先把数据导出为xls格式数据文件，使用python import pandas as pdnew_obj pd.read_excel(ne,dtype{DAY: str, MONTH: str}) 原有导出数据格式为： 使用…...

编程日记 2024/10/30 22:36:31

【ArcGIS Pro实操第4期】绘制三维地图

【ArcGIS Pro实操第4期】绘制三维地图 ArcGIS Pro绘制三维地图-以DEM高程为例参考 如何使用ArcGIS Pro将栅格数据用三维的形式进行表达？在ArcGIS里可以使用ArcScene来实现，ArcGIS Pro实现原理跟ArcScene一致。由于Esri未来将不再对ArcGIS更新&#xff0c…...

编程日记 2024/10/30 22:35:30

Vuestic 整理使用

简单示例 1. 条件渲染 2. 列表渲染 3. 组件插槽 4. 插值语法 5. 前后端路由的区别(还是转一下,可以减少代码量)SFC 构建 … … Okay，可以干活了，通顺 数据表的操作更加简化了 数据类别通过后端路由区别,但是还得由前端路由转一下 简单了许多呀,上脚手…...

编程日记 2024/10/30 22:25:21

学习伊圣雨老师的 epoll 编程

（1）书里提出了疑问，epoll 函数的工作方式，区分为水平触发与边缘触发 ： （2） 谢谢...

编程日记 2024/10/30 22:24:19

详细了解C++11（1）

大家好呀，我是残念，希望在你看完之后，能对你有所帮助，有什么不足请指正！共同学习交流哦 本文由：残念ing原创CSDN首发，如需要转载请通知 个人主页：残念ing-CSDN博客，欢迎各…...

编程日记 2024/10/30 22:21:16

ITA的去锅盖处理流程

一、说明 锅盖是什么 锅盖的类型有哪些 二、去锅盖处理流程 去锅盖算法首先需要采集一份锅盖模板数据，该模板数据用户可以自定义保存，方便后面的开机重启直接导入使用。去锅盖处理包含两个历程：保存锅盖模板；去锅盖处理。 保存锅盖模板： （ 1 ） 打开采集锅盖模板开关。…...

编程日记 2024/10/30 22:20:15

日志管理系统的系统目标是什么？

在网络安全、数据管理、故障排查等领域，日志都被广泛使用并需要进行有效的管理与分析。因此，日志管理系统的系统目标显得尤为重要，如以下几方面。 1、确保数据的安全性及完整性 在企业和组织的日常运营中，各类信息数据都会通过系统…...

编程日记 2024/10/30 22:16:11

uniapp 底部导航栏tabBar设置后不显示的问题——已解决

uniapp 底部导航栏tabBar设置后不显示的问题——已解决 网上找了一堆解决办法，挨个对着试吧 解决办法一：tabBar里的list第一项和page中的第一项要相同，确实就能显示了。但是问题来了，page中的第一项是入口页，那就意味…...

编程日记 2024/10/30 22:13:06

JVM 类加载器

字节码的结构 魔数u4 cafe babe 版本u4 52 java8 常量池计数器u2 从1开始，0索引留给不需要的情况 常量池 表 #1 -> #计数器-1 类标识符 u2 public final abstrat class annotion interface 之类 类索引u2 名字 父类索引u2 父类名字 接口计数器 u2 接口数…...

编程日记 2024/10/30 22:12:05

《C++长时间运行程序：驯服内存膨胀的“怪兽”》

在 C编程的世界里，当我们编写长时间运行的程序时，内存膨胀问题就像一个隐藏在暗处的“怪兽”，随时可能吞噬我们程序的性能和稳定性。无论是服务器应用程序、大型模拟系统还是其他长时间运行的关键任务软件，有效地处理内存膨胀问题…...

编程日记 2024/10/30 22:11:03

ELK之路第二步——可视化界面Kibana

Kibana 1.安装2.解压3.修改配置4.启动 这部分内容就比较简单了，水一片文章。 1.安装 需要梯子 官网下载链接：https://www.elastic.co/cn/downloads/past-releases/kibana-7-3-0 如果你去官网下载页面，点击下载是404报错，记得切换…...

编程日记 2024/10/30 22:10:03

Nature Medicine病理AI汇总｜CONCH：病理图像分析的零样本学习模型·顶刊精析·24-10-30

小罗碎碎念 最近在整理24年发表在Nature Medicine上的病理AI文章，简单列了一个表。 接下来我将按照先后顺序，系统的把这13篇文献分析完。其中底色做了填充的，代表商业公司在本论文中占据了一作或通讯。 本期推文介绍的模型是CONCH&#xff0…...

编程日记 2024/10/30 22:09:02

通过不当变更导致 PostgreSQL 翻车的案例分析与防范

在数据库管理领域，PostgreSQL 凭借其强大的功能和稳定性，赢得了广泛的认可。然而，即便是如此稳健的系统，在不当的变更操作下，也可能遭遇性能下降、数据丢失甚至系统崩溃的风险。本文将通过一个具体案例，分析…...

编程日记 2024/10/30 22:07:57

Windows高级技巧：轻松实现多进程窗口的连接与管理

在Windows操作系统中，管理多个进程窗口可能是一项复杂的任务，特别是在自动化测试或多任务处理时。本文将介绍一种高效的方法，通过Python编程和AirtestIDE工具，实现多进程窗口的便捷连接与管理。同时，将提供具体的代码示…...

编程日记 2024/10/30 22:05:55

洪水淹没制图

原文链接：洪水淹没制图https://mp.weixin.qq.com/s?__bizMzUzNTczMDMxMg&mid2247624956&idx2&sn2557e56396eed7568d27baf694dc86fe&chksmfa8da91bcdfa200d307ea12ab9f52394ca6ef0bea3111bd8a873b34c950bcd9441c377f13674&token1392391660&…...

编程日记 2024/10/30 22:04:54

测试微信模版消息推送

进入“开发接口管理”--“公众平台测试账号”，无需申请公众账号、可在测试账号中体验并测试微信公众平台所有高级接口。 获取access_token: 自定义模版消息： 关注测试号：扫二维码关注测试号。 发送模版消息： import requests da…...

编程新知 2026/2/8 4:37:13

多模态2025：技术路线“神仙打架”，视频生成冲上云霄

文｜魏琳华 编｜王一粟 一场大会，聚集了中国多模态大模型的“半壁江山”。 智源大会2025为期两天的论坛中，汇集了学界、创业公司和大厂等三方的热门选手，关于多模态的集中讨论达到了前所未有的热度。其中，…...

编程新知 2026/2/8 20:43:00

java_网络服务相关_gateway_nacos_feign区别联系

1. spring-cloud-starter-gateway 作用：作为微服务架构的网关，统一入口，处理所有外部请求。 核心能力： 路由转发（基于路径、服务名等）过滤器（鉴权、限流、日志、Header 处理）支持负…...

编程新知 2025/11/28 2:51:33

大话软工笔记—需求分析概述

需求分析，就是要对需求调研收集到的资料信息逐个地进行拆分、研究，从大量的不确定“需求”中确定出哪些需求最终要转换为确定的“功能需求”。 需求分析的作用非常重要，后续设计的依据主要来自于需求分析的成果，包括: 项目的目的…...

编程新知 2026/1/28 10:58:50

Vue3 + Element Plus + TypeScript中el-transfer穿梭框组件使用详解及示例

使用详解 Element Plus 的 el-transfer 组件是一个强大的穿梭框组件，常用于在两个集合之间进行数据转移，如权限分配、数据选择等场景。下面我将详细介绍其用法并提供一个完整示例。 核心特性与用法 基本属性 v-model：绑定右侧列表的值&…...

编程新知 2026/2/4 4:25:40

Swift 协议扩展精进之路：解决 CoreData 托管实体子类的类型不匹配问题（下）

概述 在 Swift 开发语言中，各位秃头小码农们可以充分利用语法本身所带来的便利去劈荆斩棘。我们还可以恣意利用泛型、协议关联类型和协议扩展来进一步简化和优化我们复杂的代码需求。 不过，在涉及到多个子类派生于基类进行多态模拟的场景下，…...

编程新知 2026/1/23 4:56:05

CMake基础：构建流程详解

目录 1.CMake构建过程的基本流程 2.CMake构建的具体步骤 2.1.创建构建目录 2.2.使用 CMake 生成构建文件 2.3.编译和构建 2.4.清理构建文件 2.5.重新配置和构建 3.跨平台构建示例 4.工具链与交叉编译 5.CMake构建后的项目结构解析 5.1.CMake构建后的目录结构 5.2.构…...

编程新知 2026/2/2 7:39:34

sqlserver 根据指定字符 解析拼接字符串

DECLARE LotNo NVARCHAR(50)A,B,C DECLARE xml XML ( SELECT <x> REPLACE(LotNo, ,, </x><x>) </x> ) DECLARE ErrorCode NVARCHAR(50) -- 提取 XML 中的值 SELECT value x.value(., VARCHAR(MAX))…...

编程新知 2025/10/29 4:33:03

HBuilderX安装（uni-app和小程序开发）

下载HBuilderX 访问官方网站&#xff1a;https://www.dcloud.io/hbuilderx.html 根据您的操作系统选择合适版本&#xff1a; Windows版&#xff08;推荐下载标准版&#xff09; Windows系统安装步骤 运行安装程序&#xff1a; 双击下载的.exe安装文件 如果出现安全提示&…...

编程新知 2026/1/31 12:52:04

现代密码学 | 椭圆曲线密码学—附py代码

Elliptic Curve Cryptography 椭圆曲线密码学&#xff08;ECC&#xff09;是一种基于有限域上椭圆曲线数学特性的公钥加密技术。其核心原理涉及椭圆曲线的代数性质、离散对数问题以及有限域上的运算。 椭圆曲线密码学是多种数字签名算法的基础&#xff0c;例如椭圆曲线数字签…...

编程新知 2026/2/6 7:30:33