一种组件化知识库系统的设计与实现

文章提出了一种基于Java Bean的组件化知识库模型,以及一种XML(Extensible Markup Language)标记语言和Java程序设计语言相结合的领域知识表示框架,并实现了该知识表示框架向Java Bean知识库模型自动转换的编译优化系统,方便了知识库的构建与应用。     

基于Junit自动生成类测试案例框架的实现

论文对Java程序的抽象类、包含内隐类的接口、其它内隐类和普通类的测试提出了不同的测试案例模式,结合Liskov替代原则对类测试的要求,实现一个基于Junit生成包含测试神谕的测试案例框架的工具。借助该工具,程序员在编写测试案例时,只需在自动生成的测试案例框架中添加测试数据就可获得完整的测试案例。     

Java编程题自动判分软件框架的设计

通过分析面向对象程序及其判分规则的特点,提出了一种基于反射机制、以class文件为评判对象、判分项为基本评111单元的Java编程题自动判分技术.该技术克服了现有自动判分技术存在的不足,遵循了面向对象程序固有的特征;以此为基础设计并实现了一个Java编程题自动判分软件框架.借助此框架,可以快速搭建各类涉及Java编程题自动判分功能的考试系统和作业评判系统.最后通过一个实际系统的开发表明了该框架的有效性.     

一种J2EE服务器端软件测试用例的复用框架研究

JZEE框架实现了多层次的应用程序体系结构,同时也提出了多层次应用程序测试的需要．如何在服务器端多种容器环境内的测试中实现测试用例的复用成为影响测试效率的关键因素．本文通过分析测试JDBC标准符合性的工具CTS,研究了实现服年器端多种容器环境测试用例复用的基表框架．该框架在增加简单的环境辅助类基础上,利用面向对象的继承机制和Java语言的反射机制,实现了多种容器内测试时测试用例复用．经过扩展测试用例,该工具已成功应用于国家863项目数据库标准符合性测试．     

基于脚本的构件测试自动化框架

针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表明,该框架能有效对构件进行自动化测试,自动化程度较高。     

TUSCANY中基于角色的组件访问控制的设计与实现

本文在Tuscany SCA Java基于角色的访问控制框架只有接口没有实现的情况下,给出了接口的具体实现,并且设计和实现了一个角色管理服务,辅助其应用于实际项目的访问控制。通过测试案例验证了在Tuscany SCA Java框架下的基于角色的访问控制实现方案的可操作性。     

遗传算法在排课系统中的应用与设计研究

为了方便教学管理方面的课程安排,在研究遗传算法的基础上,以软件工程的思想研究了排课系统的设计过程,并使用Java语言实现了基于遗传算法的排课系统。经过测试,该系统能自动完成自动排课和手动调整功能。     

一个基于XML的自动化类测试框架

针对当前自动化类测试工具/框架存在的问题,提出了一个基于XML的类测试框架。框架采用基于XML的自动化测试过程数据流模型,用XML语言来描述和组织测试用例,自动生成测试驱动程序,自动执行测试并生成测试结果。框架可用于不同语言应用程序的自动化类测试,框架实现测试设计、测试实现和测试执行的分离,利于测试脚本的维护,并保证测试脚本与测试用例的一致性。     

面向Java锁机制的字节码自动重构框架

Java语言提供了同步锁、可重入锁和读写锁等几种锁机制,在并行程序设计中不同的数据结构使用这几种锁机制时获得的性能通常是不同的。为了在不同的锁机制之间进行自动转换,进而帮助程序员了解程序的性能,提出了一种面向Java锁机制的字节码自动重构框架,并基于该框架实现了字节码重构工具Lock2Lock。Lock2Lock在Quad中间表示的基础上对字节码进行静态分析,并对分析的结果进行一致性验证,通过Javassist完成字节码的重构。使用红黑树、消费者生产者程序以及SPECjbb2005 3个测试程序对Lock2Lock重构工具进行了测试,结果表明,Lock2Lock可以成功地实现从同步锁到可重入锁或读写锁的重构。     

基于XML的SDK自动化测试框架的设计与实现

在研究自动化测试技术与方法的基础上,提出了一种基于SDK接口的自动化测试框架,并给出了具体的自动化测试的基本流程和具体的测试框架,采用C、C＋＋语言进行SDK自动化测试框架的设计与实现,结合实际的例子给出了生成的．XML形式的测试用例和生成的测试报告,测试日志。该测试框架存在以下优点：减小了测试用例的编写难度,测试人员操作起来比较方便;可以方便地运用到其他接口参数的黑盒测试中,维护起来较容易,进行功能扩展较灵活。     

A general framework for the evaluation of symbol recognition methods

Performance evaluation is receiving increasing interest in graphics recognition. In this paper, we discuss some questions regarding the definition of a general framework for evaluation of symbol recognition methods. The discussion is centered on three key elements in performance evaluation: test data, evaluation metrics and protocols of evaluation. As a result of this discussion we state some general principles to be taken into account for the definition of such a framework. Finally, we describe the application of this framework to the organization of the first contest on symbol recognition in GREC’03, along with the results obtained by the participants.     

基于XML的测试需求描述及其实现

灵活方便的测试需求数据交换是实现测试系统开放性的关键。XML(eXtensibleMarkupLanguage)作为一种以数据为中心的结构化的标记语言,提供了一种软硬件平台无关的数据交换方法,在很大程度上降低了数据交换的复杂性。用XML来描述测试需求数据,可以完成测试需求数据的跨平台共享和交换,实现测试需求的可移植性。文章探讨了测试需求XML描述和实现的方法,提出了实现XML格式测试需求的软件结构。     

A segment-based framework for modeling and mining data streams

Data Streams have become ubiquitous in recent years because of advances in hardware technology which have enabled automated recording of large amounts of data. The primary constraint in the effective mining of streams is the large volume of data which must be processed in real time. In many cases, it is desirable to store a summary of the data stream segments in order to perform data mining tasks. Since density estimation provides a comprehensive overview of the probabilistic data distribution of a stream segment, it is a natural choice for this purpose. A direct use of density distributions can however turn out to be an inefficient storage and processing mechanism in practice. In this paper, we introduce the concept of cluster histograms, which provides an efficient way to estimate and summarize the most important data distribution profiles over different stream segments. These profiles can be constructed in a supervised or unsupervised way depending upon the nature of the underlying application. The profiles can also be used for change detection, anomaly detection, segmental nearest neighbor search, or supervised stream segment classification. Furthermore, these techniques can also be used for modeling other kinds of data such as text and categorical data. The flexibility of the tasks which can be performed from the cluster histogram framework follows from its generality in storing the historical density profile of the data stream. As a result, this method provides a holistic framework for density-based mining of data streams. We discuss and test the application of the cluster histogram framework to a variety of interesting data mining applications.     

基于XML描述的类测试框架

类是面向对象软件的基本构成单元，要提高面向对象软件的可靠性，必须对类进行深入、全面的测试。文中提出了一种新的类测试框架，用XML脚本来描述和组织测试用例，用测试驱动程序来读取测试用例，驱动被测程序运行，并自动比较测试结果。采用本框架，能够自动、高效地对类进行测试，同时能够使测试数据与测试驱动程序相分离，有利于测试数据的维护与重用，在实际应用中取得了很好的效果。     

支持Hadoop大数据访问的pNFS框架研究与实现*

随着大数据时代到来,分布式文件系统支持Hadoop大数据访问已成为一种趋势。本文以研究支持Hadoop大数据访问的pNFS框架为目的,采用在Hadoop与pNFS之间添加pNFS shim layer模块的方法,实现了pNFS支持Hadoop大数据访问的HDFS APIs;通过在pNFS shim layer中添加写缓存和节点级数据布局感知机制优化了系统性能。采用Hadoop基准程序对本文提出的框架进行测试,结果显示写性能提升超过45%,读性能提升超过97%,证明此框架可以有效的支持Hadoop大数据访问。     

Formalizing Java-MaC

The Java-MaC framework is a run-time verification system for Java programs that can be used to dynamically test and enforce safety policies. This paper presents a formal model of the Java-MaC safety properties in terms of an operational semantics for Middleweight Java, a realistic subset of full Java. This model is intended to be used as a framework for studying the correctness of Java-MaC program instrumentation, optimizations, and future experimentation with run-time monitor expressiveness. As a preliminary demonstration of this model's applicability for these tasks, the paper sketches a correctness result for a simple program instrumentation scheme.     

Fundamental issues in testing distributed real-time systems

This paper examines the fundamental problems that one faces when testing a distributed, hard real-time system. It specifically identifies the influences of the distributedness and of the real-time requirements of the systems considered. We show how the usual problems of testing become more difficult, and which additional problems are introduced, because of these additional system characteristics.We identify six such fundamental problems: Organization, Observability, Reproducibility, Host/Target Approach, Environment Simulation, and Representativity. These, as well as their interrelations, are presented in a general framework that is independent of a particular system architecture or application. This framework could serve as a starting point for all activities geared towards a particular system architecture or a specific application.As an example, we illustrate how these test problems have been handled when developing a test methodology for the distributed real-time system MARS. Finally, the additional issues of test data generation and test result analysis are briefly discussed.     

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.     

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles