SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

软件测试过程仿真系统的研究与实现

针对软件测试过程中消耗的成本、时间和工作量难以预测和比较的问题,通过建立软件测试过程模型,利用离散事件仿真方法,以工作流引擎为基础构建过程仿真系统,为测试计划的制定提供辅助工具,能够分析出不同的测试过程模型、人员分配和缺陷分布对测试过程所消耗的时间、成本和工作量等方面的影响.     

GPS导航软件的一种功能自动化测试框架

GPS导航软件已经大量涌入市场,对于GPS导航软件本身的质量越来越受到重视。针对GPS导航软件的应用特点,提出了一种GPS导航软件功能自动测试框架,并介绍了相关实现技术,它能自动模拟软件的使用环境和GPS测试数据来验证软件的正确性。在实践中证明此框架行之有效,能有效构建测试环境,及时发现软件的缺陷,并可提高其回归测试的效率。     

一种软件定义网络中交换机动态迁移算法

针对目前软件定义网络中的多控制器负载失衡问题,提出一种交换机的动态迁移算法（Dynamic Switches Migration Algorithm, DSMA）,将交换机与控制器的部署关系建模为0-1规划问题,通过使用免疫粒子群算法保证控制器负载均衡的同时兼顾了控制器和交换机之间的传输时延。仿真实验表明,与现有经典的就近迁移算法和利用率最低迁移算法相比,DSMA实现了较好的控制器负载均衡,减少了控制器PACKET_IN消息的响应时间,提高了系统反应速度,加权后的综合评价平均提升了25.3%。     

基于构件的嵌入式实时软件建模与分析

嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也也使得分析结果具有可复用、可扩展的优点。     

基于MVC模式的应用软件开发框架研究

软件体系结构为软件系统提供了一个结构、行为和属性的高级抽象,与应用相关的研究侧重点主要在风格和模式上,同时实际应用软件的开发过程与具体的软件开发平台也密切相关。该文主要论述在M VC模式的指导下设计和实现了一个基于J2EE平台的应用软件开发框架LilyFram ework,同时,也给出了LilyFram ework框架开发应用软件的实例。     

在实施CMM时如何应用6 Sigma方法

介绍了CMM和6 Sigma,以及两者之间的异同;指出在CMM中应用6 Sigma是可行的,并给出了一些在CMM中应用6 Sigma的方法,包括应用6 Sigma工具在CMM各KPA以及在CMM全局和流程中的应用;最后指出软件机构在应用6 Sigma的同时还需要用CMM来改进软件过程。     

A Taxonomy and Evaluation of Dense Two-Frame Stereo Correspondence Algorithms

Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo correspondence have been developed, relatively little work has been done on characterizing their performance. In this paper, we present a taxonomy of dense, two-frame stereo methods. Our taxonomy is designed to assess the different components and design decisions made in individual stereo algorithms. Using this taxonomy, we compare existing stereo methods and present experiments evaluating the performance of many different variants. In order to establish a common software platform and a collection of data sets for easy evaluation, we have designed a stand-alone, flexible C++ implementation that enables the evaluation of individual components and that can easily be extended to include new algorithms. We have also produced several new multi-frame stereo data sets with ground truth and are making both the code and data sets available on the Web. Finally, we include a comparative evaluation of a large set of today's best-performing stereo algorithms.     

基于线程的MPI通信加速器技术研究

为了针对多核系统构建更高效的MPI支撑环境,文中提出了一种基于线程的MPI加速器,称作MPIActor.MPIActor是一种用于协助传统MPI库的透明中间件,用户可以在编译期选择是否在单线程MPI程序中采用该中间件.加入MPIActor后,每个节点内的MPI进程都被映射成同一进程中的多个线程,从而节点内的通信可通过轻...     

基于SNMP++网络管理软件的编程实

大规模网络离不开自动网络管理软件。网络管理软件的开发通常以已有的开发包为基础。论文介绍了HP公司的SNMP++开发包,包括如何找到开发包,如何编译开发包,如何使用开发包。最后,给出了如何获取网络管理信息的例子以及如何构建测试环境。