面向Web服务器端敏感路径的客户端EFSM测试生成

来源 :北京化工大学 | 被引量 : 1次 | 上传用户:wofucyou4444
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,超过90%的Web应用程序容易受到攻击。一旦Web应用程序被攻击,将会严重威胁到Web应用程序的安全性,造成经济损失。因此,如何提高Web应用程序的质量和可靠性,减少软件安全漏洞,已成为众多学者和软件从业者高度重视的一个热点问题。测试用例生成是Web应用程序测试中一项非常重要的技术。现有的大多数研究主要集中在如何从客户端或服务器端生成测试用例来检测故障。但是,只考虑客户端或服务器端的测试生成,容易导致测试不充分。若能从客户端与服务器端两方面考虑测试用例生成,则能更好地检测到Web应用程序中存在的故障。因此,本文针对Web应用程序提出一种面向Web服务器端敏感路径的客户端EFSM测试生成方法,该方法从Web的客户端和服务器端两方面着手,以服务器端中易受攻击的敏感路径为目标,以敏感路径的覆盖信息作为客户端与服务器端相结合的切入点,利用Memetic演化算法来指导客户端EFSM模型测试用例的自动生成,对服务器端敏感路径进行测试。此外,为解决EFSM模型生成的抽象测试用例不可直接执行问题,本文提出一种基于Selenium的测试脚本自动生成方法,通过分析提取EFSM模型所有迁移的特征对迁移进行聚类,结合Selenium的语法规范及映射规则,将每一类迁移转化为可执行的测试脚本,形成迁移脚本库,为测试用例生成提供支持。为评估本文提出的方法的有效性与效率,本文选取了 5个PHP Web应用作为被测对象进行一系列的实验。实验结果表明,基于Selenium的测试脚本自动生成能有效地将抽象测试用例转化为可执行的测试脚本,并且面向Web服务器端敏感路径的客户端EFSM测试用例生成能有效地实现Web服务器端敏感路径的覆盖。
其他文献
室内湿度影响着日常生活、生产的各个方面,如博物馆、画廊等场所以及纺织、造纸等生产工艺都对空气的湿度有着很高的要求。在建筑围护结构内表面应用调湿材料是一种调控室内
移动互联网的迅速发展,使得运行于智能终端上的APP成为人们生活中不可或缺的一部分。然而各APP彼此孤立、异构、相互间缺乏数据共享与连锁响应的状况,导致用户在解决复杂任务
在机器学习中,原型选择(即实例选择、样本选择)和属性约简(即特征选择、属性选择)成了数据挖掘中必不可少的步骤,在机器学习中变得越来越重要。属性选择以及样本选择在机器学
分布式电源的开发和利用技术逐渐获得发展。微电网作为分布式电源接入主网的中间过渡,极大地降低了各类分布式电源并入主网所造成的冲击和振荡。逆变器是整个微电网的核心部
近年来,随着信息技术突飞猛进的发展,网络在国计民生中发挥着日益重要的作用.同步控制作为网络研究中最基本也是最重要的研究问题,受到了广泛关注.由于分数阶微积分可以更好地描述复杂系统变量的记忆和遗传性质,与此同时,时滞的不可避免性激发了学者们对具有时滞耦合的分数阶动力网络的同步研究.因为Caputo分数阶导数不满足算子的合成性质,导致了我们很难构造合适的李雅普诺夫函数来处理时滞项并获得实用的代数判据,
红花为菊科红花属植物红花(Carthamus tinctorius L.)的干燥花冠,是我国传统中药,具有抗肿瘤、抗氧化和抗炎等药理作用。黄酮醇及其糖苷类化合物是红花的主要活性成分之一。
随着5G时代的来临和人工智能研究的发展,自动驾驶成为当下学术界、工业界和商业界备受关注的焦点。传统的驾驶策略模型,是通过人工来进行数学建模,对于复杂的交通环境,不能很
核电厂主厂房作为我国生命线工程,要保证核电厂主厂房在地震作用下的安全性与可靠性,需要对其结构进行全面合理的抗震分析与评估。地震易损性理论是评价建筑结构抗震性能的重
水稻是重要的粮食作物和基础研究的模式材料,水稻的正常生长发育与环境因素息息相关,不利的环境与病虫害的侵扰会直接影响水稻的产量。MAPK(Mitogen-activated protein kinas
微电网中分布式电源受风力大小、昼夜交替等客观因素影响使并网逆变器时常处于空闲状态,其限制微电网并网设备利用率;另其对电网电能质量影响日益突出。为此,对微电网并网逆