Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

一种基于历史数据的软件缺陷预测方法改进

捕获-重捕获方法常用于评审会后对产品残留缺陷数的估计.使用均方误差对几种基于捕获-重捕获模型的估计器性能进行评估.然后提出一种基于历史数据的估计器改进方法,并对改进前后估计器的缺陷预测效果进行对比分析.      

MATLAB在信号调制与解调的仿真实验中的应用

通信系统就是完成信息传递所需的所有设备的总和.通信的目的是传输信息.因而如何准确地传输信息是通信的一个重要目标.其中调制解调技术为通信质量的提高和通信技术的高速发展提供了良好的技术支持,并被广泛应用.因此,论文将对调制解调的原理和性能进行研究和分析.利用MATLAB软件.采取编写仿真脚本程序和建立仿真模型两种仿真方式.对模拟调制解调进行了仿真,得到了仿真结果波形图.在此基础上,利用MATLAB的GUIDE工具箱开发了应用于教学的"信号的调制解调虚拟实验系统".     

Ada软件测试结果分析与可视化（TRAV）

论述了Ａｄａ软件测试结果分析系统的功能，它的方案设计以及界面风格，此系统是集成化的Ａｄａ软件测试与分析系统中的主要工具之一，它不仅能够帮助用户分析与测试软件系统，还能对软件系统的理解和维护提供有力的支持。     

个体软件过程实验研究

为确定个体软件过程PSP(Personal Software Process)在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在1997年进行了PSP的应用实验.本文首先简要介绍了PSP的原理和方法,然后给出PSP实验的结果数据,对该数据从差错率和生产效率2个方面进行了统计和分析.分析结果显示,PSP的应用对于提高软件开发效率、改善软件产品的质量有重要的意义.讨论了PSP应用过程中可能遇到的问题,指出了今后进一步的工作.     

对确定有限自动机最小化算法的改进

《编译原理》在计算机专业课当中是最难学的一门课,它的内容抽象、深奥、枯燥,学生掌握起来有很大难度。而词法分析部分又是教学过程中的重点内容,其最小化算法虽对大多数的DFA起到了化简的作用,但该方法没有考虑到对一些特殊的DFA的处理。本文从分析入手提出了一种对最小化问题的一种改进算法。