用于覆盖测试的代码插桩程序设计与实现

设计了一种用于覆盖测试的代码插桩器,重点介绍了一种高效的词法语法分析方法：通过所读入的左右大括号是否匹配把整个代码分为函数内部和外部,根据这两部分感兴趣的关键字不同建立不同的DFA状态转换表,使每个词素能够用最少的状态转换次数判断出是否为所关注的关键字,减少状态转移的时间复杂度;使用已生成的状态转换表,消除了建立DFA的时间开销。描述了状态转换表的生成过程,插桩器的实现过程以及运行结果。     

基于JavaBean的构件测试方法研究

介绍了基于构件的软件开发过程，阐述了当前构件测试的发展现状，提出将传统软件测试中的动态和静态测试结合进构件测试，并以实例分析了基于JavaBean的构件测试，从而更好地展现了该测试方法．     

浅析构件测试技术

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。本文结合传统的软件测试技术,针对构件技术新特性在测试中引发的问题,对构件软件的集成测试和性能测试等问题进行了讨论和分析,并给出了构件软件测试的存在问题和研究方向。     

基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.     

一种面向构件自动化组装的构件检索方法

根据构件自动化组装系统对构件语义检索的需求,介绍了一种面向组装的构件检索方法.该方法将传统的刻面算法与基于领域Ontology的检索匹配算法相结合,借以提高算法的语义检索能力,同时把构件功能采用结构化的描述方式,关联到各个接口.其中详细介绍了构件描述模型和构件检索匹配算法.     

一种面向检索的构件描述方法

基于构件的软件工程可以提高软件的质量、降低软件开发和维护的成本,构件的描述是构件检索和复用的基础,提出了一种面向检索的构件描述方法,包括接口描述、语义描述、属性描述和附带档四个部分,用于在构件库中对构件进行描述,并作为构件检索的依据,能够简化构件的语法检索,提高检索的速度和查全率;显式的描述构件、各接口元素的语义及其之间的关系。     

一种改进的基于动态链接库的代码插装技术

介绍了动态测试的关键技术-“代码插装”的原理，并在已经实现了的面向Visual Basic。语言的测试工具的基础上，提出了一种改进的基于动态链接库的代码插装技术．介绍了面向Visual Basic源程序的代码插装流程。     

一种面向工程的构件式软件体系结构模型

从软件体系结构服务于软件工程出发,总结出6种基本模型元素,建立一种新的构件式体系结构模型———EOCSAM模型,给出它的形式语法和语义.与其他模型不同的是,它将构件的接口、连接模式、性能等作为体系结构的第1类模型元素,并给出计算法则.它能更好地实现从应用需求到代码实现之间的逐步过渡映射,能够从功能、结构和任意多种性能的侧面对系统进行逐层跟踪分析,并可作为软件开发全过程的协同工作框架.     

XCODE:一种面向系统软件的可扩展构件描述语言

给出了一种称为XCODE的构件描述语言.作为一种基于XML的语言,XCODE可以被用于不同目的场合.它提供了一种可扩展的、独立于工具的方法,可服务于描述编译、链接、运行时刻构件的不同侧面.     

一种增强代码理解的代码可视化工具JavaCity

该文提出了一种基于城市隐喻的沉浸式代码可视化工具JavaCity,实现了方法级别的细粒度可视化;通过抽取软件项目各项度量值构建可视化可交互的虚拟城市,进一步增强代码可视化和代码理解的能力.在JavaCity和IDEA上进行的对比实验研究表明：JavaCity在理解软件项目相关的任务上时间效率节省200 s以上,在有用性评价上接近100%正确,近90%的参与者在脑力劳动、努力程度和挫折程度方面认为认知负荷更低.     

一种基于模型检验的类测试用例生成方法

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.     

软件测试自动化关键技术的研究

软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的关键手段。为了提高软件测试的效率,开发软件测试自动化工具是十分必要的。本文在已经实现了的面向对象语言的软件测试自动化工具-Panorama的基础上,介绍了开发软件测试自动化工具中的一些关键技术的实现原理。     

现代工程项目三方合同系统研究

对三方合同进行了系统的分析和研究,提出三方合同的概念、常见类型及其特征以及日后在三方合同研究工作中需要解决的问题。     

基于Web Component 的自动化测试工具的研究

随着组件重用技术在软件开发中的广泛使用,软件测试变得越来越复杂,而自动化测试工具能有效降低软件测试的复杂度.运用自动化测试理论,讨论了基于Web Component的自动化测试一般方法,设计了一种基于Web Component的自动化测试工具.     

基于组件的移动代码系统开发

基于移动代码系统的基本模式并结合组件技术构造了移动代码系统的组件结构,运用移动代码工具箱设计和实现了这一结构,同时对组件间的通信机制进行了深入探讨。     

基于源代码分析的软件静态测试

介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究。通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作。     

基于嵌套树模型检测的研究

文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。     

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。