论文部分内容阅读
介绍了数据流分析的基本概念，分析了常见的用于软件测试的几种数据流分析测试方法的不足之处，提出了一种面向ＣＨＩＬＬ的数据流模型和基于该模型的数据流测试方法，并实现了一个基于该方法的实验系统。
面向CHILL数据流测试的研究与实验
【摘 要】
：
介绍了数据流分析的基本概念，分析了常见的用于软件测试的几种数据流分析测试方法的不足之处，提出了一种面向ＣＨＩＬＬ的数据流模型和基于该模型的数据流测试方法，并实现了一个基于该方法
【机 构】
：
北京邮电大学计算机工程系
【出 处】
：
北京邮电大学学报
【发表日期】
：
1994年1期
其他文献
为了有效地实现用户高速数据率的传输，分析了一种多码Ｍ－ａｒｃ／ＣＤＭＡ系统在瑞利衰落信道的性能，对数值结果进行了计算。可以发现，此系统可以用于传输高用户数据库，但是伴随而来的是系统复杂度增
分析了客户服务中心面临的Web集成问题，简要介绍了NetMeeting3.0SDK，提出了基于NetMeeting3.0的客户服务中心Web集成方案.
由于 ISO 协议的开发常常由不同的人员或组织进行,导致产品的某些功能与标准不一致,这些产品在联成网络时,无法可靠地通信.解决这个问题的办法是对通信协议进行一致性测试.本
会议电视是一种非常受欢迎的多媒体业务，如何选择合适的会议路由，优化会议的配置，以减少开支，成为会议电视业务推广使用的关键，针对会议电视的特点，介绍了基于Ｓｔｅｉｎｅｒ树的动态多播算法以及
运用排队论的理论分析方法，给出了程控交换机中几种多处理机通信能力的研究方案，通过对交换机的通信总线传输速率的计算验证结果的正确性。
研究了有限域ＣＦ（ｐ＾ｍ）（ｐ〉２）上ＲＳ码的子空间子码（ＳＳＲＳ）的结构，给出了ＳＳＲＳ码的维数计算公式。
为了开发价廉的单片定点ＤＳＰ声音编码器，对ＭＰＥＧ声音编码标准参考算法的运算量和存储量要求进行了比较深入的分析，综合考虑了编码质量和处理速度的要求，结合计算仿真结果，指出了使用单片定
在总结软切换区划分方法的基础上，提出了具体的实现算法与流程；分析了软切换区划分与软切换条件门限的关系；给出了软切换区划分的计算机仿真结果。
对使用定点数字信号处理器实现ＭＰＥＧ声音编码由于有限字长效应引入的各种噪声的强度进行了分析。根据分析结果对算法的实现进行了改进，原型滤波器旁瓣衰减提高了约２０ｄＢ，同时减少了运算过
提出了一种基于通信顺序进程(CSP)理论的协议组合模型.该模型将协议表示为协议实体的组合,使得协议模型可以表示分解为协议实体层和协议交互层.协议可以进一步组合成复杂协议