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: 911

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 ... Model checking based automated software testing has gained a great ...

Author: Shaoying Liu

Publisher: Springer

ISBN: 9783319174044

Category: Computers

Page: 189

View: 240

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

automation of test case generation. ... focus is mostly given on UML model based automatic generation of test cases, rather than optimization of test cases.

Author: Khalid Saeed

Publisher: Springer Nature

ISBN: 9783030289577

Category: Computers

Page: 536

View: 228

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

... Optimization Testing 2003 Automated test reduction Data analytics (Machine 2003 Learning) Test case generation and reduction Machine Learning Testing ...

Author: Feras A. Batarseh

Publisher: Academic Press

ISBN: 9780128189399

Category: Science

Page: 266

View: 594

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

Informatica 41(3) Khurana N, Chillar R (2015) Test case generation and optimization using UML models and genetic algorithm. Procedia Comput Sci 57:996–1004 ...

Author: Ajay Kumar Jena

Publisher: Springer Nature

ISBN: 9789811524554

Category: Technology & Engineering

Page: 165

View: 752

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

From the scope of test case generation strategy, Fuzzing can be classified ... fuzzing is not to guarantee high path coverage rate and high automatic level.

Author: Xingming Sun

Publisher: Springer

ISBN: 9783030000097

Category: Computers

Page: 743

View: 524

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

Automatic Generation of Combinatorial Test Data

Automatic Generation of Combinatorial Test Data

It is easy to see that generating each new test case is an optimization process, i.e., finding a test case that maximizes the number of newly-covered target ...

Author: Jian Zhang

Publisher: Springer

ISBN: 9783662434291

Category: Computers

Page: 90

View: 387

This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods, evolutionary computation, constraint solving and optimization - and explains major algorithms with examples. In addition, the book lists a number of test generation tools, as well as benchmarks and applications. Addressing a multidisciplinary topic, it will be of particular interest to researchers and professionals in the areas of software testing, combinatorics, constraint solving and evolutionary computation.
Categories: Computers

Contemporary Computing

Contemporary Computing

Automatic test case generation is a major problem in software testing. ... The Particle Swarm Optimization (PSO) approach is a swarm intelligence technique ...

Author: Sanjay Ranka

Publisher: Springer Science & Business Media

ISBN: 9783642148248

Category: Computers

Page: 275

View: 725

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

Formal Description Techniques and Protocol Specification Testing and Verification

Formal Description Techniques and Protocol Specification  Testing and Verification

An optimization technique for protocol conformance test generation based on UIO ... Automatic generation of observation-based and lengthoptimized test cases ...

Author: Stan Budkowski

Publisher: Springer

ISBN: 9780387353944

Category: Technology & Engineering

Page: 472

View: 960

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Categories: Technology & Engineering

Testing of Communicating Systems

Testing of Communicating Systems

Chun, W. (1991) Test Case Generation for Protocols Specified in Estelle. ... Automatic generation of observation-based and length-optimized test cases for ...

Author: Myungchul Kim

Publisher: Springer

ISBN: 9780387351988

Category: Computers

Page: 452

View: 223

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

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

Author: Min Zhu

Publisher: Springer Science & Business Media

ISBN: 9783642279669

Category: Mathematics

Page: 876

View: 670

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 Brar and Garg [4] presents a survey on automatic test case generation methodologies adopted to generate optimum set of test data without human ...

Author: Ashish Kumar Luhach

Publisher: Springer

ISBN: 9789811331404

Category: Computers

Page: 830

View: 468

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 ... testing by generating the test data automatically and optimizing the test ...

Author: Jagdish Chand Bansal

Publisher: Springer

ISBN: 9789811315954

Category: Technology & Engineering

Page: 991

View: 472

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

Computational Intelligence and Intelligent Systems

Computational Intelligence and Intelligent Systems

An automated approach for structural test cases generation based on messy GA. ... Adaptive Scheme for Global Optimization over Continuous Space, TR 95-012.

Author: Kangshun Li

Publisher: Springer

ISBN: 9789811316487

Category: Computers

Page: 603

View: 760

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, ...

Author: Justyna Zander

Publisher: CRC Press

ISBN: 9781351833912

Category: Computers

Page: 688

View: 598

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

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 ...

Author: Juan R. González

Publisher: Springer Science & Business Media

ISBN: 9783642125379

Category: Computers

Page: 420

View: 118

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

Such techniques which aim at providing optimal or near optimal values are known as ... In this work, test case generation has been automated by means of a ...

Author: El-Sayed M. El-Alfy

Publisher: Springer

ISBN: 9783319112183

Category: Computers

Page: 666

View: 904

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

Computational Statistics and Mathematical Modeling Methods in Intelligent Systems

Computational Statistics and Mathematical Modeling Methods in Intelligent Systems

Techniques used for automating test case generation are inefficient because of ... as an optimization technique to automatically generate test cases helps ...

Author: Radek Silhavy

Publisher: Springer Nature

ISBN: 9783030313623

Category: Technology & Engineering

Page: 424

View: 453

This book presents real-world problems and exploratory research in computational statistics, mathematical modeling, artificial intelligence and software engineering in the context of the intelligent systems. This book constitutes the refereed proceedings of the 3rd Computational Methods in Systems and Software 2019 (CoMeSySo 2019), a groundbreaking online conference that provides an international forum for discussing the latest high-quality research results.
Categories: Technology & Engineering

A Journey Towards Bio inspired Techniques in Software Engineering

A Journey Towards Bio inspired Techniques in Software Engineering

IEEE (2017) Shahbazi, A., Miller, J.: Black-box string test case generation through a multi-objective optimization. IEEE Trans. Softw.

Author: Jagannath Singh

Publisher: Springer Nature

ISBN: 9783030409289

Category: Technology & Engineering

Page: 210

View: 939

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

Generating Software Test Data by Particle Swarm Optimization Ya-Hui Jia1,3,4, ... optimization, Automatic software test case generation, Software testing,· ...

Author: Grant Dick

Publisher: Springer

ISBN: 9783319135632

Category: Computers

Page: 862

View: 605

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