weixin_43499846的博客

一、可信软件概述（一）可信软件NRTCNRC国家自然科学基金委（二）可信软件的特征可靠性、可靠完全性、保密安全性、可生存性、实时性。二、可信软件的验证技术（一）形式化方法1、系统分析与验证的步骤通过数据流描述、变量关系描述和软件体系结构描述等图形符号，从形式化需求模型中抽取不同形态的分析模型根据软件的特点划分为不同分析目标，为每个验证分析目标定义出相应技术。针对建立的性质集合，采用模型检测的方法自动地发现漏洞与验证软件是否满足高安全可靠性需求。自动生成测试用例，基于系统模

一、大数据概述（一）定义无法在一定时间内用常规的软件工具来进行捕捉、管理和处理的数据的集合（二）特点数据类型多样数据体量大处理速度高速价值密度低二、大数据测试策略（一）挑战数据的多样性和不完整性高度扩展性测试数据管理（二）大数据质量检测的测试策略功能测试性能测试数据提取测试数据处理测试数据存储测试数据迁移测试（三）大数据测试流程用户使用数据收集大数据分析缺陷挖掘（四）大数据测试工具Hadoop：开源框架，存储大量数据HPCC：高性能

设备层是指部署物联网的解决方案时所使用到的硬件，即“物”的实体通信层是指安全发送/接收数据的媒介，即物联网解决方案中的连接网络云平台层是指物联网解决方案的后端，主要用于对接收到的数据进行分析和处理全生命周期管理层是指保证从设备制造、安装到物品处置的整个过程中都有足够高的安全级别，是一个整体性的层级。

一、移动终端平台和应用软件概述（一）移动应用软件（移动终端软件）（二）移动终端平台安卓 Android苹果 IOS（三）特点多样的交互方式多样的移动设备快速的软件版本迭代二、移动应用软件测试（一）测试方法1、人工测试2、脚本编程测试利用测试脚本编程框架和接口编写测试脚本，然后交由测试框架实施自动测试执行和功能检查利用录制回放工具自动化记录和执行测试脚本（二）挑战脚本编程测试的局限性网络基础设施与架构的多样性移动设备多样性的挑战（三）功能测试1、目标

在一个分布式系统中，一组独立的计算机展现给用户一个统一的整体。

微内核：精简的内核宏内核：中央集权控制中心。

一、事件驱动架构概述（一）概念1、事件指状态的显著变化从来源来分，分为系统内部事件和外部事件从类型来分，分为业务事件和系统事件2、事件通知将事件通知到架构其他部分的一种特殊消息3、事件驱动架构通过事件进行通信的一种软件架构，最常用的架构范式。关注事件的产生、识别、处理和响应的情况（二）事件驱动架构优点天然为事件的发生和处理建立了模型事件与事件处理逻辑、事件处理逻辑之间都得到了充分解耦交互式的响应性能较好（三）事件驱动架构的缺陷要考虑异步通信中的常见问题开发

包含web端、PC端、移动端表示层的共同测试项。负责数据访问、数据管理服务。

特点：

获取单用户执行时的各项性能指标，为多用户并发和混合场景的性能测试分析提供参考依据。此时环境确认以后对业务模型中涉及到的每种业务做基准性的测试。并发不同数目的虚拟用户执行检查点操作。

助测试人员在实际开始测试前建立起一个全局目标，确定对软件进行探索性测试的整体方向，以便系统组织测试工作，从而尽量覆盖软件的复杂程度及特性。辅助测试人员针对测试中出现的细节问题做出及时性的决定。

把测试数据生成问题转化成为搜索问题，即从软件运行的输入域中搜索所需的值以满足测试需求，经典的基于遗传算法的测试生成。通过模型描述软件需求和期待的行为，自动生成测试用例和脚本，测试建模需要人工实施，而测试生成由生成算法自动完成。测试软件的性能，完成人工无法完成的测试。

不需要执行程序在编译和动态测试之前快速找出软件的一些缺陷的本质（黑盒是表面）能发现30%~70%左右的逻辑设计和编码的缺陷给变量赋值的过程；从变量定义到使用的控制流子路径要求覆盖变量所有定义，要覆盖从定义到其谓词使用或计算使用的至少一个子路径从每个变量定义到该定义的每次使用（包括谓词使用和计算使用）的所有控制流子路径要求覆盖到从每个变量定义到它的每次使用的所有无环子路径（从定义到使用的过程中，对这个变量不再做第二次定义）全使用测试和全定义–使用路径测试的区别。

很多程序设计的说明书是采用形式化的方法进行描述形式化的描述方法是巴克斯范式（递归思想表达计算机语言符号集）目的是在组合爆炸时提供一种相对合理的测试解决方案，在保证错误检出率的前提下，采用较少测试用例进行测试。是指将软件抽象成一个或多个参数影响的系统，并通过参数和参数的取值，按照一定组合策略来规划的测试。对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为等价类划分法的补充思路：先做等价类分析，再等价类选择数据时选择边界数据作为测试的输入数据。

一、测试过程模型（一）组织级测试过程用于开发和管理组织级测试规格说明。常用的组织级测试规格说明包括组织级测试方针和组织级测试策略。（二）测试管理过程1、内容包括测试管理和动态测试。动态测试：测试设计和实现过程、测试环境构建和维护过程、测试执行过程、测试事件报告过程2、作用结合通用过程，定义涵盖整个测试项目或任何测试阶段或测试类型的测试管理过程。动态测试可在测试的特定阶段执行，或用于测试项目中特定类型的测试。3、涉及7个过程测试策划过程测试设计和实现过程测试环境构建和维护

主要规定了组合测试的的测试对象、输入，预处理、组合的强度、约束的表示、组合测试的过程、组合测试的输入输出的表示等。规定了计算机软件测试生成周期内，各类软件产品测试的基本的方法、过程和准则。包括软件产品质量测量参考模型、质量测量的数学的定义及其应用的实用指南。定义计算机系统和软件产品质量、使用质量和数据的详细的质量模型。在要开发的软件产品的质量需求抽取过程中或用作评价过程的输入。提供负责管理软件产品质量需求和评价的支持功能的要求和指南。有助在质量模型和质量测量的基础上规定质量需求。提供质量模型的使用指南。

首先对一个个模块进行模块测试，然后将这些模块逐步组装成较大系统，组装中边连接边测试，最后通过增值逐步组成软件系统。不需要运行程序，通过人为审查程序发现错误。、混合增值式方式（前两种的结合）软件发生变动时需要进行回归测试。把所有模块组装在一起进行测试，测试软件有没有符合相关的要求。对每个模块分别进行模块测试，需要运行代码去发现错误。得到所求的软件系统。

测试贯穿于软件工程各个阶段。测试要追溯到用户需求。

GB/T 15532-2008《计算机软件测试规范》

一、投影与SELECT语句投射下标，是SELECT查询的列名二、选择与SELECT语句下标是 where后限制的条件三、笛卡尔积与SELECT语句合并两个关系四、θ连接与SELECT语句在笛卡尔积的基础上做选择运算。五、自然连接与SELECT语句自然连接结果中包含的列，去重之后六、关系代数查询优化准则提早执行选取运算合并乘积与其后的选择运算为连接运算将投影运算与其后的其他运算同时进行，以避免重复扫描关系将投影运算和其前后的二目运算结合起来，使得没有

针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求，由应用的环境决定。比如年龄必须为大于0小于150的整数。

项目估算是制定项目开发计划的。

版权，亦称“著作权”，符号：©。指作者或其他人（包括法人）依法对某一著作物享受的权利。

使多个对象都有机会处理同一个请求，从而避免请求的发送者和接收者之间的耦合关系。将这些对象连成一条链，并沿着这条链传递该请求，直到有一个对象处理它为止。

为某对象提供一种以控制对该对象的访问。（proxy）

以特定的格式，记录系统对各种基本数据要素的内容和特征的完整的定义和说明。DFD图底层的一个基本加工处理逻辑。系统中最基本的组成单位，不可分割。下一层加工是上一层分解而来。数据流图必要的补充和说明。父图有的，子图一定有。通常由多个数据项组成。

1.包括：问题定义、可行性研究、需求分析2.软件定义阶段任务。

是一种针对数据库的攻击手段，攻击者通过向应用程序的输入字段中注入SQL代码，从而影响数据库操作。– 是指注释userName是用户名输入的值passWord是密码框输入值满足strSQL的形式即可进行SQL注入攻击。

其中VN是指非空有穷集，其元素是指非终结符；VT是指非空有穷集，其元素是指终结符；P是指产生式的有穷集合。

在编译的时候可以没有明确变量的数据类型，在程序运行到具体的赋值语句时才明确变量的数据类型。如：SP、PHP、VBScrip、TOKEN、Python等。变量的数据类型在编译的时候就需要明确，也就是说在程序代码中需明确变量的数据类型，不能将其定义为可变的。如C、C++、JAVA等。

概念：申请资源的操作。每执行一次P操作，使信号量的值减1。概念：释放资源的操作。每执行一次V操作，使信号量的值加1。信号量是一个整型的变量，根据不同的环境发生变化。注意下PV操作是否是成对出现的，不成对，容易死锁。在P、V、S机制中，S指的是信号量。-独木桥模型：一次只能通过一个人。可以实现多个进程的协作运行。分类（根据控制对象不同）含义（根据控制对象不同）

记录笔记。

也就是说CPU根据存放的地址能在寄存器中找到存放操作数的地址；然后再根据地址访问对应的操作数；CPU有种找到后是地址1，然后根据该地址1，再找地址2，地址2才能知道操作数。CPU根据地址码中存放的地址，就可以读取到寄存器中的操作数；操作数直接存在寄存器中；地址码字段中存放的是。寄存器中存放操作数的地址 的空间的地址。主存中存放操作数的地址的空间的地址。对应操作数在主存中的存储地址。操作数在寄存器中的存储地址。对应的寻址方式名称+偏移量。地址码字段中存放的是。[ 1. 操作码字段。地址码字段中存放的是。