计算机专业本科教育评估

专业之首。但同时,培养与社会需求之间的差距也日渐明显。这一差距不是数量上的,也不是在传统的计算机科学学科的“质量”上的,而是人才培养的结构不尽合理,与就业市场结构存在明显差异。随着计算机科学技术本身的发展以及计算机应用的迅速普及,目前社会对计算机专业人员的需求     

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

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

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

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

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

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

组合测试研究进展

组合测试(Interaction Testing)是一种有效的测试用例生成技术,它假设被测系统中的缺陷往往由少数参数间的交互触发,所以可以使用较小规模的测试用例集(Test Suite)完成高质量的软件测试。对目前组合测试的已有工作予以研究,首先通过介绍常见的组合覆盖标准引入组合测试问题;然后总结目前常见的4种组合对象;之后依据生成策略的特征对现有的组合测试技术予以分类并简要介绍其中的典型方法;接着给出一套评价标准并对各个方法予以综合比较;最后总结并提出下一步的研究方向。     

电力网格通信方式的研究和实现

电力网格是网格技术和电力监控与自动化调度技术结合发展的产物.网格技术对于网络上的各种资源具有巨大的整合能力,电力网格能解决现有电力系统中存在的一些问题.同时,电力网格作为网格技术的新应用,它给网格技术的发展带来了新的研究背景和发展方向.但是电力系统有其特殊性,并非所有的网格技术都可以不加变化地照搬到电力网格中.电力网格对数据通信的实时性、兼容性和开放性有比较高的要求.针对电力网格的以上特点,分析了传统网格通信方式在电力网格应用中的困难.最后,根据电力网格的一个应用范例--PGP平台,提出了自己的解决方案,并验证了该方案的技术可行性.     

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

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

基于复杂网络的大型软件系统度量

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题.近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角.介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量;实现了大型Java程序复杂网络描述和度量工具JPAC.JPAC可用于分析大型Java系统的结构,并计算基于复杂网络的各度量值.     

TARSB：一种基于相对搜索介数的P2P拓扑演化策略

近几年来,对等网络(P2P networks)得到了很好的发展,然而其巨大的网络开销也逐渐成为阻碍其进一步推广的主要问题.在其最重要的应用领域--P2P文件共享系统中,早期的系统往往基于一种单一的拓扑结构,忽略了成员之间的差异对网络本身的影响,使得其理想的结构与实际网络之间存在很大差距,难以达到预期的搜索效率.针对P2P文件共享系统进行研究,提出了相对搜索介数(Relative Search Betweenness)来刻画各种异构性对搜索过程的综合影响,并设计了一种基于相时搜索介数的拓扑演化策略:TARSB.该策略通过动态自适应地调整覆盖网络结构来平滑各结点在搜索性能上的差异,从而达到提高网络整体搜索性能的效果.实验表明,TARSB策略在保证搜索命中率的情况下,大大降低了搜索报文的数量,并使网络自主演化成一种更加稳定和高效的拓扑结构.     

基于PERT技术的人员调度研究

人员成本占软件项目总成本的大部分,但是现有的Pert技术未能体现人员计划管理这重要的一环,不合理的活动指派时间可能导致人员闲置或者项目延迟.本文提出一种解决方法,基于Pert技术,结合人员闲置、项目延迟和缓冲区计算活动负责人的指派时间,以此指导项目管理,可有效减少总开销.