只为小站
首页
域名查询
文件下载
登录
软件测试学习笔记(三)控制&
数据流
测试
软件测试学习笔记(三)控制&
数据流
测试 视频链接:软件测试_中国大学MOOC 2.3 结构化覆盖 2.4 控制流测试 2.5
数据流
测试 1、什么是顶点覆盖? 对每个测试需求,即可达顶点,都可从测试用例集T里找到测试用例t,对应的测试路径覆盖该顶点,测试用例集T满足顶点覆盖。 2、什么是边覆盖? 对每个测试需求,即可达边,都可从测试用例集T里找到测试用例t,对应的测试路径覆盖该边,测试用例集T满足边覆盖。 3、讨论边覆盖与顶点覆盖的关系。 满足边覆盖,即满足顶点;满足顶点覆盖不一定满足边覆盖。 4、什么是边对覆盖? 边对覆盖:边对是相邻的两条边,两条测试路径即可满足顶点覆盖和边覆盖,但不满足边
2022-09-10 15:23:18
54KB
mp
变量
学习
1
给PCM
数据流
添加WAV文件头
有时DUMP下了PCM格式的
数据流
,要在电脑或者其它设备上听,验证其声音是否正确,该小程序就是给PCM
数据流
添加一个WAV的文件头,让播放器可以以WAV格式正常播放PCM数据. 例子中代码固定写了44.1K采样,双声道,量化BIT为16,如果格式不一致,改宏定义即可.
2022-09-03 21:46:35
7KB
WAV
格式
PCM
文件头
1
数据流
聚类知识&Stream;、CluStream、Birch算法
数据流
聚类相关知识以及Stream、CluStream、Birch算法的讲解
2022-08-25 16:45:33
500KB
数据流聚类
Stream
CluStream
1
blockfactory:一个包装
数据流
编程算法的小框架
blockfactory:一个包装
数据流
编程算法的小框架
2022-07-22 14:43:25
952KB
framework
algorithms
matlab
dataflow
1
C#(.net) Excel、TXT、xml、http
数据流
读写交换
个人整理的一些
数据流
读写存储,包括Excel TXT xml http,希望有用。
2022-07-09 20:17:17
2KB
Excel
TXT
xml
http
1
人工智人-家居设计-高层交换和智能
数据流
管理研究.pdf
人工智人-家居设计-高层交换和智能
数据流
管理研究.pdf
2022-07-08 10:03:02
2.74MB
人工智人-家居
大数据科普:大数据后台层次角色及
数据流
向.doc
大数据科普:大数据系统后台层次角色 及
数据流
向 最近有不少质疑大数据的声音,这些质疑有一定的道理,但结论有些以偏概全,应该 具体问题具体分析。对大数据的疑问和抗拒往往是因为对其不了解,需要真正了解之后 才能得出比较客观的结论。 大数据是一个比较宽泛的概念,它包含大数据存储和大数据计算,其中大数据计算 可大致分为计算逻辑相对简单的大数据统计,以及计算逻辑相对复杂的大数据预测。下 面分别就以上三个领域简要分析一下: 第一,大数据存储解决了大数据技术中的首要问题,即海量数据首先要能保存下来 ,才能有后续的处理。因此大数据存储的重要性是毫无疑问的。 第二,大数据统计是对海量数据的分析统计和轻度挖掘,例如统计海量用户产品的 日/月活跃度、用户基于地区的分布、用户历史操作、运营侧数据指标等,这些需要大数 据计算平台的支持才能实现,对于拥有海量用户的互联网公司来说是不可或缺的技术。 第三,大数据预测领域才是争议最多的领域。事实上,预测必有误差、必有小概率 事件,大数据预测的背后是各种机器学习/模式识别等深度挖掘算法,这些算法只是工具 而已,用得好不好、恰不恰当还是要看应用的领域和使用
2022-06-22 09:03:33
36KB
文档资料
静态程序分析(五、六):
数据流
分析基础理论
一、迭代算法 Iterative Algorithm Data Flow Analysis Foundations,
数据流
分析基础理论。掌握
数据流
分析 基础理论,才能自如的设计
数据流
分析算法来解决特定的静态分析问题。 下图是一个通用的
数据流
分析迭代算法,采用前向
数据流
,它用来得到一个
数据流
问题的解 给定一个含有 k 个节点的程序 CFG,迭代算法每次迭代时更新每个 CFG 节点 的输出信息,即 OUT[n]。 假设
数据流
分析中数据 data facts 的集合是 V,这里的数据是指我们分析 问题的数据,数据的 domain 就是这些数据抽象值的域。比如,我们在分析到达 定值这个具体
数据流
问题时,V 就是程序所有变量的集合,domain 就是程序中所 有的变量可能取得的抽象值的集合{0,1}。再如,常量传播例子中,分析的数据 data facts 集合 V 就是程序中所有的变量,v 的 domain 就是{未定义、不是常 量、0、1、2、1.2、...} ,这个 domain 就是无穷的,因为作为常量可是任何数。 在到达定值中,我们用一个 bit vector 来表示节点的输出数据作为
2022-06-20 17:00:12
3.88MB
静态程序分析
数据流分析
静态分析技术资料,讲得非常深入,包括类型分析、CFG、
数据流
分析、条件和断言、过程内分析、控制流分析、指向分析等。
静态分析技术资料,讲得非常深入,是学习程序编译、静态分析、代码优化等宝贵的参考资料。纯英文资料。包括类型分析、CFG、
数据流
分析、条件和断言、过程内分析、控制流分析、指向分析等。 本人从事静态分析领域,做代码检测,阅读相关知识,可以帮助我掌握开发如何实现的检测器,便于跟客户沟通。
2022-06-20 13:01:08
364KB
静态分析
代码检测
代码分析
BNC-2.12.17-Windows
BNC软件是由BKG开发的一款用于实时同步接收、解码及转换的GNSS
数据流
管理软件。采用BNC软件进行实时精密单点定位时,其主要功能是接收来自Ntrip Caster的由IGS提供的精密轨道和钟差的改正系数,以及实时广播星历
数据流
,并对其进行解码,同时通过TCP/IP、UDP通讯接收来自测站接收机的观测值,通过这些
数据流
完成精密单点定位。
2022-06-17 20:06:17
30.8MB
BNC
GNSS
实时数据流保存
RTCM
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
基于STM32的电子时钟设计
中国地面气候资料日值数据集(V3.0)2014-2019.zip
Alternative A2DP Driver 1.0.5.1 无限制版
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
IEEE33节点配电网Simulink模型.rar
CNN卷积神经网络Matlab实现
画程(版本6.0.0.127)setup个人版
cublas64_11.dll cublasLt64_11.dll cusolver64_11.dll
2019西门子杯六部十层电梯群控参考程序.zip
2020年数学建模国赛C题论文
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
MAC OS.X.10.8.iso 镜像文件
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
现代操作系统原理与实现.pdf
最新下载
logisim画CPU:8位可控加减法电路设计
VB SQLSERVER人口户籍信息管理系统.rar
广东工业大学 (有代码和截图)基于LiberoSoc的数字逻辑设计仿真及验证实验 基于实验箱的数字逻辑实验 74HC系列代码
零基础学python(明日科技)PPT源代码习题及答案视频.rar
S7-1200PLC 订货号 6ES7 214-1AG40-0XB0 固件升级 V4.6
《武汉市轨道交通12号线(江北段)工程环境影响报告书》.pdf
paradox 数据库工具 Paradox Data Editor 3.7
《31天学会CRM项目开发》随书源代码
ADS_tsmc_cm013rf_v1.7.zip
台积电RF 180nm Design kit For ADS
其他资源
ADS元件库包,我是用于ADS16版本的
大漠插件3.1232 最后免费的全功能插件
echartsgl动态线渲染
基于K-means算法的图像分割(matlab)
sqlcipher-for-android-v3.5.6.zip
puma560机器人正逆解雅克比矩阵
基于Struts2的学生选课管理系统
云顶夺宝搭建视频教程
Omega地震处理软件学习手册
外币兑换系统
H3CNE-GB0-191 VCE 20200730.rar
fpga实现can总线
V5游戏程序多开器适合游戏多开.rar
dubbo-admin-2.5.4-SNAPSHOT.war
改进的TRPC-UWB通信系统的积分间隔确定和决策阈值优化
五年级下册数学期末试卷二.docx
LED发光二极管. 二极管-整流桥堆 Altium封装 AD封装库 2D+3D PCB封装库-10MB.zip
Landsat-TM影像数据免费下载方法
OCX全部文件安装包,解决系统缺少某个文件问题
WEKA快速入门(含银行数据集bank-data及天气数据集weather)
STATCOM在电压_无功控制中协调应用的研究.nh
gridregression.py文件
百度_Google_Sogou三种图像搜索引擎功能的比较.pdf
MATLAB例题(刘舒帆)西安电子科技大学