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.

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.

Automatic Test Generation for Digital Electronic Circuits

1994 ◽  
Vol 73 (2) ◽  
pp. 19-29 ◽  
Author(s):  
Tapan J. Chakraborty ◽  
Scott Davidson ◽  
Fadi Maamari ◽  
Kwang-Ting Cheng
Keyword(s):  
Test Generation ◽  
Electronic Circuits ◽  
Automatic Test Generation ◽  
Automatic Test

scholarly journals Validation and automatic test generation on UML models

2002 ◽  
Vol 66 (2) ◽  
pp. 33-49 ◽  
Author(s):  
David Lugato ◽  
Céline Bigot ◽  
Yannick Valot
Keyword(s):  
Test Generation ◽  
Automatic Test Generation ◽  
Automatic Test ◽  
Uml Models
Sign in / Sign up

Export Citation Format

Share Document