Download or read book Automatic Generation of Combinatorial Test Data written by Jian Zhang and published by Springer. This book was released on 2014-09-15 with total page 97 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Empirical Studies on the Development of Executable Business Processes written by Daniel Lübke and published by Springer. This book was released on 2019-07-26 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book collects essential research on the practical application of executable business process modeling in real-world projects, i.e., model-driven solutions for the support and automation of digital business processes that are created using languages such as BPEL or BPMN. It mainly focuses on empirical research, but also includes an up-to-date cross-section of case studies in order to assess examples of BPM’s practical impact in the industry. On the one hand, executable models are formally and precisely defined so that computers can interpret and execute them; on the other, they are visualized so that humans can describe, document and optimize business processes at a higher level of abstraction than with traditional textual programming languages. While these important research areas have long been separated from one another, this book is an attempt at cross-fertilization, driven by the insight that business processes are the software behind today’s digital organizations, and that achieving a precise representation of such processes is key to their reliable execution. Consequently, the book presents various case studies and experiments that investigate questions of interest to both academia (e.g., identifying challenges for which no solution exists; sharing new insights into how existing approaches are actually used) and industry (e.g., guidelines on using certain technologies and on modeling comprehensible and executable processes). Both researchers and practitioners will benefit from the presentation of how concepts are transformed into working solutions. The studies are presented in a structured manner and with sufficient rigor to be considered empirical research, further enhancing the book’s value for the research community, while practitioners will find concrete guidance on making the right decisions for their projects.

Download or read book Introduction to Combinatorial Testing written by D. Richard Kuhn and published by CRC Press. This book was released on 2016-04-19 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt: Combinatorial testing of software analyzes interactions among variables using a very small number of tests. This advanced approach has demonstrated success in providing strong, low-cost testing in real-world situations. Introduction to Combinatorial Testing presents a complete self-contained tutorial on advanced combinatorial testing methods for re

Download or read book Generating Combinatorial Test Sets for Model Transformations written by Matthew J. McGill and published by . This book was released on 2010 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Advanced Combinatorial Testing Algorithms and Applications written by Linbin Yu and published by . This book was released on 2013 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Combinatorial testing (CT) has been shown to be a very effective testing strategy. Given a system with n parameters, t-way combinatorial testing, where t is typically much smaller than n, requires that all t-way combinations, i.e., all combinations involving any t parameter values, be covered by at least one test. This dissertation focuses on two important problems in combinatorial testing, including constrained test generation and combinatorial sequence testing. For the first problem, we focus on constraint handling during combinatorial test generation. Constraints over input parameters are restrictions that must be satisfied in order for a test to be valid. Constraints can be handled either using constraint solving or using forbidden tuples. An efficient algorithm is proposed for constrained test generation using constraint solving. The proposed algorithm extends an existing combinatorial test generation algorithm that does not handle constraints, and includes several optimizations to improve the performance of constraint handling. Experimental results on both synthesized and real-life systems demonstrate the effectiveness of the propose algorithm and optimizations. For the second problem, the domain of t-way testing is expanded from test data generation to test sequence generation. Many programs exhibit sequence-related behaviors. We first formally define the system model and coverage for t-way combinatorial sequence testing, and then propose four algorithms for test sequence generation. These algorithms have their own advantages and disadvantages, and can be used for different purposes and in different situations. We have developed a prototype tool that applies t-way sequence testing on Antidote, which is a healthcare data exchange protocol stack. Experimental results suggest that t-way sequence testing can be an effective approach for testing communication protocol implementations.

Download or read book Artificial Intelligence written by Lavanya Sharma and published by CRC Press. This book was released on 2021-10-28 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence: Technologies, Applications, and Challenges is an invaluable resource for readers to explore the utilization of Artificial Intelligence, applications, challenges, and its underlying technologies in different applications areas. Using a series of present and future applications, such as indoor-outdoor securities, graphic signal processing, robotic surgery, image processing, character recognition, augmented reality, object detection and tracking, intelligent traffic monitoring, emergency department medical imaging, and many more, this publication will support readers to get deeper knowledge and implementing the tools of Artificial Intelligence. The book offers comprehensive coverage of the most essential topics, including: Rise of the machines and communications to IoT (3G, 5G). Tools and Technologies of Artificial Intelligence Real-time applications of artificial intelligence using machine learning and deep learning. Challenging Issues and Novel Solutions for realistic applications Mining and tracking of motion based object data image processing and analysis into the unified framework to understand both IoT and Artificial Intelligence-based applications. This book will be an ideal resource for IT professionals, researchers, under or post-graduate students, practitioners, and technology developers who are interested in gaining insight to the Artificial Intelligence with deep learning, IoT and machine learning, critical applications domains, technologies, and solutions to handle relevant challenges.

Download or read book Design and Implementation of Combinatorial Testing based Test Suites for Operating Systems used for Internet of Things written by Abhinandan H. Patil and published by Lulu.com. This book was released on 2019-07-28 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is for Software Engineering enthusiasts. Regression testers, IoT OS testers and Combinatorial testers can get hint on how to apply Machine learning and Data Science to software testing which are left as an exercise and future work.

Download or read book Research Anthology on Agile Software Software Development and Testing written by Management Association, Information Resources and published by IGI Global. This book was released on 2021-11-26 with total page 2164 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software development continues to be an ever-evolving field as organizations require new and innovative programs that can be implemented to make processes more efficient, productive, and cost-effective. Agile practices particularly have shown great benefits for improving the effectiveness of software development and its maintenance due to their ability to adapt to change. It is integral to remain up to date with the most emerging tactics and techniques involved in the development of new and innovative software. The Research Anthology on Agile Software, Software Development, and Testing is a comprehensive resource on the emerging trends of software development and testing. This text discusses the newest developments in agile software and its usage spanning multiple industries. Featuring a collection of insights from diverse authors, this research anthology offers international perspectives on agile software. Covering topics such as global software engineering, knowledge management, and product development, this comprehensive resource is valuable to software developers, software engineers, computer engineers, IT directors, students, managers, faculty, researchers, and academicians.

Download or read book The Craft of Model Based Testing written by Paul C. Jorgensen and published by CRC Press. This book was released on 2017-05-08 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: In his latest work, author Paul C Jorgensen takes his well-honed craftsman’s approach to mastering model-based testing (MBT). To be expert at MBT, a software tester has to understand it as a craft rather than an art. This means a tester should have deep knowledge of the underlying subject and be well practiced in carrying out modeling and testing techniques. Judgment is needed, as well as an understanding of MBT the tools. The first part of the book helps testers in developing that judgment. It starts with an overview of MBT and follows with an in-depth treatment of nine different testing models with a chapter dedicated to each model. These chapters are tied together by a pair of examples: a simple insurance premium calculation and an event-driven system that describes a garage door controller. The book shows how simpler models—flowcharts, decision tables, and UML Activity charts—express the important aspects of the insurance premium problem. It also shows how transition-based models—finite state machines, Petri nets, and statecharts—are necessary for the garage door controller but are overkill for the insurance premium problem. Each chapter describes the extent to which a model can support MBT. The second part of the book gives testers a greater understanding of MBT tools. It examines six commercial MBT products, presents the salient features of each product, and demonstrates using the product on the insurance premium and the garage door controller problems. These chapters each conclude with advice on implementing MBT in an organization. The last chapter describes six Open Source tools to round out a tester’s knowledge of MBT. In addition, the book supports the International Software Testing Qualifications Board’s (ISTQB®) MBT syllabus for certification.

Download or read book Handbook of Software Engineering written by Sungdeok Cha and published by Springer. This book was released on 2019-02-11 with total page 524 pages. Available in PDF, EPUB and Kindle. Book excerpt: This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering, software architecture, software testing, formal methods, software maintenance) as well as emerging areas (e.g., self-adaptive systems, software engineering in the cloud, coordination technology). Each chapter includes an introduction to central concepts and principles, a guided tour of seminal papers and key contributions, and promising future research directions. The authors of the individual chapters are all acknowledged experts in their field and include many who have pioneered the techniques and technologies discussed. Readers will find an authoritative and concise review of each subject, and will also learn how software engineering technologies have evolved and are likely to develop in the years to come. This book will be especially useful for researchers who are new to software engineering, and for practitioners seeking to enhance their skills and knowledge.

Download or read book Machine Learning Applications in Software Engineering written by Du Zhang and published by World Scientific. This book was released on 2005 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: A collection of previously published articles from a variety of publications.

Download or read book Quality of Information and Communications Technology written by Antonio Vallecillo and published by Springer Nature. This book was released on 2022-09-05 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Conference on the Quality of Information and Communications Technology, QUATIC 2022, held in Talavera de la Reina, Spain, in September 2022. The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: ​smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.

Download or read book Software Engineering and Computer Systems Part III written by Jasni Mohamad Zain and published by Springer. This book was released on 2011-06-27 with total page 843 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering and Computer Systems, ICSECS 2011, held in Kuantan, Malaysia, in June 2011. The 190 revised full papers presented together with invited papers in the three volumes were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on software engineering; network; bioinformatics and e-health; biometrics technologies; Web engineering; neural network; parallel and distributed; e-learning; ontology; image processing; information and data management; engineering; software security; graphics and multimedia; databases; algorithms; signal processing; software design/testing; e- technology; ad hoc networks; social networks; software process modeling; miscellaneous topics in software engineering and computer systems.

Download or read book Cyber Security and Computer Science written by Touhid Bhuiyan and published by Springer Nature. This book was released on 2020-07-29 with total page 745 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed post-conference proceedings of the Second International Conference on Cyber Security and Computer Science, ICONCS 2020, held in Dhaka, Bangladesh, in February 2020. The 58 full papers were carefully reviewed and selected from 133 submissions. The papers detail new ideas, inventions, and application experiences to cyber security systems. They are organized in topical sections on optimization problems; image steganography and risk analysis on web applications; machine learning in disease diagnosis and monitoring; computer vision and image processing in health care; text and speech processing; machine learning in health care; blockchain applications; computer vision and image processing in health care; malware analysis; computer vision; future technology applications; computer networks; machine learning on imbalanced data; computer security; Bangla language processing.

Download or read book Computer Safety Reliability and Security written by Barbara Gallina and published by Springer. This book was released on 2018-09-03 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.

Download or read book Testing Academic and Industrial Conference Practice and Research Techniques written by Leonardo Bottaci and published by Springer. This book was released on 2010-08-25 with total page 230 pages. Available in PDF, EPUB and Kindle. Book excerpt: A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.

Download or read book Advances in Computers written by and published by Academic Press. This book was released on 2017-08-23 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. Provides in-depth surveys and tutorials on new computer technology Presents well-known authors and researchers in the field Includes extensive bibliographies with most chapters Volumes are devoted to single themes or subfields of computer science