principle counting program testing
Programming abstractions in C阅读笔记：p144-p160
《Programming Abstractions In C》学习第56天，p144-p160。完成第三章内容学习，第三章总计54页（p107-p160），耗时10天，平均6页/天。 # 一、技术总结 第三章的内容主要介绍C语言中的库(library)和接口(interface)，如我们最常遇到的以 ......
Postman 中 Tests 解密脚本 CryptoJS-AES-ECB-128
参考链接：http://jser.io/2014/08/19/how-to-use-aes-in-crypto-js-to-encrypt-and-decrypt Aug 19, 2014 //打印查看需解密的内容 console.log(pm.response.json().data) // 一般 ......
test20230905
#### 写在前面的话 $80+80+100+30=290 , \text{rank3}$ ,发现自己还是太菜了。 这次比赛挂大分，算下来掉了 $40$ 分。本质上还是我自己对于问题的考虑不够全面，思维不够严谨。不好评价。 ### T1 题目描述：现在有 $n$ 个区间，你需要选出一些区间，然后设这 ......
The 2022 ICPC Asia Hangzhou Regional Programming Contest
The 2022 ICPC Asia Hangzhou Regional Programming Contest No Bug No Game #include<bits/stdc++.h> using namespace std; #define endl "\n" #define int lon ......
The 18th Heilongjiang Provincial Collegiate Programming Contest
链接：[https://codeforces.com/gym/104363](https://codeforces.com/gym/104363) ## A. Magic Computer ```cpp #include "bits/stdc++.h" using namespace std; us ......
The 10th Shandong Provincial Collegiate Programming Contest
链接：[https://codeforces.com/gym/104459](https://codeforces.com/gym/104459) ## A ```cpp #include "bits/stdc++.h" using namespace std; using i64 = long l ......
The 17th Chinese Northeast Collegiate Programming Contest
链接：[https://codeforces.com/gym/104366](https://codeforces.com/gym/104366) ## A. Cask Effect ```cpp #include "bits/stdc++.h" using namespace std; using ......
Proj CDeepFuzz Paper Reading: Differential Testing of Cross Deep Learning Framework APIs: Revealing Inconsistencies and Vulnerabilities
## Abstract 背景：目前对cross-framework conversion中的inconsistencies和security bugs的研究少有 本文：TensorScope Task: test cross-frame APIs in Machine Learning Librar ......
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 ......
2023-2024 ICPC German Collegiate Programming Contest (GCPC 2023)
# Preface 好久没队里一起训练了就周末约了队友去机房VP了一场，同时终于学会了撬机房门这一核心技术 这场总体打的还行，但主要是B全队集体想复杂导致最后没调出来，J徐神写的维护啥的都没问题就是算答案的时候没想清楚，本来可以出11题的 # A. Adolescent Architecture 2 ......
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 ......
GCD Counting题解
## 题意 有一棵有 $n$ 个节点的树，第 $i$ 个节点有点权 $a_i$。 定义 $g(x,y)$ 为 $x$ 到 $y$ 的树上路径所经过的点的点权 $\gcd$。 对于每一个正整数 $k\in[1,2\times 10^5]$ 求出满足以下条件的 $x,y$ 的对数: + $1\le x\ ......
@Test 报错
问题：使用jdbc事务连接数据库时，用到@Test 进行测试，一直爆红。 解决： 1. 快捷键：Alt+Enter，查看错误原因，无法导入junit4依赖； 2. 在file --> Project Structure中引入Junit4依赖 在第(2.3)个步骤中导入idea中lib下的jar包 3 ......
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 ......
Single Responsibility Principle，SRP-单一职责原则
C#中的单一职责原则（Single Responsibility Principle，SRP）要求一个类应该只负责单一的职责。这意味着一个类应该只有一个引起它变化的原因。 遵循单一职责原则的好处包括： 提高代码的可维护性：一个类只负责一个职责，当需求变化时，只需要修改与该职责相关的代码，降低了变更对 ......
基准测试（Benchmark Test)
>基准测试，也称之为性能测试，是一种用于衡量计算机系统，软件应用或硬件组件性能的测试方法。基准测试旨在通过运行一系列标准化的任务场景来测量系统的性能表现，从而帮助评估系统的各种指标，如响应时间、吞吐量、延迟、资源利用率等。 基准测试的目的在于比较不同系统、不同配置或不同实现之间的性能差异，或者在系统 ......
test20230830
# $\text{Luogu2860}$ ## 题目简述 给定一张 $n$ 个点 $m$ 条边的无向图，问至少添加多少条边才可以将图补成一张边双图。 ## 思路点拨 警钟长鸣：图可能不连通。 我们考虑如果一个子图就是边双那么就可以不管他，自然缩边双之后考虑树上问题。怎么补全呢？就是每一次挑选出树的直 ......
[LeetCode][338]counting-bits
# Content Given an integer n, return an array ans of length n + 1 such that for each i (0 <= i <= n), ans[i] is the number of 1's in the binary repres ......
Programming abstractions in C阅读笔记：p139-p143
《Programming Abstractions In C》学习第55天，p139-p140，总结如下： # 一、技术总结 ## 1.文件I/O操作 文件I/O操作可以分为一下这些步骤： (1)声明文件指针对象。 ```c File *infile; ``` (2)打开文件 fopen()。打开文 ......
Programming abstractions in C阅读笔记：p138
《Programming Abstractions In C》学习第54天，p138，总结如下： # 一、技术总结 ## 1.stdio.h 3.4小节介绍“The standard I/O library”，涉及I/O操作最常用的接口是stdio.h，我们经常用到里面的printf函数。 ## 2 ......
VSCODE 关闭 go 的test缓存
`Ctrl + ,` 进入设置，搜索 `go testFlags`  点击 `Edit in settin ......
[CF1518D] XOR Counting
[XOR Counting](https://www.luogu.com.cn/problem/CF1815D) 由于 a 可以为非负整数并且不关心 a 的具体数值,所以 m 大了后填很多 0 即可。 分类讨论。 m=1 时直接输出 n 即可。 m>=3 时,注意到 xor 运算与加运算同奇偶,所以 ......
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 ......
Proj CDeepFuzz Paper Reading: An Extensive Study on Pre-trained Models for Program Understanding and Generation
## Abstract ## 1. Intro ## 2. Background ### 2.1 Program Understanding and Generation Tasks ### 2.2 NL-PL Pre-Trained Models ![](https://img2023.cnblo ......
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 ......