【摘 要】
:
近年来,我国的互联网产业正飞速发展,其中移动互联网所占比例正逐渐增加,移动终端软件在很大的程度上推动了经济与社会的发展。然而,随着应用软件数量的增加和其规模的扩大,
论文部分内容阅读
近年来,我国的互联网产业正飞速发展,其中移动互联网所占比例正逐渐增加,移动终端软件在很大的程度上推动了经济与社会的发展。然而,随着应用软件数量的增加和其规模的扩大,越来越多的恶意软件出现在市面上。尤其是对于Android应用,由于没有统一的发布平台和有效的管控方式,使得隐私窃取、恶意扣费等行为时常出现在应用的使用过程中。如何保证移动终端应用的可信性是目前环境下亟需解决的问题。软件可信性是可信计算的一个分支,也是当前环境下的研究热点。软件的可信性目前暂时没有统一的定义,有研究者对其给出如下定义:软件可信性是指软件的行为和结果符合用户预期,并在受到干扰时仍能提供连续服务的能力。根据此定义,我们可以得出将软件可信性与软件行为相结合的评价方法,即判断软件的实际行为是否与预期行为保持一致,来决定该软件行为是否可信,从而对软件整体进行可信性评估。在软件开发声明周期中的测试阶段可以利用该理念对软件进行可信性测试,但目前尚未有成熟的测试方法,测试的成本往往过大。本研究以Android应用作为研究对象,旨在研究一种可行的应用可信性测试方法。本文通过对Android系统特性和应用特点进行研究,初步了解了该系统的安全机制以及应用的行为特点,为可信需求的获取奠定了基础;同时对可信行为声明进行了研究,给出了定义,并对其性质和在应用开发中各个阶段的作用进行了研究,特别是其在应用测试阶段的作用,最后给出了可信行为声明的通用结构;结合Android应用的行为特点及可信行为声明,定义了基于Android的可信行为声明,并对其结构和内容进行了细致的阐述;将研究得出的可信行为声明融入到应用的测试过程中,得出了基于可信行为声明的应用测试模型和测试流程,并且结合遗传算法相关知识,给出了基于遗传算法的测试用例自动生成方法;最后,设计并实现了应用可信性测试平台,该系统具有分析行为声明功能,并根据项目文件通过遗传算法生成针对行为子项的测试用例,除此之外还有权限和角色管理模块。通过以上的工作,大幅度减少了测试过程中的人力成本消耗,并且提高了测试的准确率,保障了软件的可信性。
其他文献
由于我国电力资源与负荷中心分布的不匹配性,特高压输电技术的研究成为目前的研究热点之一。随着我国经济的不断发展,全国大部分区域均存在持续的严重雾霾及沙尘天气。在这些复杂的气象环境下,高压输电线表面会积聚大量的污秽物,这将影响输电线的表面形貌,进而影响输电线表面的电场分布并诱发电晕放电。因此,有效降低输电线表面积污程度以减少其表面粗糙程度,对于高压直流输电线路的优化设计,延长输电导线的运行寿命均有重要
在古往今来的文学创作中,对于“光”的关注及描写是一个值得探讨的话题。“光”也以其特有的特点风貌,在文人审美视野与价值系统中占据重要位置,同时给予了不同民族集体无意识中深刻而富有暗示性的印记。文中涉及的“光”意象包含自然、社会与超验三个层次,它是感官层面人们对光明和温暖的渴望,也是超感官层面人们对神性的靠近与描摹。所以,对“光”意象的意蕴探寻,不仅关系着人的现实存在,也是对更加诗意美好世界的探索。本
时间序列数据(以下简称时序数据)被定义为以相等的时间间隔进行连续测量的一组观测值,出现在现实生活中的很多应用领域,比如经济金融、工业生产、资源环境、科学创新。我们可以通过分析时序数据的潜在规律和机制,达到对时序数据的描述和解释,更好地认识各个领域中的现象以及探索其中的科学价值。更进一步的,通过对时序数据进行数学建模实现准确预测的功能,从而在不同应用领域中为决策者提供决策参考和前瞻性的指导。随着大数
大面积轫致辐射(Large-Area-Bremsstrahlung,LAB)二极管是将脉冲功率装置产生的高压、强流电脉冲转换为大面积、高剂量率X射线均匀辐射场的关键器件。广泛用于辐射场模拟、抗
在国防科技中,很多大型设备中存在狭小曲面层间结构。人们需要测量其内部的应力和磁场,但传统的压力测量传感器和霍尔元件均不能满足上述要求。然而,少量碳纳米管和硅橡胶混
基层社会的治理问题正在成为广大群众日益关注的热点问题。改革开放后,我国的社会结构得到了进一步的优化,总体性社会的特征逐步被分化性社会所取代。这种社会结构的改变为改革初期的社会注入了活力,但也为我国新一阶段的社会发展带来了一定的负面影响,社会多元化的资源亟待被有序合理地整合。进入新时代,我国社会的主要矛盾已经转化为人民日益增长的美好生活需要和不平衡不充分的发展之间的矛盾,当前的重要任务就是必须调整基
随着社会经济的发展,人们对身份验证安全性与便利性的要求日益增加,基于人脸的身份验证技术在近几十年有了长足的发展,其具有直接、友好、方便等优点,从而得到了广泛的关注与
我国是冻土大国,冻土面积大,分布广,存在时间长,很多地区存在着严重的石油污染,而有关冻融过程中水溶态石油污染物的迁移和再分配规律尚不明确。本论文选择典型石油污染物—
前人关于中部拉萨地体是否存在古老基底进行了大量研究,但是目前主要报道的数据集中于中部拉萨地体中东部地区,而西部地区还未发现直接的岩石学证据证明古老基底的存在,这导
目的:多胺主要包括腐胺、亚精胺和精胺,普遍存在于细胞和生物体中。多胺代谢异常与癌症的发生和发展密切相关,癌细胞的生长非常依赖于细胞内的多胺水平。鸟氨酸脱羧酶(Ornithine decarboxylase,ODC)是多胺生物合成途径中的关键酶,抑制ODC活性可以降低多胺水平,因此ODC是抗肿瘤药物的潜在靶点。D24是本课题组前期从小分子库中筛选获得的针对抑制ODC的小分子化合物。前期研究结果显示,