Automatic and Optimized Test Case Generation

Automatic and Optimized Test Case Generation

Software testing is done manually from the day the software development started.

Author: Abinash Tripathy

Publisher: LAP Lambert Academic Publishing

ISBN: 3659687367

Category:

Page: 72

View: 271

Software testing is done manually from the day the software development started. But manual testing has shortcoming that many times became the reason of software failure. So, automated testing comes into picture and Unified Modeling Language (UML) a tool helps to automate the testing process. Two different UML diagrams, Activity and Sequence used to automate the testing process. These diagrams are converted into graphs using algorithms and finally combined to form System graph. This system graph is then traverse to generate the test case and as both diagram consider the whole system for analysis and consider all the cases. The final test cases generated are optimized also.
Categories:

Structured Object Oriented Formal Language and Method

Structured Object Oriented Formal Language and Method

An Implementation Framework for Optimizing Test Case Generation Using Model Checking Longhui Chang1,2(✉), Huaikou Miao1,2, ... Model checking based automated software testing has gained a great popularity in the field of software test.

Author: Shaoying Liu

Publisher: Springer

ISBN: 9783319174044

Category: Computers

Page: 189

View: 322

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Categories: Computers

Computer Information Systems and Industrial Management

Computer Information Systems and Industrial Management

However, in literature, focus is mostly given on UML model based automatic generation of test cases, rather than optimization of test cases. Researchers and practitioners have worked on various optimization approaches from decades.

Author: Khalid Saeed

Publisher: Springer Nature

ISBN: 9783030289577

Category: Computers

Page: 536

View: 920

This book constitutes the proceedings of the 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, held in Belgrade, Serbia, in September 2019. The 43 full papers presented together with 3 abstracts of keynotes were carefully reviewed and selected from 70 submissions. The main topics covered by the chapters in this book are biometrics, security systems, multimedia, classification and clustering, industrial management. Besides these, the reader will find interesting papers on computer information systems as applied to wireless networks, computer graphics, and intelligent systems. The papers are organized in the following topical sections: biometrics and pattern recognition applications; computer information systems; industrial management and other applications; machine learning and high performance computing; modelling and optimization; various aspects of computer security.
Categories: Computers

Data Democracy

Data Democracy

Testing Table 10.1 A complete list for all AI-driven methods for SE (ordered by year 1975 e2017).dcont'd Name of ... Optimization Testing 2003 Automated test reduction Data analytics (Machine 2003 Learning) Test case generation and ...

Author: Feras A. Batarseh

Publisher: Academic Press

ISBN: 9780128189399

Category: Science

Page: 266

View: 449

Data Democracy: At the Nexus of Artificial Intelligence, Software Development, and Knowledge Engineering provides a manifesto to data democracy. After reading the chapters of this book, you are informed and suitably warned! You are already part of the data republic, and you (and all of us) need to ensure that our data fall in the right hands. Everything you click, buy, swipe, try, sell, drive, or fly is a data point. But who owns the data? At this point, not you! You do not even have access to most of it. The next best empire of our planet is one who owns and controls the world’s best dataset. If you consume or create data, if you are a citizen of the data republic (willingly or grudgingly), and if you are interested in making a decision or finding the truth through data-driven analysis, this book is for you. A group of experts, academics, data science researchers, and industry practitioners gathered to write this manifesto about data democracy. The future of the data republic, life within a data democracy, and our digital freedoms An in-depth analysis of open science, open data, open source software, and their future challenges A comprehensive review of data democracy's implications within domains such as: healthcare, space exploration, earth sciences, business, and psychology The democratization of Artificial Intelligence (AI), and data issues such as: Bias, imbalance, context, and knowledge extraction A systematic review of AI methods applied to software engineering problems
Categories: Science

Automated Software Testing

Automated Software Testing

Kaur K, Chopra V (2014) Review of automatic test case generation from UML diagram using evolutionary algorithm. Int JInvent Eng Sci 2:17–20 Kennedy J (2010) Particle swarm optimization. Encyclopedia of machine learning, pp 760–766 Khari ...

Author: Ajay Kumar Jena

Publisher: Springer Nature

ISBN: 9789811524554

Category: Technology & Engineering

Page: 165

View: 518

This book covers both theory and applications in the automation of software testing tools and techniques for various types of software (e.g. object-oriented, aspect-oriented, and web-based software). When software fails, it is most often due to lack of proper and thorough testing, an aspect that is even more acute for object-oriented, aspect-oriented, and web-based software. Further, since it is more difficult to test distributed and service-oriented architecture-based applications, there is a pressing need to discuss the latest developments in automated software testing. This book discusses the most relevant issues, models, tools, challenges, and applications in automated software testing. Further, it brings together academic researchers, scientists, and engineers from a wide range of industrial application areas, who present their latest findings and identify future challenges in this fledging research area.
Categories: Technology & Engineering

Cloud Computing and Security

Cloud Computing and Security

6.2 Existing Problems Compared to other vulnerabilities detection method, one important disadvantages of fuzzing is not to guarantee high path coverage rate and high automatic level. Therefore, optimizing test case generation strategy ...

Author: Xingming Sun

Publisher: Springer

ISBN: 9783030000097

Category: Computers

Page: 743

View: 210

This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics.
Categories: Computers

Contemporary Computing

Contemporary Computing

Automatic Test Data Generation for Data Flow Testing Using Particle Swarm Optimization Narmada Nayak⋆ and Durga ... Evolutionary structural testing is an approach to automatically generate test cases that uses a Genetic Algorithm (GA) ...

Author: Sanjay Ranka

Publisher: Springer Science & Business Media

ISBN: 9783642148248

Category: Computers

Page: 275

View: 616

This volume constitutes the refereed proceedings of the Third International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2010.
Categories: Computers

Testing of Communicating Systems

Testing of Communicating Systems

Chun, W. (1991) Test Case Generation for Protocols Specified in Estelle. Ph.D. thesis, Dept. ... Kim, T. (1995) Automatic generation of observation-based and length-optimized test cases for EFSM model in conformance testing.

Author: Myungchul Kim

Publisher: Springer

ISBN: 9780387351988

Category: Computers

Page: 452

View: 220

The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.
Categories: Computers

Business Economics Financial Sciences and Management

Business  Economics  Financial Sciences  and Management

In: Book A Novel Approach to Automatic Test Case Generation for Web Applications. Series A Novel Approach to Automatic ... In: Book Automated Test Generation for Access Control Policies via Change-Impact Analysis. Series Automated Test ...

Author: Min Zhu

Publisher: Springer Science & Business Media

ISBN: 9783642279669

Category: Mathematics

Page: 876

View: 143

A series of papers on business, economics, and financial sciences, management selected from International Conference on Business, Economics, and Financial Sciences, Management are included in this volume. Management in all business and organizational activities is the act of getting people together to accomplish desired goals and objectives using available resources efficiently and effectively. Management comprises planning, organizing, staffing, leading or directing, and controlling an organization (a group of one or more people or entities) or effort for the purpose of accomplishing a goal. Resourcing encompasses the deployment and manipulation of human resources, financial resources, technological resources and natural resources. The proceedings of BEFM2011 focuses on the various aspects of advances in Business, Economics, and Financial Sciences, Management and provides a chance for academic and industry professionals to discuss recent progress in the area of Business, Economics, and Financial Sciences, Management. It is hoped that the present book will be useful to experts and professors, both specialists and graduate students in the related fields.
Categories: Mathematics

Advanced Informatics for Computing Research

Advanced Informatics for Computing Research

According to Arora and Baghel [2] a method is describe for optimizing software testing by discovering the most ... Evolutionary algorithms have a momentous role in the process of automatic test case generation and researchers are ...

Author: Ashish Kumar Luhach

Publisher: Springer

ISBN: 9789811331404

Category: Computers

Page: 830

View: 655

This two-volume set (CCIS 955 and CCIS 956) constitutes the refereed proceedings of the Second International Conference on Advanced Informatics for Computing Research, ICAICR 2018, held in Shimla, India, in July 2018. The 122 revised full papers presented were carefully reviewed and selected from 427 submissions. The papers are organized in topical sections on computing methodologies; hardware; information systems; networks; security and privacy; computing methodologies.
Categories: Computers

Soft Computing for Problem Solving

Soft Computing for Problem Solving

Test Case Generation and Optimization for Critical Path Testing Using Genetic Algorithm Deepti Bala Mishra, ... paper presents a method for path testing by generating the test data automatically and optimizing the test data to test the ...

Author: Jagdish Chand Bansal

Publisher: Springer

ISBN: 9789811315954

Category: Technology & Engineering

Page: 991

View: 735

This two-volume book presents outcomes of the 7th International Conference on Soft Computing for Problem Solving, SocProS 2017. This conference is a joint technical collaboration between the Soft Computing Research Society, Liverpool Hope University (UK), the Indian Institute of Technology Roorkee, the South Asian University New Delhi and the National Institute of Technology Silchar, and brings together researchers, engineers and practitioners to discuss thought-provoking developments and challenges in order to select potential future directions The book presents the latest advances and innovations in the interdisciplinary areas of soft computing, including original research papers in the areas including, but not limited to, algorithms (artificial immune systems, artificial neural networks, genetic algorithms, genetic programming, and particle swarm optimization) and applications (control systems, data mining and clustering, finance, weather forecasting, game theory, business and forecasting applications). It is a valuable resource for both young and experienced researchers dealing with complex and intricate real-world problems for which finding a solution by traditional methods is a difficult task.
Categories: Technology & Engineering

Evolutionary Computation and Optimization Algorithms in Software Engineering Applications and Techniques

Evolutionary Computation and Optimization Algorithms in Software Engineering  Applications and Techniques

ET is an automatic test case generation technique based on the application of evolution strategies (Schwefel & Männer, 1990), genetic algorithms (Goldberg, 1989; Holland, 1975), genetic programming (Koza, 1992), or simulated annealing ...

Author: Chis, Monica

Publisher: IGI Global

ISBN: 9781615208104

Category: Education

Page: 282

View: 446

Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques lays the foundation for the successful integration of evolutionary computation into software engineering. It surveys techniques ranging from genetic algorithms, to swarm optimization theory, to ant colony optimization, demonstrating their uses and capabilities. These techniques are applied to aspects of software engineering such as software testing, quality assessment, reliability assessment, and fault prediction models, among others, to providing researchers, scholars and students with the knowledge needed to expand this burgeoning application.
Categories: Education

Computational Intelligence and Intelligent Systems

Computational Intelligence and Intelligent Systems

An automated approach for structural test cases generation based on messy GA. ... Eng. 34(6), 93–97 (2008) Storn, R., Price, K.: Differential Evolution a Simple an Deficient Adaptive Scheme for Global Optimization over Continuous Space, ...

Author: Kangshun Li

Publisher: Springer

ISBN: 9789811316487

Category: Computers

Page: 603

View: 512

This two-volume set (CCIS 873 and CCIS 874) constitutes the thoroughly refereed proceedings of the 9th International Symposium, ISICA 2017, held in Guangzhou, China, in November 2017.The 101 full papers presented in both volumes were carefully reviewed and selected from 181 submissions. This first volume is organized in topical sections on neural networks and statistical learning: neural architecture search, transfer of knowledge; evolutionary multi-objective and dynamic optimization: optimal control and design, hybrid methods; data mining: association rule learning, data management platforms; Cloud computing and multiagent systems: service models, Cloud engineering; everywhere connectivity: IoT solutions, wireless sensor networks.
Categories: Computers

Model Based Testing for Embedded Systems

Model Based Testing for Embedded Systems

As an example, search-based testing uses optimization algorithms for automatically generating test cases that fulfill some optimization criteria, for example, worst-case scenarios. Such algorithms are also applicable to functional ...

Author: Justyna Zander

Publisher: CRC Press

ISBN: 9781351833912

Category: Computers

Page: 688

View: 140

What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems. "It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students." —Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA "This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems." —Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway "As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today." —Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comté, Besançon, France, and co-author of Practical Model-Based Testing
Categories: Computers

Advances in Swarm Intelligence

Advances in Swarm Intelligence

An Ant Colony Optimization Algorithm Based Automated Generation of Software Test Cases Saju Sankar S1( B ) and Vinod Chandra S S2( B ) 2 1 Department of Computer Engineering, Government Polytechnic College, Punalur, ...

Author: Ying Tan

Publisher: Springer Nature

ISBN: 9783030539566

Category: Computers

Page: 689

View: 570

This book constitutes the proceedings of the 11th International Conference on Advances in Swarm Intelligence, ICSI 2020, held in July 2020 in Belgrade, Serbia. Due to the COVID-19 pandemic the conference was held virtually. The 63 papers included in this volume were carefully reviewed and selected from 127 submissions. The papers are organized in 12 cohesive topical sections as follows: Swarm intelligence and nature-inspired computing; swarm-based computing algorithms for optimization; particle swarm optimization; ant colony optimization; brain storm optimization algorithm; bacterial foraging optimization; genetic algorithm and evolutionary computation; multi-objective optimization; machine learning; data mining; multi-agent system and robotic swarm, and other applications.
Categories: Computers

Nature Inspired Cooperative Strategies for Optimization NICSO 2010

Nature Inspired Cooperative Strategies for Optimization  NICSO 2010

This paper proposes an adaptive strategy for enhancing Genetic Programming-based approaches to automatic test case generation. The main contribution of this study is that of proposing an Adaptive Evolutionary Testing methodology for ...

Author: Juan R. González

Publisher: Springer Science & Business Media

ISBN: 9783642125379

Category: Computers

Page: 420

View: 206

Many aspects of Nature, Biology or even from Society have become part of the techniques and algorithms used in computer science or they have been used to enhance or hybridize several techniques through the inclusion of advanced evolution, cooperation or biologically based additions. The previous NICSO workshops were held in Granada, Spain, 2006, Acireale, Italy, 2007, and in Tenerife, Spain, 2008. As in the previous editions, NICSO 2010, held in Granada, Spain, was conceived as a forum for the latest ideas and the state of the art research related to nature inspired cooperative strategies. The contributions collected in this book cover topics including nature-inspired techniques like Genetic Algorithms, Evolutionary Algorithms, Ant and Bee Colonies, Swarm Intelligence approaches, Neural Networks, several Cooperation Models, Structures and Strategies, Agents Models, Social Interactions, as well as new algorithms based on the behaviour of fireflies or bats.
Categories: Computers

Advances in Intelligent Informatics

Advances in Intelligent Informatics

factor that lies in the path of software analysis is an optimal generation of test cases because if test data is ... In this work, test case generation has been automated by means of a metaheuristic search technique called Cuckoo Search ...

Author: El-Sayed M. El-Alfy

Publisher: Springer

ISBN: 9783319112183

Category: Computers

Page: 666

View: 917

This book contains a selection of refereed and revised papers of Intelligent Informatics Track originally presented at the third International Symposium on Intelligent Informatics (ISI-2014), September 24-27, 2014, Delhi, India. The papers selected for this Track cover several intelligent informatics and related topics including signal processing, pattern recognition, image processing data mining and their applications.
Categories: Computers

A Journey Towards Bio inspired Techniques in Software Engineering

A Journey Towards Bio inspired Techniques in Software Engineering

Appl. 89(12), 29–36 (2014) Mishra, D.B., Mishra, R., Acharya, A.A., Das, K.N.: Test case optimization and ... PHILearning Pvt. Ltd. (2012) Haga, H., Suehiro, A.: Automatic test case generation based on genetic algorithm and mutation ...

Author: Jagannath Singh

Publisher: Springer Nature

ISBN: 9783030409289

Category: Technology & Engineering

Page: 210

View: 325

This book covers a range of basic and advanced topics in software engineering. The field has undergone several phases of change and improvement since its invention, and there is significant ongoing research in software development, addressing aspects such as analysis, design, testing and maintenance. Rather than focusing on a single aspect of software engineering, this book provides a systematic overview of recent techniques, including requirement gathering in the form of story points in agile software, and bio-inspired techniques for estimating the effort, cost, and time required for software development. As such it is a valuable resource for new researchers interested in advances in software engineering — particularly in the area of bio-inspired techniques.
Categories: Technology & Engineering

Simulated Evolution and Learning

Simulated Evolution and Learning

Keywords: Particle swarm optimization, Automatic software test case generation, Software testing,· Code coverage. 1 Introduction With the rapid development of software industry, software is becoming bigger and more subtle.

Author: Grant Dick

Publisher: Springer

ISBN: 9783319135632

Category: Computers

Page: 862

View: 649

This volume constitutes the proceedings of the 10th International Conference on Simulated Evolution and Learning, SEAL 2012, held in Dunedin, New Zealand, in December 2014. The 42 full papers and 29 short papers presented were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on evolutionary optimization; evolutionary multi-objective optimization; evolutionary machine learning; theoretical developments; evolutionary feature reduction; evolutionary scheduling and combinatorial optimization; real world applications and evolutionary image analysis.
Categories: Computers

Recent Developments in Intelligent Computing Communication and Devices

Recent Developments in Intelligent Computing  Communication and Devices

Ant colony optimization (ACA), as a robust optimization algorithm, has a strong ability of global optimization. In this paper, an automatic test case generation method of parallel multi-group adaptive ant colony algorithm is presented.

Author: Srikanta Patnaik

Publisher: Springer

ISBN: 9789811089442

Category: Computers

Page: 1267

View: 222

This book offers a collection of high-quality, peer-reviewed research papers presented at the International Conference on Intelligent Computing, Communication and Devices (ICCD 2017), discussing all dimensions of intelligent sciences – intelligent computing, intelligent communication, and intelligent devices. Intelligent computing addresses areas such as intelligent and distributed computing, intelligent grid and cloud computing, internet of things, soft computing and engineering applications, data mining and knowledge discovery, semantic and web technology, hybrid systems, agent computing, bioinformatics, and recommendation systems. Intelligent communication is concerned with communication and network technologies, such as mobile broadband and all optical networks that are the key to groundbreaking inventions of intelligent communication technologies. It includes communication hardware, software and networked intelligence, mobile technologies, machine-to-machine communication networks, speech and natural language processing, routing techniques and network analytics, wireless ad hoc and sensor networks, communications and information security, signal, image and video processing, network management, and traffic engineering. Lastly, intelligent devices are any equipment, instruments, or machines that have their own computing capability. As computing technology becomes more advanced and less expensive, it can be incorporated an increasing number of devices of all kinds. This area covers such as embedded systems, radiofrequency identification (RFID), radiofrequency microelectromechanical system (RF MEMS), very-large-scale integration (VLSI) design and electronic devices, analog and mixed-signal integrated circuit (IC) design and testing, microelectromechanical system (MEMS) and microsystems, solar cells and photonics, nanodevices, single electron and spintronics devices, space electronics, and intelligent robotics.
Categories: Computers