TTCN-3语言类型系统到C++语言的翻译方案

在程序语言翻译技术中,如何有效地减少翻译后的代码数量是一个值得研究的性能问题。综合考虑TTCN-3语言中值和模板的定义和使用,提出一种新的TTCN-3语言到C++语言翻译方案。与现有的翻译方案相比,翻译后的C++代码与原TTCN-3代码比例由1∶20降低到1∶5左右。与此同时,新方案减少了类型信息副本的保存,提高内存的利用效率,更确切地说,提高了TTCN-3语言编译器和执行器的性能。此外,因为翻译后的C++代码与原TTCN-3代码基本一致,这使得代码的可读性得到改善,进而提高代码的可维护性。     

一种基于TTCN-3的Web Service测试方法

Web Service测试成为当前软件测试的研究热点,TTCN-3是ETSI专门为测试领域制定的通用测试语言,在很多领域以及不同的软件开发阶段都有运用.使用Axis2将WSDL文件中的内容映射到Java类中,再将Java类代表的数据结构和操作按照相应规则映射到TTCN-3中,映射得到结构清晰合理的数据类型,即可有效地对Web Service进行测试,并只需进行少量更改即可应用到对其他Web Service的测试中,大大减轻测试人员的工作量,提高测试效率.     

Java程序编码中数据类型转换问题的探讨

本文简要分析了高校学生在Java语言数据类型学习时出现的问题,重点则对Java语言中会出现的各种数据类型进行了恰当分类,并对数据转换进行了细致、全面的探讨。     

Java程序编码中数据类型转换问题的探讨

本文简要分析了高校学生在Java语言数据类型学习时出现的问题,重点则对Java语言中会出现的各种数据类型进行了恰当分类,并对数据转换进行了细致、全面的探讨.     

JAVA语言基础（续）

5、Java语言的数据类型与运算和表达式作为Java语言也与其他语言一样,要规定数据类型及运算符和表达式。 5.(1)数据类型 Java的数据类型如下:     

Web应用测试的通用编解码器研究

编解码器是TTCN-3测试系统的重要组成部分,用来对TTCN-3测试数据和被测软件的输入/输出数据进行双向转换。面向Web应用测试系统的通用编解码器的研究,就是要把TTCN-3测试数据转化成URL请求,并对网页进行分析,抽取测试关心的信息,将其转化成TTCN-3测试数据。针对Web应用页面数据量大、干扰信息多的特点,提出了多层解析组装的实现方案。实践表明,该方案可行,可大大减少编解码开发工作量。     

基于C++语言转换的TTCN-3测试系统的设计与实现

TTCN-3是一种用于协议与软件测试的标准化测试语言,文章提出了一种实现TTCN-3测试系统的设计方法,将用TTCN-3书编写的抽象测试套先翻译为C 语言,进而编译生成可执行的测试套,然后调度执行.并用这种方法实现了TTCN-3测试平台TTPlatForm,运行结果表明,这种基于语言转换的TTCN-3测试系统在性能、可移植性和灵活性均比采用编译生成成内存对象并调度内存对象执行的方式有了较大的提高.     

TTCN-3测试系统中模板匹配机制的一种实现方法

TTCN-3拥有一个功能强大且易于掌握的模板匹配机制。本文提出一种TTCN-3测试系统开发过程中模板匹配机制通用的、开放的实现方案。通过对模板匹配功能在TTCN-3测试系统中的作用进行深入分析,采用面向对象的程序设计语言C++实现TTCN-3测试系统中带有匹配机制的模板表示和模板匹配操作,并给出一个对于DNS协议实现功能测试的抽象测试套的翻译方案验证本文设计的合理性。     

一种通用远程数据迁移汇总方案与实现

数据导入导出、迁移汇总操作是各类信息系统的常见需求,设计了一套通用的数据迁移汇总技术方案,可适应不同的数据源,支持BLOB等大字段,支持数据的网络传输,并给出了Java实现.     

模型检测引导的TTCN-3测试套生成技术研究

针对软件测试的不完备性以及软件测试自动化问题,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例,与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。     

Quantifying the evolution of TTCN-3 as a language

Ten years of maintenance, nine published revisions of the standards for the Testing and Test Control Notation version 3 (TTCN-3), more than 500 change requests since 2006, and 10 years of activity on the official TTCN-3 mailing list add up to a rich history, not unlike that of many successful Open Source Software (OSS) projects. In this article, we contemplate TTCN-3 in the context of software evolution and examine its history quantitatively. We mined the changes in the textual content of the standards, the data in change requests from the past 5 years, and the mailing list archives from the past 10 years. In addition, to characterize the use of the TTCN-3 we investigated the meta-data of the contributions at the TTCN-3 User Conference, and the use of language constructs in a large-scale TTCN-3 test suite. Based on these data sets, we first analyze the amount, density, and location of changes within the different parts of the standard. Then, we analyze the activity and focus of the user community and the maintenance team in both the change request management system and the official TTCN-3 mailing list. Finally, we analyze the distribution of contributions at the TTCN-3 User Conference across different topics over the past 8 years and construct use anomalies during the development of a large-scale test suite. Our findings indicate that the TTCN-3 is becoming increasingly stable as the overall change density and intensity, as well as the number of change requests are decreasing, despite the monotonous increase in the size of the standards.     

TTCN-3编译器符号表的设计和实现

TTCN-3是一种用于协议与软件测试的标准化测试语言。本文在对TTCN-3核心语言标准的研究基础上分析了TTCN-3核心语言的前向引用和Import机制等方面的规范与特点,设计并实现了一种TTCN-3符号表组织结构。在此基础上完成了TTCN-3到中间语言的编译转换。     

TTCN-3 语言非侵入式调试技术

TTCN-3(Testing and Test Control Notation version 3)是一种形式化的测试描述语言,被广泛应用于协议测试等领域。由于测试套的复杂度越来越高,测试人员迫切需要能够调试TTCN-3语言的技术。本文提出了一种非侵入式的TTCN-3语言调试方法,通过驱动第三方调试器对TTCN-3语言编译后生成的目标代码进行调试,同时结合语句映射和符号解析等算法,实现了基本的调试功能。实验结果表明,该调试技术对测试系统的执行性能影响非常小,能更好的满足对大型测试套的调试需求。     

基于Web Service的TTCN-3远程测试系统

通过分析TTCN-3测试系统的通用结构,提出基于TTCN-3的远程测试概念,进而提出一种基于Web Service的ITCN-3远程测试系统体系架构,实现TTCN-3脚本的远程编辑、编译和执行,满足测试人员通过远程客户端自动地测试被测系统的需求.通过将该系统应用于某银行业务系统的测试,验证系统应用于远程自动化测试的有效性,提高测试效率.     

Data structures in Java for matrix computations

In this paper we show how to utilize Java's native arrays for matrix computations. The disadvantages of Java arrays used as a 2D array for dense matrix computation are discussed and ways to improve the performance are examined. We show how to create efficient dynamic data structures for sparse matrix computations using Java's native arrays. This data structure is unique for Java and shown to be more dynamic and efficient than the traditional storage schemes for large sparse matrices. Numerical testing indicates that this new data structure, called Java Sparse Array, is competitive with the traditional Compressed Row Storage scheme on matrix computation routines. Java gives increased flexibility without losing efficiency. Compared with other object‐oriented data structures Java Sparse Array is shown to have the same flexibility. Copyright © 2004 John Wiley & Sons, Ltd.     

Testing hybrid systems with TTCN-3 embedded

A testing language typically provides a set of test automation statements that allows for a systematic definition and automatic application of stimulation data (i.e. messages or signals) to a system under test. Moreover, it eases the assessment of the system’s reaction by providing customizable evaluation statements and functions. TTCN-3, the Testing and Test Control Notation, already provides universal and powerful concepts to describe tests for discrete, message-based systems. However, software-based control systems that are used to control physical processes often show continuous quantities that can be only poorly stimulated and assessed by means of the currently available language constructs in TTCN-3. In this article, we show how this problem can be solved by extending the TTCN-3 language. We introduce an extension of TTCN-3, namely TTCN-3 embedded, that provides concepts and constructs that directly address the specification of tests for continuous and hybrid real time systems. The extension includes the notion of streams that can be used to represent continuous quantities over time. In addition, TTCN-3 has been extended with the concepts of stream-based ports, sampling, equation systems, and with additional control flow structures. The concepts are integrated with standard TTCN-3 and allow for defining test cases that handle continuous quantities, as well as discrete state changes and the exchange of messages within the same concept space. The feasibility of the approach is shown by providing a small example from the automotive industry.     

基于TTCN-3的Web Service测试方法

介绍WebService技术的新特点和TTCN-3的相关知识,针对传统测试方法在测试WebService应用时出现的问题,提出一种基于TTCN-3的WebService测试框架及测试方法,并进一步说明使用TTCN-3测试WebService的测试流程,给出一个WebService的测试实例,证明该测试方法的可行性。     

History,status, and recent trends of the testing and test control notation version 3 (TTCN-3)

This overview article presents the Testing and Test Control Notation (TTCN-3) success story and serves as an introduction to this Special Section that contains five articles selected from the TTCN-3 user conference in 2011. The article sketches the development of TTCN-3 from its very beginning. It summarizes the current status of the language by reviewing its standardization process, available test suites, tools, and services as well as its training program. In addition, the article puts the articles selected for this Special Section into perspective, with regard to the evolution of TTCN-3 and the testing methodology in general. Last but not least, it discusses indicators for possible future developments of TTCN-3.     

Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3

TTCN-3 has gained increasing significance in recent years. It was originally developed to fit the needs of testing software-based applications and systems in the telecommunication industry and has shown its applicability to a wide range of other industrial domains in the mean time. TTCN-3 provides platform-independent, universal and powerful concepts to describe tests, especially for discrete, interactive systems. However, TTCN-3 addresses systems with discrete input and output characteristics only. The lack of powerful means that reasonably allow specifying and evaluating continuous data flow makes TTCN-3 sufficient neither for the automotive industry nor for other industries that deal with highly complex software-based control systems. This paper introduces the notion of streams, stream ports and stream templates to TTCN-3. It revises the initial design of continuous TTCN-3, a TTCN-3 extension for testing continuous or hybrid systems [20,21] and demonstrates the applicability for a case study that is typical for testing embedded control systems in the automotive industry.