一种Web应用测试结果分析比较技术

合理分析、正确比较Web应用的测试结果能够有效评判测试工作的效果和效率。在现有工作的基础上,我们提出一种新的测试结果分析比较方法,利用语义标注和XML描述技术实现Web页面中数据与显示信息的分离,从而方便测试结果与预期结果的直接比较;并进一步引入反馈控制机制,把测试结果反馈给Web应用本身,根据Web应用的实际状况来指导其发展和演化,使得系统质量得到进一步改善。     

一种基于组合测试的Web应用兼容性故障诊断方法

Web应用兼容性故障诊断涉及到种类繁多的软硬件设备、数目庞大的设备品牌和型号以及各种情况的组合，如何有效而又快速地对故障定位是一项很重要的工作。针对Web应用兼容性测试的特性以及组合测试的基本模型和特征，我们对组合测试的结果进行分析，根据初步分析结果补充一些附加测试用例进行重新测试，并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内．为Web应用兼容性的调试和测试工作提供方便、有价值的线索和参考。     

基于Q学习的复杂程序动态依赖性分析

准确刻画不确定环境中复杂程序的动态特性，是传统程序分析理论和技术面临的难点，更是许多重要系统实现程序动态实时分析与控制过程亟待解决的问题。本文提出基于Q学习的复杂程序动态分析思想，构造了基于Q学习的复杂程序动态依赖性分析基本算法。并对复杂程序动态实时分析与控制技术的实现环节进行了研究，探讨了相关问题，从而使复杂程序动态分析与控制过程更精炼、更智能、更高效。     

设计结构图—大型实时软件设计的有效工具

本文介绍了一种适用于大型软件和实时并发软件设计的图形设计语言－设计结构图。与其它图形语言相比，设计结构图结构化程度更高，表达能力更强，更能反映现代软件工程的一些基本原则。     

Pascal与Ada的比较

这是一篇比较二种语言的文章,在风格上与别的比较文章有所不同。它没有就语言各个特性分别进行比较,而是存在本质上指出了两者的异同,提出了作者自己的看法,其见解有独到之处。文中指出:虽然 Ada 以 Pascal 为基础,但它有很不相同的设计目标。Pascal 为教学设计,而 Ada 则为大型军用软件系统设计。仅当其限制不危及应用的程序设计时,Pascal 的简明性才是有益的。Ada 中作为程序包提供的改进的模块化应当成为商业开发的一个重要方面。     

一种基于异常传播分析的依赖性分析方法

在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.     

一种基于信息量的缺陷定位方法

缺陷定位是软件调试过程中的重要环节,它通过利用程序信息和测试信息来定位软件中的错误.借助于事件信息量,提出一种基于事件信息量的缺陷定位方法——SIQ(suspiciousness based on information quantity).SIQ方法根据测试信息中不同事件的类型及其发生的概率,结合语句的执行信息,动态计算和调整缺陷定位的结果.通过大量的实验分析和对比,SIQ方法在多个数据集上表现出了很好的稳定性,与几种现有的缺陷定位方法相比,SIQ方法的缺陷定位效果也更加准确.     

集成式项目支撑环境初论

本文简述了集成式项目支撑环境(IPSE)的发展过程,讨论了IPSE的基本功能与构成,然后分析了IPSE的特性与要求,最后概述了几个主要IPSE。     

循环油浆蒸汽发生器管板开裂原因及改进措施之文献综述

循环油浆蒸汽发生器是炼油厂催化裂化装置中重要的换热设备,但在使用过程中,往往在很短的时间內就出现管板开裂等问题,对此,许多学者或工程技术人员进行了开裂原囚分析,并提出了改进措施,以延长蒸汽发生器使用寿命。文章在查阅相关文献的基础上,对循环油浆蒸汽发生器失效原因和改进措施进行综述。