【摘 要】
:
随着互联网和软件产业的蓬勃发展,五花八门的软件也在悄然渗透到人们生活的方方面面。各类软件层出不穷,在一定程度上极大的丰富和方便了人们的生活。然而,在提供高效便捷的
论文部分内容阅读
随着互联网和软件产业的蓬勃发展,五花八门的软件也在悄然渗透到人们生活的方方面面。各类软件层出不穷,在一定程度上极大的丰富和方便了人们的生活。然而,在提供高效便捷的同时,一些恶意软件、恶意插件也混入其中,对用户和开发者造成了很大的困扰。由于缺乏对软件的监管以及对软件的安全性的测试,使得软件安全隐患大大增加,用户隐私泄漏甚至财产受到威胁的事例频发。因此,如何保证软件的可信性已成为软件行业当下亟需解决的问题。软件的可信性是软件的非功能性需求中的重要组成部分。但目前尚未有成熟的可信性测试方法,且因软件本身的平台不同、功能差异、以及测试人员本身知识水平和专业技能的局限等,测试的结果往往不尽如人意。本研究从软件的功能出发,旨在根据软件的功能而非软件本身特性来分类,提出一种行之有效的软件可信性测试方法。本文通过对可信和可信性测试进行深入研究,分析了可信性测试的特点,对传统的测试模型进行优化完善,引入行为声明文件与可信测试用例类库,得出可信性测试模型。然后对可信测试用例生成部分进行进一步设计,通过参数编码结合路径覆盖的思想,运用人工免疫算法设计了可信测试用例自动生成框架;同时提出可信测试用例类库的概念,对类库的设计思路和在可信性测试中的作用进行了详细的讲解,并对可信测试用例的结构进行了设计。最后设计了可信性测试平台,并将整个可信测试用例生成方法作为其中的一个主要的功能模块,并进行了可信测试用例的生成实验,证明了该方法的可行性。通过以上工作,将大幅降低软件测试成本,减轻测试人员的软件测试压力,并且提高可信性测试的完整性,提升软件的安全性。
其他文献
随着经济全球化的发展,全球环境也随着国际资本流动速度的变化而不断恶化,外商直接投资与环境之间的潜在关联性日益显现出来,成为时下跟踪探讨的热点问题之一。中国经济正处
在我国社会保障制度的改革和发展进程中,其信息化系统的建立和使用在社会保障日常业务处理过程中积累了大量的基础性资源数据和社保信息。但是这些数据并不能直接用于社保决
厌氧氨氧化(Anaerobic ammonia oxidation,Anammox)菌群有着生长极其缓慢,对生长环境要求高而多的特点,细胞分裂时间长达11d左右,对生长环境极其敏感,因此严重制约了厌氧氨氧化工艺的快速发展。由于Anammox菌的生长极具特点,因此引来越来越多的研究者对其纷纷进行各方面的研究。本文通过单级自养脱氮反应器对Anammox菌进行实验室富集培养,培养过程中通过测量其水质的含
多类分类问题是机器学习的一个重要研究领域,然而对其直接求解在很多情况下并不能达到很好的性能。因此,将多类问题分解成若干两类问题求解是一种简单通用的策略。纠错输出码
光正交频分复用(OFDM)具有高频谱效率、强色散容忍度和带宽动态分配的特点,被广泛应用于光接入网络。但是,OFDM具有多载波调制的固有缺点,即当子载波在时域叠加时会出现高峰
时间知觉是指对客观事物发生的连续性和顺序性的感知,是时间心理学研究领域的热点问题之一。时序知觉是早期的知觉加工和晚期的决策加工等多个阶段相互共同作用的结果。目前对时序知觉影响因素的研究主要有自下而上和自上而下两种加工取向,知觉组织是影响时序知觉的一个重要因素,采用时序判断任务的研究显示,知觉组织对序列性时序知觉有损害作用。而且有ERP研究显示,知觉组织对时序知觉的影响可能发生在信息加工的早期阶段,
量词是汉语的一大特色词类,同时也是对外汉语教学的一大难点,尤其是近义量词的教学,如“片”“张”“面”“幅”。由于其意义和用法相近,因而留学生在习得过程中极易出现混淆的情况,从而导致偏误的产生。为此,本文以明确量词“片”“张”“面”“幅”的用法为出发点,借助前人研究对“片”“张”“面”“幅”进行语义分析,从使用频率、教纲情况、留学生的习得情况三个方面展开调查,试图找出这四个量词在对外汉语教学中存在的
垂直腔面发射激光器(Vertical-cavity surface-emitting laser,VCSEL)具有低阈值、圆形光斑、平面工艺兼容易于集成等优点,在光通信、光互联、传感等领域有着重要应用,也是实现微型化生化检测系统的理想光源之一。将多个VCSEL紧密排列在一起形成VCSEL阵列,当阵列相邻单元间的距离小于一定值时,各个发光单元之间的光场在器件内完成耦合,实现位相锁定。耦合阵列的单元间
UHF RFID技术因识别速度快、传输距离远、抗恶劣环境能力强等特点,在智能家居、身份识别、公共安全等领域都有着广泛的应用。随着UHF RFID技术的不断发展,新的技术标准也不断
目的:通过血栓弹力图(Thrombelastograghy,TEG)对心脏瓣膜置换手术中患者体外循环(Cardiopulmonary bypass,CPB)前后凝血功能指标的测定,对比分析阻断时间、肝素作用时间、CPB时间、年龄、维生素K1的使用天数、换瓣个数、体重指数(Body Mass Index,BMI)及CPB前后红细胞压积等各因素分别对患者CPB前后凝血因子及纤维蛋白原的影响情况,为临床