The design and implementation of protocol test cases automatically generating system based on TTCN-3

2010 ◽  
Author(s):  
Zhao Yulan ◽  
Jia Yazhe ◽  
Zhang Hongyu
Keyword(s):  
Test Cases ◽  
Design And Implementation ◽  
Protocol Test ◽  
Generating System

scholarly journals Automatic Generation of Test Cases from UML Models

2018 ◽  
Vol 21 (1) ◽  
Author(s):  
Constanza Pérez ◽  
Beatriz Marín
Keyword(s):  
Conceptual Models ◽  
State Transition ◽  
Automatic Generation ◽  
Test Cases ◽  
Design And Implementation ◽  
Model Based ◽  
Model Based Testing ◽  
The Cost ◽  
Early Phases ◽  
Uml Models

[Context] The growing demand for high-quality software has caused the industry to incorporate processes to enable them to comply with these standards, but increasing the cost of development. A strategy to reduce this cost is to incorporate quality evaluations from early stages of software development. A technique that facilitates this evaluation is the model-based testing, which allows to generate test cases at early phases using as input the conceptual models of the system. [Objective] In this paper, we introduce TCGen, a tool that enables the automatic generation of abstract test cases starting from UML conceptual models. [Method] The design and implementation of TCGen, a technique that applies different testing criteria to class diagrams and state transition diagrams to generates test cases, is presented as a model-based testing approach. To do that, TCGen uses UML models, which are widely used at industry and a set of algorithms that recognize the concepts in the models in order to generate abstract test cases. [Results] An exploratory experimental evaluation has been performed to compare the TCGen tool with traditional testing. [Conclusions] Even though the exploratory evaluation shows promising results, it is necessary to perform more empirical evaluations in order to generalize the results. Abstract (in Spanish): [Contexto] La creciente demanda de software de alta calidad ha provocado que la industria incorpore procesos para permitirles cumplir con estos estándares, pero aumentando el costo del desarrollo. Una estrategia para reducir este costo es incorporar evaluaciones de calidad desde las primeras etapas del desarrollo del software. Una técnica que facilita esta evaluación es la prueba basada en modelos, que permite generar casos de prueba en fases tempranas utilizando como entrada los modelos conceptuales del sistema. [Objetivo] En este artículo, presentamos TCGen, una herramienta que permite la generación automática de casos de pruebas abstractas a partir de modelos conceptuales UML. [Método] El diseño e implementación de TCGen, una técnica que aplica diferentes criterios de prueba a los diagramas de clases y diagramas de transición de estados para generar casos de prueba, se presenta como un enfoque de prueba basado en modelos. Para hacer eso, TCGen utiliza modelos UML, que son ampliamente utilizados en la industria y un conjunto de algoritmos que reconocen los conceptos en los modelos para generar casos de prueba abstractos. [Resultados] Se realizó una evaluación experimental exploratoria para comparar la herramienta TCGen con las pruebas tradicionales. [Conclusiones] Aunque la evaluación exploratoria muestra resultados prometedores, es necesario realizar más evaluaciones empíricas para generalizar los resultados.  

Design and Implementation of Test Case Selection Based on Map Reduce

2014 ◽  
Vol 654 ◽  
pp. 378-381
Author(s):  
Yu Lin Liu ◽  
Yan Wang ◽  
Jian Tao Zhou
Keyword(s):  
Cloud Computing ◽  
Software Testing ◽  
Map Reduce ◽  
Test Case ◽  
Test Cases ◽  
Large Collection ◽  
Test Case Selection ◽  
Design And Implementation ◽  
Case Selection ◽  
Hadoop Platform

In the traditional software testing, a large collection of test cases of the tested system automatically generated , in the process of actual execution, all of the test cases are executed is not possible. Normally, we test a certain function of the tested system, so choosing the test cases about a certain function is very important. This paper focuses on solving the problem of choosing test cases about a certain function of the tested system based on CPN model, the method which is based on purpose is used in this process. In the process of test cases selection, there are a whole lot of repeated calculation and operation, this characteristic just can make it combined with the parallel advantage of cloud computing. In summary, this dissertation focus on the test cases selection problem, using MapReduce programming on Hadoop platform, a test case selection tool is designed to improve the efficiency and service capabilities of test selection, the result of the experiment is consistent with the expected result.

A Method of Producing Protocol Minimum Complete Test Cases Based on Petri Net Process

2014 ◽  
Vol 668-669 ◽  
pp. 1208-1214
Author(s):  
De Qin Shu ◽  
Hao Fan ◽  
Liang Zhang
Keyword(s):  
Petri Net ◽  
Good Method ◽  
Test Case ◽  
Test Cases ◽  
Basic Process ◽  
Protocol Testing ◽  
Complete Test ◽  
Protocol Test ◽  
Basic Test

Finding the minimum complete test cases to cover all the behaviors of the protocol by formalized model is the good method to solve protocol testing. A protocol test cases generation method is presented. The method can produce minimum complete test cases. It covers protocol behaviors as much as possible by test cases as little as possible. The basic idea of this method is: express protocol basic test case by Petri net basic process section, combine the test cases by operations such as connection, union and closure, then get the minimum complete test cases. With an example, give the method of producing minimum complete test cases based on LAPD protocol. This method makes the protocol test more accurate and intuitive.

Design and Implementation of Automatic Generating System for Individualized Teaching Based on Web

2011 ◽  
Vol 403-408 ◽  
pp. 2313-2316
Author(s):  
Xu Wang ◽  
Zhi Jun Wang
Keyword(s):  
Learning Process ◽  
Design And Implementation ◽  
Psychology Theory ◽  
Individualized Teaching ◽  
Education Psychology ◽  
Generating System

This paper introduced the development of web automatic generating system. The system can automatically generate a keyword supporting network curriculum. It can track on student's learning process, collect the effective information, and provide analysis by computer servers, combined with education psychology theory, then give feedback to students by a suitable way. This can stimulate students' interest in learning, improve their attention and guide their further study.

scholarly journals An Evaluation of Java for Numerical Computing

1999 ◽  
Vol 7 (2) ◽  
pp. 97-110 ◽  
Author(s):  
Brian Blount ◽  
Siddhartha Chatterjee
Keyword(s):  
Linear Algebra ◽  
High Performance ◽  
Object Oriented ◽  
Exception Handling ◽  
Test Cases ◽  
Design And Implementation ◽  
High Performance Fortran ◽  
Numerical Software ◽  
Numerical Computing ◽  
Fortran 77

This paper describes the design and implementation of high performance numerical software in Java. Our primary goals are to characterize the performance of object‐oriented numerical software written in Java and to investigate whether Java is a suitable language for such endeavors. We have implemented JLAPACK, a subset of the LAPACK library in Java. LAPACK is a high‐performance Fortran 77 library used to solve common linear algebra problems. JLAPACK is an object‐oriented library, using encapsulation, inheritance, and exception handling. It performs within a factor of four of the optimized Fortran version for certain platforms and test cases. When used with the native BLAS library, JLAPACK performs comparably with the Fortran version using the native BLAS library. We conclude that high‐performance numerical software could be written in Java if a handful of concerns about language features and compilation strategies are adequately addressed.

Sign in / Sign up

Export Citation Format

Share Document