持续服务应是核心能力

现阶段,企业信息化建设已经从单项应用发展到综合应用,从技术推动发展到变革推动,从战术层面发展到战略层面。一方面,信息化建设已经成为企业业务发展的有效支撑手段,另一方面,企业面临着持续改业面临着持续改善、再造管理的任务。如何保证新旧系统之间的平滑过渡,将技术升级对业务的影响降到最低,成为每一个“信息企业”不得不正视的问题。建立信息管理机制在企业信息系统建设的过程中,风险与收益就如同两条交织的铁轨,始终伴随着企业这辆高速行驶的列车。建立信息管理机制,不仅是企业在面对风险时,从被动应变向主动预警转化的一个重要手段…     

基于历史数据和多目标优化的测试用例排序方法

针对如何提高测试用例序列的揭错效率和回归测试效益问题,提出一种基于历史数据和多目标优化的测试用例排序方法。首先,根据测试用例的文本主题相似性和代码覆盖相似性对测试用例集进行聚类,并根据历史执行信息对测试用例间的执行失败关系进行关联规则挖掘,从而为后续过程做准备;然后,利用多目标优化算法对每个类簇内的测试用例进行排序,在此之后生成最终排序序列,使相似的测试用例分隔开;最后,利用测试用例间的关联规则,动态调整测试用例执行次序,从而使可能失败的测试用例优先执行,以进一步提高缺陷检测效率。与随机排序方法、基于聚类的排序方法、基于主题模型的排序方法、基于关联规则和多目标优化的排序方法相比,所提方法的平均故障检测率（APFD）平均值分别提高了12.59%、5.98%、3.01%和2.95%,基于成本的平均故障检测率（APFDc）平均值分别提高了17.17%、5.04%、5.08%和8.21%。实验结果表明,所提方法能有效提高回归测试效益。     

数据库模式自动测试方法的研究

数据库在现代应用软件系统中具有重要的作用,数据库的正确性直接影响应用软件的功能正确性和性能可靠性,而传统的软件测试往往忽略对数据库数据结构的测试.针对这个问题,提出了一种自动检查数据库模式的方法,提取需求分析的E-R模型和数据库逻辑模型的信息,将概念模型与逻辑模型进行比较,发现数据和数据之间的不一致或冲突.实验结果表明,采用这种方法能够尽早地发现数据库设计和实现的错误,使系统功能测试能建立在正确的数据库基础上.     

统计算法选择对统计模型检测效率的影响分析

近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。     

功能需求到测试用例的可追溯性研究

软件开发主要由需求收集、设计、实现、测试和维护等几个阶段构成,其中维护始终是主要开销。在维护阶段,开发人员必须理解程序才能定位缺陷,而系统的需求和源代码、测试用例等之间的可追溯性连接能帮助减少开发人员在理解程序时的工作量。研究现有的功能定位技术和可追溯性方法,通过对现有方法的改进,提出了一种集成动态执行信息和IR技术的方案来建立需求到测试用例的可追溯性连接,用以辅助开发人员在维护阶段的工作。     

关于软件工程专业教育方案的探讨

本文提出了一个适合国内软件工程专业的教育方案,并给出了软件工程专业教学应该涵盖的基本内容和计划。     

基于单机排序问题的降落飞机分组排序方法

为使单跑道降落飞机排序结果在实际操作时可行、简单，首先限制同一航路段上的飞机按照先来先服务的原则排序，在最终的排序中，其拓扑次序不变；其次提出了将飞机分组排序的思想，对同一航路段上刚好满足最小安全间隔的飞机做为一个飞机组参与排序。使用1|chains|∑wjcj做为排序模型，通过求解各飞机链的ρ因子可以快速得到排序结果。将本方法用于对双流国际机场和其它几个机场的实际航迹数据进行计算，得到的排序序列完全符合实际管制需要，具有很高的推广应用价值。     

外包：受益还是受控？

案例背景 M是一家快递公司．业务面非常广泛。它在北京广州．上海等多个城市都有分公司和营业网点。随着快递业务的发展，业务种类不断增多．已经运行将近10年的信息管理系统明显落后，不能适应将来的业务需求。     

ATC数字语音通讯模拟系统的设计与实现

设计和实现了一种基于客户/服务器架构和IP协议的全数字信号传输语音通讯模拟系统.系统采用电台的通讯方式实现了一对多半双工通话,采用拨号电话的通讯方式实现了点对点全双工通话.并将系统应用在用于空中交通管制(ATC)的机场塔台模拟机中,逼真地模拟地面指挥员与空中飞行员的无线通讯,以及地面各指挥席间的相互通讯.在语音处理方面,系统采用G.729的音频压缩解码格式,解决了在实际应用中语音信号延迟、通讯声音质量低等问题.总结了此系统的性能与效率,以及为完善系统功能需要做的工作.     

远程系统集成解决方案

介绍了如何将两个完全独立运行于不同Web Server上的系统集成在一起。该系统集成解决方案采用了重定向、Session技术和加密算法，以保证集成后的系统的安全性和透明性。简单介绍了当前的系统集成方案WSRP(远程门户网络服务)。