Software testing is done manually from the day the software development started.
Author: Abinash Tripathy
Publisher: LAP Lambert Academic Publishing
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.
An Implementation Framework for Optimizing Test Case Generation Using Model Checking ... Model checking based automated software testing has gained a great ...
Author: Shaoying Liu
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.
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
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.
... 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
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
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
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.
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
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.
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
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.
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
This volume constitutes the refereed proceedings of the Third International Conference on Contemporary Computing, IC3 2010, held in Noida, India, in August 2010.
An optimization technique for protocol conformance test generation based on UIO ... Automatic generation of observation-based and lengthoptimized test cases ...
Author: Stan Budkowski
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.
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
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.
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
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.
According to Brar and Garg  presents a survey on automatic test case generation methodologies adopted to generate optimum set of test data without human ...
Author: Ashish Kumar Luhach
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.
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
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.
A. Li, and Y. Zhang, “Automatic generating all-path test data of a program ... N. Peng, “A PSO Test Case Generation Algorithm with Enhanced Exploration ...
Author: A. Selamat
Publisher: IOS Press
Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the thirteenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_14), held in Langkawi, Malaysia, in September 2014. The conference provides an opportunity for scholars from the international research community to discuss and share research experiences of new software methodologies and techniques, and the contributions presented here address issues ranging from research practices and techniques and methodologies to proposing and reporting solutions for global world business. The emphasis has been on human-centric software methodologies, end-user development techniques and emotional reasoning, for an optimally harmonized performance between the design tool and the user. Topics covered include the handling of cognitive issues in software development to adapt it to the user's mental state and intelligent software design in software utilizing new aspects on conceptual ontology and semantics reflected on knowledge base system models. This book provides an opportunity for the software science community to show where we are today and where the future may take us.
INTRODUCTION Testing is the most widely used and accepted technique for verification and ... ET is an automatic test case generation technique based on the ...
Author: Chis, Monica
Publisher: IGI Global
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.
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
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.
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
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
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
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.
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 ...
Author: Ying Tan
Publisher: Springer Nature
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.
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
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.