一种基于UML和CP-net集成描述的面向对象软件的交互测试方法

面向对象技术在软件工程中的推广使用，使得传统的测试技术和方法受到了极大的冲击．对面向对象技术所引入的消息传递、数据抽象、封装、继承、多态等新特点，传统的测试技术已经无法有效的进行测试．对面向对象软件的测试，测试策略或方法都需要出现相应的变革或更新．本文给出一种基于UML和CP-net集成描述的面向对象软件的类集成测试方法，重点在于测试不同的类方法之间的交互行为．这种方法首先用UML和CP-net集成描述用户需求，然后基于这个描述模型，按照基本路径覆盖的标准自动产生测试例．     

TTCN-3编译系统的语法分析自动工具YACC的实现

研究了Windows平台下TTCN-3编译系统的语法分析自动生成工具(YACC)的实现过程，并对该系统作了初步测试，对主要算法作了简单的评述．     

入侵检测中的告警分析研究

针对目前对入侵检测中告警分析技术研究的不足，讨论了网络入侵检测系统中的告警分析问题，完成了网络入侵检测系统的告警分析中心的方案设计，并给出了一种基于数据库的通用告警分析层次化实现模型．     

基于组件级化简的语义验证方法在电子商务过程中的应用

工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.     

支持ULE/MPE的IP over DVB-S接收系统在Linux下的设计与实现

IP over DVB-S是基于卫星实现IP数据广播的关键技术,在远程教育等领域广泛应用.ULE封装协议相比传统MPE协议更加简练、高效,对IP网络支持更好.设计了IP over DVB-S接收系统,并对其在Linux中实现时的关键技术予以介绍.该系统具有兼容ULE / MPE两种封装方式、支持IPv4/IPv6双协议的特点,在实际环境中进行了部署.     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。     

基于相同形式模型的协议测试方法研究

首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对当前版本的一个扩充,并将扩充分为三大类:保留项扩充、选项扩充和部分改变,相应的给出了针对各类变化的测试方法,最后以O SPFv3中的H e llorece ived事件为例介绍了提出的测试方法.     

一种有效的形式描述技术:GE-LOTOS

利用面向对象程序设计语言Ｊａｖａ完善从体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件,使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开,而且为了方便用户,满足工业界和其它领域的要求,给出了一个从ＧＥ－ＬＯＴＯＳ到Ｅ－ＬＯＴＯＳ描述的一个算法。     

非确定并发系统的基于说明的测试推导

讨论具有非确定性的分布式并发软件系统，对论（1）的行为机构造方法的测试推导方法进行了扩展，使之可同时适用于确定和非确定的并发系统。     

多用户DBASE Ⅱ数据库功能在ALPHA机上的实现

我们在多用户分时系统上实现了一个数据库管理系统。本文介绍了数据库管理系统的主要功能、设计思想和实现方法。