回归测试中测试用例集缩减问题的研究

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个角度出发,总结已有的TSM方法:从源代码角度出发,重点分析与总结传统TSM方法和考虑缺陷检测能力的TSM方法;从模型角度出发,重点分析与总结基于扩展有限状态自动机的TSM方法。然后对实证研究中采用的评测程序、评测指标和实证结论进行总结。随后总结了TSM方法在特定测试领域的应用,包括GUI应用测试、Web应用测试和缺陷定位等。最后展望了未来的可能发展趋势。     

一个面向分布式程序的测试系统框架

提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET*(distributed progra m structure and event trace, revised version).框架的主要功能是对分布式程序进行单 元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分 析的动态部分.在构件的基础上,PSET*的功能可以较容易     

En-Route Transcoding缓存的优化放置和替换

对en-route transcoding缓存中的缓存路由和协同放置及替换问题进行了研究.提出了CCRA(cost-aware cache routing algorithm)缓存路由算法,能以可控的探测开销来发现潜在的、具有最小访问开销的缓存对象.在此基础上,建立了en-route transcoding缓存的分析模型,将缓存放置和替换问题形式化为一个最优化问题,并利用一种基于动态规划的方法来求解最佳缓存放置策略.仿真结果表明,与已有的元算法放置策略相比,该协同放置和替换策略可以获得更好的CSR性能.     

利用评估手段培养计算机工程类专业人才

随着计算机技术的发展和信息社会的到来,我国迎来了快速发展的大好时机。“以信息化带动工业化,工业化促进信息化”国家战略的提出,使计算机专业人才的需求和培养呈现出旺盛的发展势头。然而,一方面社会需要大量的计算机专业人才,企业感叹人才短缺;另一方面,由于我国各类院校不     

JAPS中通信支撑策略的比较

在分布式并行计算系统中,任务运行时支撑平台的功能和效率对并行执行的效果有着重要的影响,Ｊａｖａ言中的线程机制和ＲＭＩ机制为ＮＯＷ环境下的分布并行应用提供了高效的支持＾「１」。在基于Ｊａｖａ的自动并行编译系统ＪＡＰＳ＾「２」中,设计和实现了分别基于Ｊａｖａ ＲＭＩ和Ｓｏｃｋｅｔ通信支持策略的并行任务支撑平台ＰＴＳＰ;并比较了这两种通信策略对在ＮＯＷ环境下的分布式并行计算的支持能力和系统效率。     

第一门程序设计课可以做些什么样的作业?

第一门程序设计课应该让学生做"足够多"有趣的事.那么什么样的作业才能既有趣味性,又不要求学生有很多的编程与数据结构基础呢? 如果程序设计课的作业主要考虑让学生学会某种语言成分,那么编程的目的就只为了验证是否"会用"指定结构,而学生实现时往往只运行很简单的输入实例,其结果是预先知道的,便失去了趣味性.能吸引学生的题应该以题目本身求解为目标,如果计算机能帮我们解题,我们就会渴望去"编程"!     

面向问题求解的计算机专业基础课程的重构与实践

现行计算机学科专业基础教学中,课程体系以层次结构组织知识,教学模式以知识传授为主要目的,而能力培养却没有得到充分重视。文章介绍南京大学计算机科学与技术系近年来在此方面的教学改革,改革的基本内容包括在课程体系上以算法和平台为两条主线进行面向问题求解的基础课程重构,在教学过程中探索以"学生自学习+教师深入引导"为主的教学模式。     

基于协作缓存的VOD服务器端Cache设计

近年来,随着计算机网络技术和多媒体技术的发展,视频点播服务已逐渐成为现实。分布式VOD(VideoOnDemand)服务器系统的提出是为了支持更多的大量并发数据流,和单一服务器相比,这样的结构拥有更好的使用效率、可靠性和可扩展性。协作缓存CC(cooperativecache)技术将各服务器的内存协调工作,形成全局的cache。这样的结构不仅充分发挥了分布式VOD服务器结构的特点,同时也增大cache容量,提高系统全局命中率,从而提高了系统效率。该文在协作缓存技术基础上,针对流媒体和VOD系统的特点,提出了GBBcache替换算法。该算法以数据块的生命周期作为出发点,充分考虑了现有用户和请求接入用户的服务需求,提高了内存使用效率。笔者对该算法进行了理论分析,并证明了它在性能上与传统的cache替换算法相比的优越性。     

程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。     

动态分布式系统中多层次配置文件的形式描述及管理

介绍了分布式程序设计模型ＥｘＧＯＭ（ＥｘｔｅｎｄｅｄＧｒａｐｈ－ＯｒｉｅｎｔｅｄＭｏｄｅｌ）中一种新型多层次配置文件的结构及相关的配置描述。基于树型结构的多层次的配置文件为分布式系统的动态重配置提供了灵活,清晰的结构和丰富的基于图结构的配置操作,一个树型结构的分布式应用的配置文件包含若干人处于不同层次的深度不大于２的子树,这些子树通过装配对规则可装配成一棵大树,它就是分布式应用程序的逻辑图结构,通