一种基于组合测试的主动防御系统兼容性测试方法

主动防御系统的部署需要进行大量的兼容性测试,其兼容性故障的诊断涉及到多种软件版本和硬件型号及其组合。面对主动防御系统应用环境中诸多的软件版本和硬件类型,快速有效定位兼容性故障来源是部署主动防御系统前的首要工作。针对主动防御系统兼容性测试的特性,基于组合测试的基本模式和特征,提出一种基于组合测试的主动防御系统兼容性测试方法。通过设计少量测试用例初步测试和分析,根据分析结果补充少量测试用例,迅速缩小故障来源的范围,提高了主动防御系统的兼容性测试的效率。     

一种Web应用跨浏览器兼容性测试方法

随着Web应用的日益普及，及可执行此类应用程序的浏览器越来越多，版本也在不断更新，Web应用的跨浏览器不兼容（Cross Browser Incompatibilities，XBI）已成为Web应用开发者面临的严重问题。提出一种结合DOM（Document Object Model）结构分析和页面元素（Screen Element）的计算机视觉分析方法，实现Web应用的跨浏览器兼容性测试XBCT（Cross-Browser Compatibility Testing），和现有的测试方法比较，实验结果表明了所提方法能够提高测试结果的准确性。     

航空订票业务的Web服务建模及组合兼容性验证

Web服务通过组合基本服务为解决复杂问题提供了方法,于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题,其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模,改进基于Pi演算的推理,提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法,进一步采用MWB工具展示了Web服务组合兼容性的验证过程。     

基于贝叶斯网络的Web服务组合故障诊断

提出一种利用贝叶斯网络对Web服务组合故障原因进行诊断的模型,对该模型中贝叶斯网络拓扑结构的构造以及网络参数的赋值方法进行了详细说明。然后,基于构造的贝叶斯网络,提出Web服务组合的故障检测算法并对其进行了分析。实验模拟表明,提出的模型能有效地识别Web服务组合流程错误的根本原因。     

多Web服务组合兼容性的自动化验证

Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论的基础上,给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法,通过将多Web服务组合自动转化为Pi演算中的组合进程,实现多Web服务组合的自动化验证。     

基于捕获/重放的Web应用跨浏览器兼容性检测

由于浏览器实现技术的差异以及对标准支持程度的不同,Web应用的跨浏览器不兼容性(cross-browser incompatibilities, XBI)已成为Web应用开发者面临的严重问题.现有的兼容性检测工具仅考虑用户交互事件而忽略了浏览器内部事件,无法保证在不同的浏览器平台上有相同的执行,导致检测结果出现大量误报和漏报.提出了一种基于捕获/重放技术的Web应用跨浏览器兼容性检测方法,在事件捕获阶段记录Web应用在参考浏览器平台运行时产生的各种非确定性事件,并在重放阶段在测试浏览器平台中进行远程重放.通过在重放过程中采集页面信息,保证了检测结果的准确性.为避免重复检测,设计了一种增量式的检测算法提高了检测效率.实验结果表明了所提出方法的有效性.     

一种基于语义消息的Web服务组合方法

在重用现有Web服务的基础上,通过服务组合形成新的、功能增值的服务是语义Web服务领域的一个重要研究内容.本文在Web服务语义描述框架的基础上,提出一种基于语义消息的Web服务组合方法,该方法定义了能够描述不同服务输出、输入消息之间对应关系的语义消息,能够业务逻辑上紧密关联的Web服务有机的组合在一起,从而为Web服务组合者以及面向服务的应用开发人员提供一种简单、直观的组合方法.     

一种基于关系图的Web应用测试生成方法

Web应用的迅猛发展及其自身的复杂特性给其测试带来了一定的难度,使得传统的测试方法已不能满足需求,迫切需要新的Web测试方法和技术.定义了Web应用模式并构造其关系图以对Web应用进行建模.关系图用来建立产生路径表达式的路径生成图,继而提出一种测试路径生成方法.若提供输入值,则测试路径可以很容易地构造测试用例.为了说明问题,给出了一个简单Web登录系统作为案例.此外,根据"分而治之"的原理,当被测Web应用过于复杂时,给出了一种路径生成策略.该策略使得Web应用简单而易控制,在某种程度上限制了状态空间的爆炸.最后,从理论上阐明了本文给出方法和规则的通用性及正确性.     

Web应用程序搜索功能的组合测试*

为了方便用户查询感兴趣的资源,许多Web应用程序会提供搜索功能。如果搜索功能存在故障,将会导致Web应用程序的功能异常,甚至会引发安全问题,因而需要对其进行充分的测试。可以使用组合测试的方法生成测试用例测试Web应用程序的搜索功能,其中每一个测试用例是由特殊字符组成的字符串。对于引起系统错误的测试用例,使用组合测试错误定位的方法找到系统错误是由哪些字符组合引起的。使用该方法对学校、政府和事业单位的96个网站进行了测试,发现其中23个网站在搜索某些特殊字符组合时,会引起服务器错误响应。错误定位结果表明,56%的服务器错误响应是由%<’和其他字符的组合引起的。     

基于行为投影的Web服务组合行为兼容性研究

Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。     

基于Web Services的故障诊断联盟

介绍了基于Web Services的故障诊断系统模式——故障诊断联盟的组织形式和资源管理机制。故障诊断联盟是结合已有的各种故障诊断、网络通信和现代信息管理等技术提出的,它以联盟的形式建立服务机制．实现了各种资源的优化配置,形成了分布式决策群体,提高了决策质量,真正实现了故障诊断的联盟化、信息化和智能化。     

一种新颖的Web服务安全性测试方法

针对传统的Web服务安全性测试方法存在的低效、缺乏灵活性、不适应复杂安全功能测试及难以实现异常测试等问题,本文提出一种基于WSDL文件动态解析和安全功能分解的Web服务安全性测试方法。该方法采用运行时动态解析WSDL文件的方式解决了传统测试方法与被测Web服务紧耦合的问题,将复杂安全功能分解为7类原子安全处理类型,使其能够有效适应复杂安全功能测试的需要,采用故障注入机制生成错误的SOAP消息使其支持异常测试。实验结果表明,该方法具有灵活性、高效性和先进性。     

基于Gabor小波变换册的齿轮故障诊断方法

齿轮产生局部故障时,失效的轮齿间断地进入啮合,产生冲击振动,使得齿轮振动信号包含了非平稳或时变成分.基于平稳信号处理的传统方法无法全面反映信号的时变特性.作者研究了Gabor小波变换册方法,Gabor小波变换册是小波变换的推广,它是时间-频率-尺度三维空间上的线性变换,它有机结合了小波变换与Gabor变换,具有对非平稳信号的强大分析功能,利用其作信号的谱估计,不仅具有小波变换谱估计方法高频率分辨率的优点,而且不受信号频率范围宽窄的限制,可以根据需要自由地选择尺度参数,谱估计值准确有效.利用Gabor小波变换册作齿轮故障信号的谱估计,比经典的自功率谱估计在齿轮局部故障诊断中能取得更好的效果.文中并对该方法进行了仿真和实验验证,仿真和实验数据的分析结果表明这些方法可突出齿轮的边频带结构,适用于齿轮的局部故障诊断,具有一定的应用价值和更深入的研究价值.     

基于贝叶斯与多故障推理的Web服务诊断

Web服务组合进程规模的不断增加和复杂性的不断提高都有可能导致服务的运行失败,因此很难确保服务的可靠性。针对传统的基于模型的方法无法处理服务应用系统中状态和行为故障的不确定性问题,提出了一种基于贝叶斯与多故障逻辑推理的诊断方法。该方法使用历史数据构建服务执行矩阵,通过多故障逻辑推理技术获取候选诊断解并利用贝叶斯公式计算候选解的后验概率并排序,最终获得一个最优的诊断结果。相比于传统基于模型的Web服务诊断方法,该方法不仅可以同时定位多个故障,而且能够随着历史数据的增加不断优化诊断结果。实验证明该方法具有很好的诊断效果。     

一种模拟驱动的Web应用程序性能测试方法

性能是Web应用程序成功的要素之一，性能测试则是保证这一要素的重要手段．但由于Internet及Web用户的不确定性，Web应用程序的性能测试难于传统Client／Server的测试．比较了3种主要的Web性能测试方法；提出了一种简单可行的、通用的方法——模拟驱动的自动负载测试方法．关键的步骤有：根据系统使用方式和客户端各种特征的分布信息来确定测试负载、设计测试用例；利用测试工具开发相应的测试脚本；运行测试用例模拟不同类型用户的典型行为；收集被测程序的性能数据．结合实例详述了该方法，并给出了测试计划的模板．     

基于仿真与数据挖掘的故障诊断方法研究

针对导弹武器系统故障信息的特点,提出了系统仿真与数据挖掘相结合的综合故障诊断方法.文中将导弹武器系统故障检测信息分为3类,即:离散交互特征信息、连续动态特征信息和离散事件特征信息.通过实例阐述了数据挖掘在导弹武器系统故障诊断中的应用.分析了基于仿真的故障诊断方法,在此基础上,结合仿真与数据挖掘各自在故障诊断方面的优势,进一步提出了基于仿真与数据挖掘的综合诊断方法,给出了方法的步骤和诊断流程.     

基于多Agent混合推理的故障诊断方法

提出了基于正反向混合推理的故障诊断疗法,运用基于动态模糊综合评判的正向推理生成候选故障集,作为反向推理的基础。基于诊断任务的多层次混合分解策略,提出了融合不同知识表达方式和推理机制的多Agent并行诊断结构,分析了管理Agent、诊断Agent和决策Agent的基本职能,给出了并行推理过程中的冲突消解算法。     

基于Watir框架的Web自动化测试

电子商务的扩大,网上商城的便利,搜索引擎的高效等等,越来越多地融入寻常百姓的生活,使人们足不出户就可以实现交流、购物、了解时事。多媒体也从单一向网络多元化方向发展。在满足用户需求的同时,网站也在逐渐地完善,提供给用户更多人性化、良好的交互效果、高质量的Web应用,这也是网站生存的基础。基于Watir框架的Web自动化测试是模拟用户手动操作目标页面,通过与预先设置好的期望结果做对比来排查软件缺陷,以提高软件质量。     

一种基于组合测试的软件故障调试方法

在研究了组合测试基本模型的基础上,提出了一种基于组合测试的故障原因诊断方法．该方法基于组合测试的结果,补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考．     

基于Web的考试系统的开发

以工程制图课程为例,对以图形为主的考试系统的开发进行了探讨,并实现了基于Web的具有交互功能的小型网络考试系统。