A method to facilitate automatic test cases generation based on inverse functions

2015 ◽  
pp. 339-342
Author(s):  
W Xiong ◽  
J Huang ◽  
X Zhang ◽  
Y Gong
Keyword(s):  
Test Cases ◽  
Automatic Test ◽  
Inverse Functions

Research on Automatic Test Case Generation Framework for Java

2014 ◽  
Vol 568-570 ◽  
pp. 1488-1496
Author(s):  
Ming Gang Xu ◽  
Yong Min Mu ◽  
Zhi Hua Zhang ◽  
Ang Liu
Keyword(s):  
Software Testing ◽  
Automatic Generation ◽  
Difficult Problem ◽  
Test Case Generation ◽  
Test Case ◽  
Test Cases ◽  
Labor Costs ◽  
Automatic Test ◽  
Automatic Test Case Generation ◽  
Java Program

Automatic test case generation has been a hotspot and a difficult problem in the software testing, Accurately and efficiently generate test cases can improve the efficiency of software testing. Java programs have many characteristics such as encapsulation, inheritance, polymorphism and so on, it is convenient for software design and development, but to bring automated testing some difficulties. This article on the Java program of automatic test case generation method is studied and presents a framework for automatic generation of test cases. With this framework, test case suite will be generated quickly and accurately. Experimental results show that automatic Java test case generation framework can quickly and accurately generate test cases , reduce labor costs and improve efficiency.

scholarly journals JDart-Based Test Cases Generation and Optimization

2018 ◽  
Vol 36 (1) ◽  
pp. 156-161
Author(s):  
Xiaoxue Wu ◽  
Wei Zheng ◽  
Peiyuan Wang ◽  
Peijia Wang ◽  
Songyu Fan
Keyword(s):  
Software Reliability ◽  
Test Generation ◽  
Crucial Role ◽  
High Reliability ◽  
Complex Object ◽  
Test Cases ◽  
Optimization Strategy ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Test Efficiency

Test cases play a crucial role in software testing, with the increasing complexity and scale of software, automatic test cases generation becomes increasingly important for software reliability and test efficiency. Symbolic-based test cases generation approach draws great attention due to its high reliability and there are already various kinds of tools introduced. However, most of these tools are C-oriented. JDart is a good open source Java-oriented symbol execution tool with excellent scalability. This paper aims to enhance the automatic test generation ability of JDart by designing and optimizing its array symbolization. The verification result shows that the optimization strategy proposed in this paper is effective in the test of the Jdart, it can effectively improve the coverage of Jdart on program involving complex object testing.

scholarly journals Formal Specification Based Automatic Test Generation for Embedded Network Systems

2014 ◽  
Vol 2014 ◽  
pp. 1-21
Author(s):  
Eun Hye Choi ◽  
Hideaki Nishihara ◽  
Takahiro Ando ◽  
Nguyen Van Tang ◽  
Masahiro Aoki ◽  
...  
Keyword(s):  
Test Generation ◽  
Formal Specification ◽  
Test Cases ◽  
Practical Case ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Network Systems ◽  
Embedded Network ◽  
Efficient Test ◽  
Design And Testing

Embedded systems have become increasingly connected and communicate with each other, forming large-scaled and complicated network systems. To make their design and testing more reliable and robust, this paper proposes a formal specification language calledSENSand aSENS-based automatic test generation tool calledTGSENS. Our approach is summarized as follows: (1) A user describes requirements of target embedded network systems by logical property-based constraints usingSENS. (2) GivenSENSspecifications, test cases are automatically generated using a SAT-based solver. Filtering mechanisms to select efficient test cases are also available in our tool. (3) In addition, given a testing goal by the user, test sequences are automatically extracted from exhaustive test cases. We’ve implemented our approach and conducted several experiments on practical case studies. Through the experiments, we confirmed the efficiency of our approach in design and test generation of real embedded air-conditioning network systems.

Automatic test cases generation from business process models

2018 ◽  
Vol 24 (1) ◽  
pp. 119-132
Author(s):  
Arezoo Yazdani Seqerloo ◽  
Mohammad Javad Amiri ◽  
Saeed Parsa ◽  
Mahnaz Koupaee
Keyword(s):  
Business Process ◽  
Process Models ◽  
Test Cases ◽  
Automatic Test ◽  
Business Process Models

Efficient Framework for Fully Automatic Test Case Generation and Prioritization Using Genetic Algorithm in Software Testing

2020 ◽  
Vol 17 (11) ◽  
pp. 5198-5204
Author(s):  
Seema Rani ◽  
Amandeep Kaur
Keyword(s):  
Genetic Algorithm ◽  
Software Development ◽  
Software Testing ◽  
Development Process ◽  
Regression Testing ◽  
Process Time ◽  
Test Case ◽  
Test Cases ◽  
Software Development Process ◽  
Automatic Test

Automation in software testing is significantly growing in recent situation. Most part of the system is automated with help of the software. Today every modern software developers are trying to automate the software development process as much as possible. Therefore to develop any software more skills and expertise are needed. For the software development process, testing of software is the exceedingly significant and considerable phase. Automatic test data generation had an essential function in specific area regarding software testing. Test case creation is technique of gathering the data which completes the testing standards, all criteria’s and conditions. During testing process, the software goes through frequent modifications. As a result, due to all of these modifications and repetitive retesting the cost of testing process increases. This is called regression testing. Regression testing requires more expertise, more effort, more time and more cost. Here to reduce the time and expenditure, many type of techniques are proposed. The changes in one test case will affect all the others test cases. To triumph over this problem, when the changes occurred in the software every the test case have to be retested repeatedly. And this problem leads to make the testing process time consuming with unnecessary increased cost. Here In this research paper, the work’s focal point on automatic test cases generation and prioritization with improved evolutionary genetic algorithm.

Research on Automatic Test Method of VMF Codecs

2014 ◽  
Vol 511-512 ◽  
pp. 1189-1195
Author(s):  
Xuan Wang ◽  
Qiang Yi Luo ◽  
Ling Ling Li
Keyword(s):  
Automatic Generation ◽  
Test Method ◽  
Test Case ◽  
Test Cases ◽  
Data Element ◽  
Automatic Test ◽  
Function Generation ◽  
Automatic Test Case Generation ◽  
Message Format ◽  
Test Process

Test of VMF Codecs aims to find errors. This paper proposes an automatic test method of VMF codecs, the method use VMF Data Element Dictionary as the input data. Firstly the test process is designed for pack & unpack functions using legal and illegal test cases, then discusses the test cases suitable for automatic generation, and proposes an automatic test case generation method, the method consists of such steps: design of VMF Data Element Dictionary, message format analysis, generation of message storage struct, generation of message pack & unpack function, generation of legal test case and illegal test case. Lastly this method has been implemented and test experiments are taken, the results show that this method is feasible and effective.

Sign in / Sign up

Export Citation Format

Share Document