关于三角形问题的白盒测试，含有代码走读，静态结构分析（函数控制流图法）， 对判定的测试，选择判定覆盖语句，对路径的测试，对变量的测试。
2021-12-30 19:05:49
135KB
1
控制流图圈复杂度确定
V(G) =流图中区域个数 (由结点和边围起来的区域—图中外部区域也是一个区域)
V(G) = 边的个数- 结点个数 + 2
V(G) =流图中(简单)判定结点个数+ 1
圈复杂度（Cyclomatic complexity）（环形复杂性）：
是一种为程序逻辑复杂性提供定定量测度的软件度量。
当该度量用于基本路径测试方法，计算所得的值给出了程序基本集的独立路径数量，这是为确保所有语句至少执行一次而必须进行测试数量的上界。
可用以下3种方法之一来计算复杂性：
2. Determine the cyclomatic complexity of the resultant flow graph
Note: can be determined without developing a flow graph
count all conditional statements in a component
compound conditions count as 2
(number of Boolean operators + 2)
2021-12-30 01:01:34
601KB
1
用逻辑覆盖测试方法测试以下程序段
void DoWork (int x,int y,int z){
1 int k=0, j=0;
2 if ( (x>3)&&(z5))
8 j=x*y+10;
9 j=j%3;
10 }
2021-12-28 19:28:47
132KB
1
高效的暖启动预计梯度下降（EWR-PGD）
我们提出了一种新的名为EWR-PGD的白盒对抗攻击方法，该方法超越了最新的攻击性能。 它比最新的方法更有效。
代码即将推出。
EWR-PGD和ODI-PGD的比较
当将模型降低到相同的精度时，EWR-PGD所需的重新启动次数明显少于ODI-PGD的重新启动次数。 EWR-PGD的速度大约是ODI-PGD的5倍。
图1.在10个最新的防御模型上，当EWR-PGD和ODI-PGD方法将模型降低到相同精度时，所需重启次数的比较（越低越好）。
这些模型可在线获得：
3个白盒排行榜上的结果
EWR-PGD在TRADES白盒MNIST和CIFAR-10排行榜上排名第一，将MNIST模型的准确性降低到92.52％，将CIFAR-10模型的准确性降低到52.95％。 EWR-PGD在MardyLab的CIFAR-10白名单排行榜中也排名第一，将其CI
2021-12-26 01:01:50
194KB
1
详细设计任务：
1.为模块进行详细的算法设计。
要求：获取一个想要的指定文件的集合。获取E:\experience下(包含子目录)的所有.doc的文件对象路径。并存储到集合中。
思路：
1，既然包含子目录，就需要递归。
2，在递归过程中需要过滤器。
3，满足条件，都添加到集合中。
2.为模块内的数据结构进行设计，对于需求分析，概要设计确定的概念性的数据类型进行确切的定义。
对指定目录进行递归。
（1）通过listFiles方法，获取dir当前下的所有的文件和文件夹对象。
（2）遍历该数组。
（3）判断是否是文件夹，如果是，递归。如果不是，那就是文件，就需要对文件进行过滤。
（4）通过过滤器对文件进行过滤
3编写详细设计说明书
过程设计语言（PDL），也称程序描述语言，又称为“伪码”。它是一种用于描述模块算法设计和处理细节的语言。
for(遍历文件){
if (是文件夹)
{ 递归 }
Else
{
if (是.doc文件)
{ 添加到集合中 }
}
}
2021-12-22 18:17:28
76KB
1