7.23 test 23
2023.9.4 Online test
#### A 有一家公司，现在有 $n(n\le 5e5)$ 人来应聘，每个人有两个属性 $a,b$。 表示他最多可以连续工作 $a$ 小时，表示它两次工作之间的间隔必须大于等于 $b$ 小时。 现在要雇佣最少的人，满足能够按某种排列无限工作。 若当前雇佣了若干人，能无限工作的条件是 $\sum a ......
Proj CDeepFuzz Paper Reading: DeepTest: automated testing of deep-neural-network-driven autonomous cars
## Abstract 本文: DeepTest Task: a systematic testing tool for DNN-driven vehicles Method: 1. generated test cases with real-world changes like rain, fo ......
Proj CDeepFuzz Paper Reading: DeepGauge: multi-granularity testing criteria for deep learning systems
## Abstract 本文: DeepGauge Task: provide multi-granularity testing criteria for DL systems Method: multi-granularity testing criteria for DL systems: 1 ......
test20230904
#### 写在前面的话 今天考试 $60+100+100+20=280$, $\text{rank1}$ ，但一定是运气好。T4 因为没有考虑周全所以挂了 $10$ 分。 我也意识到考试代码实现的精确离不开日常的练习，不能不重视模板的熟练。争取以后考试可以做到不挂分。 ### T1 简要题意：有若干 ......
Proj CDeepFuzz Paper Reading: Combinatorial Testing for Deep Learning Systems
## Abstract 本文：DeepCT Task: Testing DL Models with Combinatorial Testing Method: 1. 将输出值的空间离散化为区间，以便覆盖每个区间,对不同层内的神经元交互进⾏采样，并减少必须执⾏的测试输⼊的数量。 2. a set o ......
界面控件DevExpress .NET应用安全 & Web API v23.1亮点：支持Swagger模式
DevExpress拥有.NET开发需要的所有平台控件，包含600多个UI控件、报表平台、DevExpress Dashboard eXpressApp 框架、适用于 Visual Studio的CodeRush等一系列辅助工具。 DevExpress 今年第一个重要版本v23.1日前已正式发布了， ......
mvn test 执行testng测试用例
maven项目，把testng用例放在test目录下，配置pom.xml 文件如下，执行mvn test 能自动执行testng里面的用例。 pom文件配置 <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://ww ......
MIT 18.06 线性代数 - 23微分方程,exp(At)
# 微分方程和$e^{At}$ ## 微分方程$\frac{\mathrm{d}u}{\mathrm{d}t}=Au$ 本讲主要讲解解一阶方程（first-order system）一阶导数（first derivative）常系数（constant coefficient）线性方程，上一讲介绍了如 ......
Educational Codeforces Round 23 A - F
# [Educational Codeforces Round 23](https://codeforces.com/contest/817) [TOC] ## [A - Treasure Hunt](https://codeforces.com/contest/817/problem/A) 往四个 ......
macOS Sonoma 14 beta 7 (23A5337a) ISO、IPSW、PKG 下载
macOS Sonoma 14 beta 7 (23A5337a) ISO、IPSW、PKG 下载 本站下载的 macOS 软件包，既可以拖拽到 Applications（应用程序）下直接安装，也可以制作启动 U 盘安装，或者在虚拟机中启动安装。另外也支持在 Windows 和 Linux 中创建可 ......
macOS Sonoma 14 beta 7 (23A5337a) Boot ISO 原版可引导镜像下载
macOS Sonoma 14 beta 7 (23A5337a) Boot ISO 原版可引导镜像下载 本站下载的 macOS 软件包，既可以拖拽到 Applications（应用程序）下直接安装，也可以制作启动 U 盘安装，或者在虚拟机中启动安装。另外也支持在 Windows 和 Linux 中 ......
@Test 报错
问题：使用jdbc事务连接数据库时，用到@Test 进行测试，一直爆红。 解决： 1. 快捷键：Alt+Enter，查看错误原因，无法导入junit4依赖； 2. 在file --> Project Structure中引入Junit4依赖 在第(2.3)个步骤中导入idea中lib下的jar包 3 ......
【23种设计模式】适配器模式（六）
## 前言 从今天开始我们开始讲【结构型】设计模式，【结构型】设计模式有如下几种：**适配器模式、桥接模式、组合模式、装饰模式、外观模式、享元模式、代理模式**。【创建型】的设计模式解决的是对象创建的问题，那【结构型】设计模式解决的是类和对象的组合关系的问题。 今天我们就开始讲【结构型】设计模式里面 ......
Proj CDeepFuzz Paper Reading: ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
## Abstract Github: https://github.com/shijy16/ACETest 背景： 1. DL operators 用来计算多维tensors，很重要 本文：ACETest Task: automatically extract input validation c ......
基准测试（Benchmark Test)
>基准测试，也称之为性能测试，是一种用于衡量计算机系统，软件应用或硬件组件性能的测试方法。基准测试旨在通过运行一系列标准化的任务场景来测量系统的性能表现，从而帮助评估系统的各种指标，如响应时间、吞吐量、延迟、资源利用率等。 基准测试的目的在于比较不同系统、不同配置或不同实现之间的性能差异，或者在系统 ......
test20230830
# $\text{Luogu2860}$ ## 题目简述 给定一张 $n$ 个点 $m$ 条边的无向图，问至少添加多少条边才可以将图补成一张边双图。 ## 思路点拨 警钟长鸣：图可能不连通。 我们考虑如果一个子图就是边双那么就可以不管他，自然缩边双之后考虑树上问题。怎么补全呢？就是每一次挑选出树的直 ......
【23种设计模式】原型模式（五）
## 前言 在软件系统中，当创建一个类的实例的过程很昂贵或很复杂，并且我们需要创建多个这样类的实例时，如果我们用new操作符去创建这样的类实例，这就会增加创建类的复杂度和创建过程与客户代码复杂的耦合度。如果采用工厂模式来创建这样的实例对象的话，随着产品类的不断增加，导致子类的数量不断增多，也导致了相 ......
【五期邹昱夫】CCF-A（TIFS'23）SAFELearning: Secure Aggregation in Federated Learning with Backdoor Detectability
> "Zhang, Zhuosheng, et al. "SAFELearning: Secure Aggregation in Federated Learning with Backdoor Detectability." IEEE Transactions on Information For ......
智能界面组件DevExpress BI Dashboard — 新的导出功能(v23.1)
在DevExpress v23.1发布周期中，官方扩展了DevExpress BI Dashboard项的导出功能，这些增强功能适用于WinForms、WPF和Web平台，包括以下选项： 将自定义Dashboard项导出到Excel并自定义导出的文档本身 在导出期间自定义Pivot Grid Das ......
Bugku-Web23
 这个题目告诉我，正则表达式还要好好的学一下；；  点击 `Edit in settin ......
Proj CDeepFuzz Paper Reading: Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation
## Abstract 背景： 1. the de facto standard to assess the quality of DNNs in the industry is to check their performance (accuracy) on a collected set of ......
【五期邹昱夫】CCF-A（SP'23）3DFed: Adaptive and Extensible Framework for Covert Backdoor Attack in Federated Learning
> "Li, Haoyang, et al. "3DFed: Adaptive and Extensible Framework for Covert Backdoor Attack in Federated Learning." 2023 IEEE Symposium on Security an ......
【23种设计模式】创建者模式（四）
## 前言 在软件系统中，有时候面临着“一个复杂对象”的创建工作，其通常由各个部分的子对象用一定的算法构成；由于需求的变化，这个复杂对象的各个部分经常面临着剧烈的变化，但是将它们组合在一起的算法却相对稳定。如何应对这种变化？如何提供一种“封装机制”来隔离出“复杂对象的各个部分”的变化，从而保持系统中 ......
Proj CDeepFuzz Paper Reading: SyRust: automatic testing of Rust libraries with semantic-aware program synthesis
## Abstract 背景： 1. unsafe能够绕开rust type system 2. rust libraries中常有许多unsafe keyword 本文：SyRust Task: fuzz Rust library APIs Challenge: synthesize well-t ......
test
☕ 在博客园中安装皮肤 ⚡ 仅需几步就能在你的博客园快速安装皮肤；🎬 如果感到力不从心，我还精心制作了「视频教程」供你参考；👾 当你的配置出现语法错误时，可能无法进入博客了。不用担心，随时都可以点击 博客后台 - 博客园 进入博客园后台页面，重新配置。1打开你的博客首页 -> 管理 -> 设置 ......
Proj CDeepFuzz Paper Reading: Deepxplore: Automated whitebox testing of deep learning systems
## Abstract 背景：现有的深度学习测试在很⼤程度上依赖于⼿动标记的数据，因此通常⽆法暴露罕⻅输⼊的错误⾏为。 本文：DeepXplore Task: a white-box framework to test DL Models 方法： 1. neuron coverage 2. diff ......
【23种设计模式】抽象工厂模式（三）
## 前言 在抽象工厂模式开篇之前，我们先思考一个问题，如果我们要设计一套房子，其他的组件暂时不考虑，我们仅仅考虑房顶、地板、窗户、房门进行设计。什么样的风格暂时未知，可能会有很多种类。可以先设计一套古典风格的房子，再设计一套现代风格的房子，再设计一套欧式风格的房子....这么多套房子需要设计，需求 ......