基于程序频谱的两阶段缺陷定位方法

缺陷定位是软件质量保证中关键且困难的一项工作,随着软件规模的增大,人工进行缺陷定位的成本越来越高,自动化缺陷定位技术成为研究热点。现有的基于程序频谱的缺陷定位技术可以将缺陷定位到程序语句,但对于大型复杂的软件系统,这种定位方法将带来较大的时间花销。针对此问题,提出一种基于程序频谱的两阶段缺陷定位方法,第一阶段为粗粒度定位,将缺陷定位到程序模块;第二阶段为细粒度定位,在定位的程序模块中再将缺陷定位到语句;最后输出可疑语句推荐列表,辅助开发人员的调试工作。实验结果表明,相比于传统的方法,该方案在保证定位效果的前提下平均减少了10.24%的定位时间。     

关于PowerBuilder应用系统的维护

本文根据开发ＰＢ应用系统的体会，介绍ＰＢ应用系统的维护方法和注意问题。     

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

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

多处理器实时系统可调度性分析的UPPAAL模型

随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息.     

外包：受益还是受控？

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

远程系统集成解决方案

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

软件回归测试中的自动测试生成方法

软件回归测试一般使用现有的测试用例集进行测试,如何有效利用这些用例成为回归测试的关键。研究自动对现有测试用例集的扩展,包括自动改变测试用例的执行顺序、自动进行测试用例数目的增减等,提出基于现有测试用例随机生成新的测试用例集的方法。实验证明,该方法生成的测试文件能在原有环境下成功执行,能实现自动测试范围的扩大或缩小,以及测试时间的增加或减少,为软件回归测试提供了有用的自动化工具。     

关系数据库中不确定值的处理

尽管关系数据模型为数据库提供的优势远超过其它数据模型，但它缺乏一种处理不完整和不确定的数据的综合方法，而数据的不确定性充满我们整个现实世界环境中，并越来越引起人们的注意，目前，已经提出了几种将不确定数据结合到关系数据库中的方法，但这些方法有许多缺点，而且没有建立起一种可接受的扩展关系模型。本文给出了一个关系模型的扩充方案，提出一种改进的关系结构和扩充的关系代数，能有效地解决数据的不确定性问题。     

鞋楦曲面反求

介绍了鞋楦数据类型,母楦曲面数据检测的方法和特点,并讨论了测量头环形面与母楦的切触点不同的问题,在此基础上,提出一种数据处理方法,为测量头环形面建立了空间坐标系,并推导出相应的空间方程,最终把母楦表面离散数据点的计算,转换为射线簇和测量头环形面求交问题,利用数值分析中的二分法逐步逼近求解,从而获得母楦表面离散数据点的位置值.     

实时任务管理器的设计及其实现

文中讨论了一种基于实时任务截止时间管理的并发控制方法，该方法在实时多任务环境中，针对具有固定截止时间的任务，实现多任务的并发控制和调度，以保证实时任务执行的可预测性(在其截止时间之内完成)，并在QNX实时操作系统上实现，取得了较好的实时任务管理特性。