To see the other types of publications on this topic, follow the link: Automatic Generation of Test Cases.

Journal articles on the topic 'Automatic Generation of Test Cases'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Automatic Generation of Test Cases.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Xu, Ming Gang, Yong Min Mu, Zhi Hua Zhang, and Ang Liu. "Research on Automatic Test Case Generation Framework for Java." Applied Mechanics and Materials 568-570 (June 2014): 1488–96. http://dx.doi.org/10.4028/www.scientific.net/amm.568-570.1488.

Full text
Abstract:
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 generat
APA, Harvard, Vancouver, ISO, and other styles
2

Yoon, Sung-Hee. "Automatic Generation of Software Test Cases using CFG." Journal of the Korea Academia-Industrial cooperation Society 10, no. 5 (2009): 985–91. http://dx.doi.org/10.5762/kais.2009.10.5.985.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Yazdani Seqerloo, Arezoo, Mohammad Javad Amiri, Saeed Parsa, and Mahnaz Koupaee. "Automatic test cases generation from business process models." Requirements Engineering 24, no. 1 (2018): 119–32. http://dx.doi.org/10.1007/s00766-018-0304-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wu, Xiaoxue, Wei Zheng, Peiyuan Wang, Peijia Wang, and Songyu Fan. "JDart-Based Test Cases Generation and Optimization." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 36, no. 1 (2018): 156–61. http://dx.doi.org/10.1051/jnwpu/20183610156.

Full text
Abstract:
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 opti
APA, Harvard, Vancouver, ISO, and other styles
5

Hue, Chu Thi Minh, Duc-Hanh Dang, Nguyen Ngoc Binh, and Anh-Hoang Truong. "USLTG: Test Case Automatic Generation by Transforming Use Cases." International Journal of Software Engineering and Knowledge Engineering 29, no. 09 (2019): 1313–45. http://dx.doi.org/10.1142/s0218194019500414.

Full text
Abstract:
This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (USL)-based Test Generation). We first focus on developing a modeling language named Test Case Specification Language (TCSL) in order to express test cases. Test cases in TCSL can contain detailed information including test steps, test objects within steps, actions of test objects, and test data. Such information is often ignored in currently available test case specifications. We then aim to generate test cases in a TCSL model by a trans
APA, Harvard, Vancouver, ISO, and other styles
6

Le Thi My, Hanh, Binh Nguyen Thanh, and Tung Khuat Thanh. "Survey on Mutation-based Test Data Generation." International Journal of Electrical and Computer Engineering (IJECE) 5, no. 5 (2015): 1164. http://dx.doi.org/10.11591/ijece.v5i5.pp1164-1173.

Full text
Abstract:
<span>The critical activity of testing is the systematic selection of suitable test cases, which be able to reveal highly the faults. Therefore, mutation coverage is an effective criterion for generating test data. Since the test data generation process is very labor intensive, time-consuming and error-prone when done manually, the automation of this process is highly aspired. The researches about automatic test data generation contributed a set of tools, approaches, development and empirical results. In this paper, we will analyse and conduct a comprehensive survey on generating test da
APA, Harvard, Vancouver, ISO, and other styles
7

Al-Saati, Najla, and Roua Basil. "Automatic Test Cases Generation Using an Advanced GEP Method." AL-Rafidain Journal of Computer Sciences and Mathematics 9, no. 1 (2012): 49–65. http://dx.doi.org/10.33899/csmj.2012.163687.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hou, Jun, Hong Zhou, Chunyan Ma, and Jiangbin Zheng. "Method for Automatically Generating Test Cases for Web Services." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 36, no. 1 (2018): 149–55. http://dx.doi.org/10.1051/jnwpu/20183610149.

Full text
Abstract:
Because manual test case design is time-consuming and laborious and has certain blindness and inclination, Web service testing is based on WSDL document and formal model tree automatic generation. The theoretical research and Web service single operation test case generation method. Web service operation test case method, and to build test tools. The application results show that this method can greatly save the time of manually analyzing the complex data types in WSDL files and the time of generating the test cases according to the test cases of built-in data types. It simplifies the generati
APA, Harvard, Vancouver, ISO, and other styles
9

Lee, Hyun-jeong, Nam-kyung Uhm, Young-il Choi, Byung-sun Lee, and Kyung-pyo Jun. "Automatic generation of SCTP test cases in multiservice switching system." Integrated Computer-Aided Engineering 9, no. 2 (2002): 175–83. http://dx.doi.org/10.3233/ica-2002-9207.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Burgess, C. J., and M. Saidi. "The automatic generation of test cases for optimizing Fortran compilers." Information and Software Technology 38, no. 2 (1996): 111–19. http://dx.doi.org/10.1016/0950-5849(95)01055-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Baniaș, Ovidiu, Diana Florea, Robert Gyalai, and Daniel-Ioan Curiac. "Automated Specification-Based Testing of REST APIs." Sensors 21, no. 16 (2021): 5375. http://dx.doi.org/10.3390/s21165375.

Full text
Abstract:
Nowadays, REpresentational State Transfer Application Programming Interfaces (REST APIs) are widely used in web applications, hence a plethora of test cases are developed to validate the APIs calls. We propose a solution that automates the generation of test cases for REST APIs based on their specifications. In our approach, apart from the automatic generation of test cases, we provide an option for the user to influence the test case generation process. By adding user interaction, we aim to augment the automatic generation of APIs test cases with human testing expertise and specific context.
APA, Harvard, Vancouver, ISO, and other styles
12

Wang, Xuan, Qiang Yi Luo, and Ling Ling Li. "Research on Automatic Test Method of VMF Codecs." Applied Mechanics and Materials 511-512 (February 2014): 1189–95. http://dx.doi.org/10.4028/www.scientific.net/amm.511-512.1189.

Full text
Abstract:
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 c
APA, Harvard, Vancouver, ISO, and other styles
13

Oluwagbemi, Oluwatolani, and Hishammuddin Asmuni. "An Approach for Automatic Generation of Test Cases from UML Diagrams." International Journal of Software Engineering and Its Applications 9, no. 8 (2015): 87–106. http://dx.doi.org/10.14257/ijseia.2015.9.8.08.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Zhang, Na, Biao Wu, and Xiaoan Bao. "Automatic Generation of Test Cases Based On Multi-population Genetic Algorithm." International Journal of Multimedia and Ubiquitous Engineering 10, no. 6 (2015): 113–22. http://dx.doi.org/10.14257/ijmue.2015.10.6.11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Calamé, Jens R., Natalia Ioustinova, and Jaco van de Pol. "Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction." Electronic Notes in Theoretical Computer Science 191 (October 2007): 25–48. http://dx.doi.org/10.1016/j.entcs.2007.06.019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Wu, Danyang, and Xuejun Yu. "Automatic generation of trusted test cases based on adaptive genetic algorithm." Journal of Physics: Conference Series 1865, no. 4 (2021): 042074. http://dx.doi.org/10.1088/1742-6596/1865/4/042074.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Srivastava, Praveen Ranjan, Amitkumar Patel, Kunal Patel, and Prateek Vijaywargiya. "Test Data Generation Based on Test Path Discovery Using Intelligent Water Drop." International Journal of Applied Metaheuristic Computing 3, no. 2 (2012): 56–74. http://dx.doi.org/10.4018/jamc.2012040105.

Full text
Abstract:
Automatic test data generation is required to generate test cases dynamically for a specific software program. Manual generation of test data is too tedious and a time consuming task. This paper proposes a technique using Intelligent Water Drop (IWD) for automatic generation of test data. Correctly generated test data helps in reducing the effort while testing the software. This paper discusses different algorithms based on IWD to generate test data and path coverage over Control Flow Graph. Test data is generated keeping in mind all of the programming constraints like “if,” “while,” “do while
APA, Harvard, Vancouver, ISO, and other styles
18

Chen, Jing. "A Analysis and Research on the Methods of Object Oriented Software Testing." Advanced Materials Research 709 (June 2013): 616–19. http://dx.doi.org/10.4028/www.scientific.net/amr.709.616.

Full text
Abstract:
This paper proposes a genetic algorithm-based method to generate test cases. This method provides information for test case generation using state machine diagrams. Its feature is realizing automation through fewer generated test cases. In terms of automatic generation of test data based on path coverage, the goal is to build a function that can excellently assess the generated test data and guide the genetic algorithms to find the targeting parameter values.
APA, Harvard, Vancouver, ISO, and other styles
19

Khamprapai, Wanida, Cheng-Fa Tsai, Paohsi Wang, and Chi-En Tsai. "Performance of Enhanced Multiple-Searching Genetic Algorithm for Test Case Generation in Software Testing." Mathematics 9, no. 15 (2021): 1779. http://dx.doi.org/10.3390/math9151779.

Full text
Abstract:
Test case generation is an important process in software testing. However, manual generation of test cases is a time-consuming process. Automation can considerably reduce the time required to create adequate test cases for software testing. Genetic algorithms (GAs) are considered to be effective in this regard. The multiple-searching genetic algorithm (MSGA) uses a modified version of the GA to solve the multicast routing problem in network systems. MSGA can be improved to make it suitable for generating test cases. In this paper, a new algorithm called the enhanced multiple-searching genetic
APA, Harvard, Vancouver, ISO, and other styles
20

Choi, Eun Hye, Hideaki Nishihara, Takahiro Ando, et al. "Formal Specification Based Automatic Test Generation for Embedded Network Systems." Journal of Applied Mathematics 2014 (2014): 1–21. http://dx.doi.org/10.1155/2014/909762.

Full text
Abstract:
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 sele
APA, Harvard, Vancouver, ISO, and other styles
21

Romli, Rohaida, Shahadath Sarker, Mazni Omar, and Musyrifah Mahmod. "Automated Test Cases and Test Data Generation for Dynamic Structural Testing in Automatic Programming Assessment Using MC/DC." International Journal on Advanced Science, Engineering and Information Technology 10, no. 1 (2020): 120. http://dx.doi.org/10.18517/ijaseit.10.1.10166.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Yu, Yuen Tak, Man Fai Lau, and Tsong Yueh Chen. "Automatic generation of test cases from Boolean specifications using the MUMCUT strategy." Journal of Systems and Software 79, no. 6 (2006): 820–40. http://dx.doi.org/10.1016/j.jss.2005.08.016.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Jianping, Cao, Sun Wenzhu, Zhou Xiuzhi, Zhu Guotao, and Hu Wenting. "Interface Byte Stream Parsing Algorithm for Black Box Test Cases Automatic Generation." IOP Conference Series: Materials Science and Engineering 428 (October 1, 2018): 012001. http://dx.doi.org/10.1088/1757-899x/428/1/012001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Duy, Trinh Cong, Nguyen Thanh Binh, and Ioannis Parissis. "Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs." Journal of Software Engineering and Applications 06, no. 10 (2013): 27–35. http://dx.doi.org/10.4236/jsea.2013.610a004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Rani, Seema, and Amandeep Kaur. "Efficient Framework for Fully Automatic Test Case Generation and Prioritization Using Genetic Algorithm in Software Testing." Journal of Computational and Theoretical Nanoscience 17, no. 11 (2020): 5198–204. http://dx.doi.org/10.1166/jctn.2020.9362.

Full text
Abstract:
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 wh
APA, Harvard, Vancouver, ISO, and other styles
26

Zheng, Jin Qin, Yong Min Mu, Zhi Hua Zhang, and Ya Nan Zhang. "Research on Automated Testing Process Model for UOF/OOXML Translator." Applied Mechanics and Materials 568-570 (June 2014): 1551–58. http://dx.doi.org/10.4028/www.scientific.net/amm.568-570.1551.

Full text
Abstract:
There are some issues in the manual test ofUOF/OOXML Translator, such as the low efficiency, difficult measurement of test case coverage and project delay. This paper brings about the automated testing process model based on the manualVmodel ofUOF/OOXML Translator, and proposes the implementation scheme of automated testing process through analyzing test case automatic generation, test case management, automatic contrast of function points and defects management. The experiments have shown that this model can effectively manage test cases and defects, and even replace manual testing partly. Be
APA, Harvard, Vancouver, ISO, and other styles
27

Bala, Anju, and Rajender Singh Chhillar. "Automatic Generation and Optimization of Test Cases Using Genetic Algorithm with UML Diagram." Journal of Engineering and Applied Sciences 14, no. 4 (2019): 1590–600. http://dx.doi.org/10.36478/jeasci.2019.1590.1600.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Katayama, Tetsuro, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, and Naonobu Okazaki. "BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++." Journal of Robotics, Networking and Artificial Life 4, no. 2 (2017): 110. http://dx.doi.org/10.2991/jrnal.2017.4.2.1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Wang, Ming-Hung, Han-Chi Wang, You-Ru Chen, and Chin-Laung Lei. "Automatic Test Pattern Generator for Fuzzing Based on Finite State Machine." Security and Communication Networks 2017 (2017): 1–11. http://dx.doi.org/10.1155/2017/7819590.

Full text
Abstract:
With the rapid development of the Internet, several emerging technologies are adopted to construct fancy, interactive, and user-friendly websites. Among these technologies, HTML5 is a popular one and is widely used in establishing modern sites. However, the security issues in the new web technologies are also raised and are worthy of investigation. For vulnerability investigation, many previous studies used fuzzing and focused on generation-based approaches to produce test cases for fuzzing; however, these methods require a significant amount of knowledge and mental efforts to develop test pat
APA, Harvard, Vancouver, ISO, and other styles
30

Mahadik, Pranali, Debnath Bhattacharyya, and Hye-jin Kim. "Techniques for Automated Test Cases Generation: A Review." International Journal of Software Engineering and Its Applications 10, no. 12 (2016): 13–20. http://dx.doi.org/10.14257/ijseia.2016.10.12.02.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Burgess, Colin J. "The automated generation of test cases for compilers." Software Testing, Verification and Reliability 4, no. 2 (1994): 81–99. http://dx.doi.org/10.1002/stvr.4370040204.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

V. Chandra Prakash, Dr, Subhash Tatale, Vrushali Kondhalkar, and Laxmi Bewoor. "A Critical Review on Automated Test Case Generation for Conducting Combinatorial Testing Using Particle Swarm Optimization." International Journal of Engineering & Technology 7, no. 3.8 (2018): 22. http://dx.doi.org/10.14419/ijet.v7i3.8.15212.

Full text
Abstract:
In software development life cycle, testing plays the significant role to verify requirement specification, analysis, design, coding and to estimate the reliability of software system. A test manager can write a set of test cases manually for the smaller software systems. However, for the extensive software system, normally the size of test suite is large, and the test suite is prone to an error committed like omissions of important test cases, duplication of some test cases and contradicting test cases etc. When test cases are generated automatically by a tool in an intelligent way, test erro
APA, Harvard, Vancouver, ISO, and other styles
33

Zhou, Wei Feng, Xin Min Li, Sheng Qing Lv, and Zhuo Zhang. "Automatic Test Case Generation for Context Based Multiplicity Checking in UML." Applied Mechanics and Materials 433-435 (October 2013): 1643–48. http://dx.doi.org/10.4028/www.scientific.net/amm.433-435.1643.

Full text
Abstract:
UML is considered as the standard for object-oriented modeling and design. Automatic test case generation is an important method for the verification and validation of UML specifications to reduce the development cost and help increase the reliability. In this paper, we present a method to model the specific constraints using context-based multiplicity, which defines on the instances of the class associated with the context, instead of using constraints defined informally or in OCL. Then, an algorithm is proposed to generation a set of test cases to verify the context-based multiplicity in an
APA, Harvard, Vancouver, ISO, and other styles
34

Gagandeep, mr, and Dr Jyotsna Sengupta. "Automatic Generation of Regression Test Cases for Web Components using Domain Analysis and Modeling." International Journal of Computer Applications 11, no. 12 (2010): 14–17. http://dx.doi.org/10.5120/1635-2198.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Yu, Xuejun, and Jing Wang. "A preliminary study of automatic generation of credibility test cases based on immune algorithm." Cluster Computing 22, S6 (2018): 14867–75. http://dx.doi.org/10.1007/s10586-018-2427-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Jaffari, Aman, Cheol-Jung Yoo, and Jihyun Lee. "Automatic Test Data Generation Using the Activity Diagram and Search-Based Technique." Applied Sciences 10, no. 10 (2020): 3397. http://dx.doi.org/10.3390/app10103397.

Full text
Abstract:
In software testing, generating test data is quite expensive and time-consuming. The manual generation of an appropriately large set of test data to satisfy a specified coverage criterion carries a high cost and requires significant human effort. Currently, test automation has come at the cost of low quality. In this paper, we are motivated to propose a model-based approach utilizing the activity diagram of the system under test as a test base, focusing on its data flow aspect. The technique is incorporated with a search-based optimization heuristic to fully automate the test data generation p
APA, Harvard, Vancouver, ISO, and other styles
37

Bala Mishra, Deepti, Arup Abhinna Acharya, and Rajashree Mishra. "Evolutionary algorithms for path coverage test data generation and optimization: a review." Indonesian Journal of Electrical Engineering and Computer Science 15, no. 1 (2019): 504. http://dx.doi.org/10.11591/ijeecs.v15.i1.pp504-510.

Full text
Abstract:
Software testing is very time consuming, labor-intensive and complex process. It is found that 50% of the resources of the software development are consumed for testing. Testing can be done in two different ways such as manual testing and automatic testing. Automatic testing can overcomes the limitations of manual testing by decreasing the cost and time of testing process. Path testing is the strongest coverage criteria among all white box testing techniques as it can detect about 65% of defects present in a SUT. With the help of path testing, the test cases are created and executed for all po
APA, Harvard, Vancouver, ISO, and other styles
38

Wu, Hao. "Application of Orthogonal Experimental Design for the Automatic Software Testing." Applied Mechanics and Materials 347-350 (August 2013): 812–18. http://dx.doi.org/10.4028/www.scientific.net/amm.347-350.812.

Full text
Abstract:
According to inputting different combination of conditions so as to produce different impacts, software testing designs a large number of test cases. If the implementation of an overall test, due to the limit of the combination of conditions, it is difficult to carry out. In order to generate high quality test cases as early as possible to improve the efficiency of software testing, it is designed a generation tool of the automatic software testing case on orthogonal experimental design. For the test data, the use of that tool design test cases. The practice shows that a small number of test c
APA, Harvard, Vancouver, ISO, and other styles
39

Avritzer, A., E. de Souza e Silva, R. M. M. Leão, and E. J. Weyuker. "Automated generation of test cases using a performability model." IET Software 5, no. 2 (2011): 113. http://dx.doi.org/10.1049/iet-sen.2010.0035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Tachiyama, Hiroki, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, and Naonobu Okazaki. "Prototype of Test Cases Automatic Generation Tool BWDM Based on Boundary Value Analysis with VDM++." Proceedings of International Conference on Artificial Life and Robotics 22 (January 19, 2017): 275–78. http://dx.doi.org/10.5954/icarob.2017.os6-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Mateo Navarro, Pedro Luis, Diego Sevilla Ruiz, and Gregorio Martínez Pérez. "A Proposal for Automatic Testing of GUIs Based on Annotated Use Cases." Advances in Software Engineering 2010 (November 5, 2010): 1–8. http://dx.doi.org/10.1155/2010/671284.

Full text
Abstract:
This paper presents a new approach to automatically generate GUI test cases and validation points from a set of annotated use cases. This technique helps to reduce the effort required in GUI modeling and test coverage analysis during the software testing process. The test case generation process described in this paper is initially guided by use cases describing the GUI behavior, recorded as a set of interactions with the GUI elements (e.g., widgets being clicked, data input, etc.). These use cases (modeled as a set of initial test cases) are annotated by the tester to indicate interesting var
APA, Harvard, Vancouver, ISO, and other styles
42

Lakshminarayana, P., and T. V. SureshKumar. "Automatic Generation and Optimization of Test case using Hybrid Cuckoo Search and Bee Colony Algorithm." Journal of Intelligent Systems 30, no. 1 (2020): 59–72. http://dx.doi.org/10.1515/jisys-2019-0051.

Full text
Abstract:
AbstractSoftware testing is a very important technique to design the faultless software and takes approximately 60% of resources for the software development. It is the process of executing a program or application to detect the software bugs. In software development life cycle, the testing phase takes around 60% of cost and time. Test case generation is a method to identify the test data and satisfy the software testing criteria. Test case generation is a vital concept used in software testing, that can be derived from the user requirements specification. An automatic test case technique dete
APA, Harvard, Vancouver, ISO, and other styles
43

Kim, Ki Byung, and Jonghyup Lee. "Automated Generation of Test Cases for Smart Contract Security Analyzers." IEEE Access 8 (2020): 209377–92. http://dx.doi.org/10.1109/access.2020.3039990.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Yan, Ming Ming, Yong Min Mu, Yu Jie He, and Ang Liu. "The Analysis of Function Calling Path in Java Based on Soot." Applied Mechanics and Materials 568-570 (June 2014): 1479–87. http://dx.doi.org/10.4028/www.scientific.net/amm.568-570.1479.

Full text
Abstract:
In order to accurately obtain the Java program function calling path, and for facilitating automated testing and automatic test cases generation, the article puts forward an algorithm of Java function calling relation extraction based on Soot open source tools. Firstly, statically analyze within a single function calling relationship, define the function calling tree, and analyze the relationship between a single function calling tree and the program function calling graph. Then by combining algorithm to generate the process the function calling graph. Experiments prove that this algorithm can
APA, Harvard, Vancouver, ISO, and other styles
45

SOFOKLEOUS, ANASTASIS A., and ANDREAS S. ANDREOU. "AUTOMATIC PRODUCTION OF TEST DATA WITH A MULTIPLE BATCH-OPTIMISTIC METHOD." International Journal on Artificial Intelligence Tools 18, no. 01 (2009): 61–80. http://dx.doi.org/10.1142/s0218213009000044.

Full text
Abstract:
Recent research on software testing focuses on integrating techniques, such as computational intelligence, with special purpose software tools so as to minimize human effort, reduce costs and automate the testing process. This work proposes a complete software testing framework that utilizes a series of specially designed genetic algorithms to generate automatically test data with reference to the edge/condition testing coverage criterion. The framework utilizes a program analyzer, which examines the program's source code and builds dynamically program models for automatic testing, and a test
APA, Harvard, Vancouver, ISO, and other styles
46

Choi, In-Hwa, Min-Ju Cho, Jong-Ho Paik, and Jun Hwang. "Automatic Generation Method of Exceptional Test Cases for improving User Requirement Quality on Broadcast Receiver Software." Journal of Broadcast Engineering 17, no. 3 (2012): 529–39. http://dx.doi.org/10.5909/jbe.2012.17.3.529.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Zhang, Lun, Wenwen Zhao, and Xiyu Zhang. "Uml based test cases generation for the centralised control system of high speed maglev." Transportation Systems and Technology 4, no. 3 suppl. 1 (2018): 234–45. http://dx.doi.org/10.17816/transsyst201843s1234-245.

Full text
Abstract:
Background: The high speed maglev centralized control subsystem (CCS), which realizes the display, automatic train operation (ATO) and diagnose. The CCS is an important security assurance for train operation. System testing (ST) can detect design defects early and performed effective repair to improve the efficiency of the system’ on-site coordinated operation. Therefore, the quality of test cases directly determines the achievements and efficiency of CCS, and it is necessary to be tested before put it into use.
 Aim: The generation of test case of centralized control subsystem is propose
APA, Harvard, Vancouver, ISO, and other styles
48

Dr. Ajay Roy, Srinivas Perala,. "A Novel Framework Design for Test Case Authoring and Auto Test Scripts Generation." Turkish Journal of Computer and Mathematics Education (TURCOMAT) 12, no. 6 (2021): 1479–87. http://dx.doi.org/10.17762/turcomat.v12i6.2686.

Full text
Abstract:
Every product has defects and identifying defects in the process of development and rectifying them before the launch of the product is very important. Embedded software testing process find the bugs in the software and report to the developer to fix issues. Sometimes to meet the product release deadlines, test engineers will not get much time to cover all test cases. That is why most software testing depends on test automation. In this paper, we focused on the area of automotive and home appliances embedded software test automation. Test automation is the only solution to improve the test pha
APA, Harvard, Vancouver, ISO, and other styles
49

GUDERLEI, RALPH, and JOHANNES MAYER. "TOWARDS AUTOMATIC TESTING OF IMAGING SOFTWARE BY MEANS OF RANDOM AND METAMORPHIC TESTING." International Journal of Software Engineering and Knowledge Engineering 17, no. 06 (2007): 757–81. http://dx.doi.org/10.1142/s0218194007003471.

Full text
Abstract:
Testing of imaging software is a challenging task, which is usually done manually. For this purpose, well-known test images are generally used whose expected output can be specified in advance or the actual result is visually inspected by the tester. In the present paper, an approach is described that allows to test imaging software fully automatically. Several random models are proposed for test data generation. Metamorphic relations are presented that can be used to generate follow-up test cases and evaluate the result. The models for test data generation and the oracle solutions are compare
APA, Harvard, Vancouver, ISO, and other styles
50

Klimek, Radosław, Katarzyna Grobler-Dębska, and Edyta Kucharska. "System for automatic generation of logical formulas." MATEC Web of Conferences 252 (2019): 03005. http://dx.doi.org/10.1051/matecconf/201925203005.

Full text
Abstract:
The satisfiability problem (SAT) is one of the classical and also most important problems of the theoretical computer science and has a direct bearing on numerous practical cases. It is one of the most prominent problems in artificial intelligence and has important applications in many fields, such as hardware and software verification, test-case generation, AI planning, scheduling, and data structures that allow efficient implementation of search space pruning. In recent years, there has been a huge development in SAT solvers, especially CDCL-based solvers (Conflict-Driven Clause-Learning) fo
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!