【摘 要】
：
TTCN-3语言编译器实现的复杂性,使手工构造的测试用例集无法对编译器质量加以有力保证。引入测试用例自动生成,成了一种必然选择。通过总结手工测试经验,结合编译器构造、程
论文部分内容阅读
TTCN-3语言编译器实现的复杂性,使手工构造的测试用例集无法对编译器质量加以有力保证。引入测试用例自动生成,成了一种必然选择。通过总结手工测试经验,结合编译器构造、程序语言设计、测试数据生成、和TTCN-3语言特性,提出了一种层次化、结构化的灵活的测试用例集自动生成方案。该方案严格按照TTCN-3语言规范要求。整个生成过程,以语言规范给出的EBNF为基础.按照语言特性将EBNF分解成层次化的子规则集,然后以属性代码的方式,加入语义描述,形成针对测试用例生成的属性子文法。使用递归分析树生成器,生成中间表示形式的分析子树集;按照语法语义约束,将分析子树进行组合后,得到以分析树形式存在的测试用例。在覆盖分析指导下不断的生成测试用例,完成测试用例集的自动生成。实验表明,该方案生成的测试用例集既有很高的覆盖率、也有较强的测试针对性,能处理TTCN-3语言规范给出的复杂的语法语义约束。多种技术的综合使用保证了生成过程的高效,对于其它语言的编译器测试有参考意义。
其他文献
随着科技的进步,科技创新越来越受重视,但目前科技项目评审缺乏科技创新参考指标,因此需要对以往科技项目创新性指标进行分类,提高科技项目评审的质量。采用传统的基于向量空
当下网络基础设施和相关硬件技术的飞速发展,给予了流媒体技术相当的发展空间。然而,由于现行的Internet网络基础带宽仍然无法匹配日益庞大的流媒体用户数和数据大小,传统的C
伴随着互联网的快速发展，大型搜索引擎面临着越来越严峻的性能挑战。一方面，它们每秒钟都要响应成百上千的查询请求，而这些请求需要从上百亿张网页中检索出与之最相关的网页集合
支持向量机结构简洁、泛化性能优越而广泛应用于模式识别、信号处理、图像处理等智能化信息处理领域。该算法等价于求解二次规划,所以在不均衡样本集、大样本集上存在着泛化
近年来,随着Web2.0的发展,社会网络越来越受到更多学者们的关注和研究。在社会网络的众多性质中,社团结构是其最重要同时也是最具有研究意义的性质之一。通过社团的划分,我们
面向服务架构SOA(Service-Oriented Architecture),与面向过程、面向对象、面向组件一样,是一种软件组建及开发的方式。SOA可以理解为“抽象、松散耦合和粗粒度”的软件架构
电机作为一种重要的机电产品，广泛的应用于从工农业生产到人们日常生活的各个领域。为了保证电机的质量，以及对电机的性能进行研究分析，电机测试是必不可少的一个环节。近年来，计
网格资源管理系统是网格的核心组成部分。由于网格是一个开放、动态的互联网并行环境,用户可以从网格的任何地方向网格平台提交应用,而且网格所固有的动态性特征,使得网格资
受众,是对于大众传播中接收者的统称,一般是指通过大众传播媒介接受信息的人,包括报刊读者、广播听众、电视观众以及互联网的网民。由于受众是传播活动的目的地,人们不断地改
适于仿真需要的CT图像中牙列轮廓的快速提取,是基于CT图像的成像特点,对于成像后相邻组织间丢失的轮廓,采用相对自动的办法将其生成。本文采用Amira医学图像三维建模软件,综