- Table View
- List View
Software Testing using Visual Studio 2010
by N. Satheesh Kumar S. SubashniThis book starts with basic understanding of different types of tests. It then goes about explaining several examples with a step-by-step approach to master concepts and the features needed to help the reader understand testing clearly.If you are a developer, a software tester, or an architect who wishes to master the amazing range of features offered by the Visual Studio 2010 for testing your software applications before going live - then this book is for you. This book assumes that you have a basic knowledge of testing software applications and have good work experience of using Visual Studio IDE.
Software Testing using Visual Studio 2012
by Subashni S Satheesh Kumar NWe will be setting up a sample test scenario, then we'll walk through the features available to deploy tests.This book is for developers and testers who want to get to grips with Visual Studio 2012 and Test Manager for all testing activities and managing tests and results in Team Foundation Server. It requires a minimal understanding of testing practices and the software development life cycle; also, some coding skills would help in customizing and updating the code generated from the web UI testing.
Software Testing with Generative AI
by Mark WinteringhamSpeed up your testing and deliver exceptional product quality with the power of AI tools.The more you test, the more you learn about your software. Software Testing with Generative AI shows you how you can expand, automate, and enhance your testing with Large Language Model (LLM)-based AI. Your team will soon be delivering higher quality tests, all in less time. In Software Testing with Generative AI you&’ll learn how to: • Spot opportunities to improve test quality with AI • Construct test automation with the support of AI tools • Formulate new ideas during exploratory testing using AI tools • Use AI tools to aid the design process of new features • Improve the testability of a context with the help of AI tools • Maximize your output with prompt engineering • Create custom LLMs for your business&’s specific needs Software Testing with Generative AI is full of hype-free advice for supporting your software testing with AI. In it, you&’ll find strategies from bestselling author Mark Winteringham to generate synthetic testing data, implement automation, and even augment and improve your test design with AI. Foreword by Nicola Martin. About the technology There&’s a simple rule in software testing: the more you test, the more you learn. And as any testing pro will tell you, good testing takes time. By integrating large language models (LLMs) and generative AI into your process, you can dramatically automate and enhance testing, improve quality and coverage, and deliver more meaningful results. About the book Software Testing with Generative AI shows you how AI can elevate every aspect of testing—automation, test data management, test scripting, exploratory testing, and more! Learn how to use AI coding tools like Copilot to guide test-driven development, get relevant feedback about your applications from ChatGPT, and use the OpenAI API to integrate AI into your data generation. You&’ll soon have higher-quality testing that takes up less of your time. What's inside • Improve test quality and coverage • AI-powered test automation • Build agents that act as testing assistants About the reader For developers, testers, and quality engineers. About the author Mark Winteringham is an experienced software tester who teaches many aspects of software testing. He is the author of Testing Web APIs. The technical editor on this book was Robert Walsh. Table of Contents Part 1 1 Enhancing testing with large language models 2 Large language models and prompt engineering 3 Artificial intelligence, automation, and testing Part 2 4 AI-assisted testing for developers 5 Test planning with AI support 6 Rapid data creation using AI 7 Accelerating and improving UI automation using AI 8 Assisting exploratory testing with artificial intelligence 9 AI agents as testing assistants Part 3 10 Introducing customized LLMs 11 Contextualizing prompts with retrieval-augmented generation 12 Fine-tuning LLMs with business domain knowledge Appendix A Setting up and using ChatGPT Appendix B Setting up and using GitHub Copilot Appendix C Exploratory testing notes
Software Testing with Visual Studio Team System 2008
by Satheesh N. Kumar Subashni SAn example testing scenario is set up, and used as reference for exploring the testing features available in Visual Studio Team System 2008. This is a concise practical guide that will help you learn testing your software applications using Visual Studio Team System 2008 quickly, with lot of examples and clear explanations. It is packed with screenshots to aid your understanding of the process. This book is for Microsoft developers working with Visual Studio 2008 who need to create a structured testing environment for their applications. No prior knowledge of testing is expected. The reader will need to be familiar with the standard Visual Studio 2008 environment, but anyone who has entered and compiled code in this environment before will easily follow what goes on.
Software Testing: A Craftsman’s Approach, Fifth Edition
by Paul C. Jorgensen Byron DeVriesThis updated and reorganized Fifth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of software testing. Responding to instructor and student survey input of previous editions, the authors have streamlined chapters and examples. The Fifth Edition: Has a new chapter on feature interaction testing that explores the feature interaction problem and explains how to reduce tests Uses Java instead of pseudo-code for all examples including structured and object-oriented ones Presents model-based development and provides an explanation of how to conduct testing within model-based development environments Explains testing in waterfall, iterative, and agile software development projects Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fifth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it is a valuable reference for software testers, developers, and engineers.
Software Testing: A Craftsman’s Approach, Fourth Edition
by Paul C. JorgensenThis updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing. The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.
Software Tools and Algorithms for Biological Systems
by Hamid R. Arabnia Quoc-Nam Tran"Software Tools and Algorithms for Biological Systems" is composed of a collection of papers received in response to an announcement that was widely distributed to academicians and practitioners in the broad area of computational biology and software tools. Also, selected authors of accepted papers of BIOCOMP'09 proceedings (International Conference on Bioinformatics and Computational Biology: July 13-16, 2009; Las Vegas, Nevada, USA) were invited to submit the extended versions of their papers for evaluation.
Software Transparency: Supply Chain Security in an Era of a Software-Driven Society
by Chris Hughes Tony TurnerDiscover the new cybersecurity landscape of the interconnected software supply chain In Software Transparency: Supply Chain Security in an Era of a Software-Driven Society, a team of veteran information security professionals delivers an expert treatment of software supply chain security. In the book, you’ll explore real-world examples and guidance on how to defend your own organization against internal and external attacks. It includes coverage of topics including the history of the software transparency movement, software bills of materials, and high assurance attestations. The authors examine the background of attack vectors that are becoming increasingly vulnerable, like mobile and social networks, retail and banking systems, and infrastructure and defense systems. You’ll also discover: Use cases and practical guidance for both software consumers and suppliers Discussions of firmware and embedded software, as well as cloud and connected APIs Strategies for understanding federal and defense software supply chain initiatives related to securityAn essential resource for cybersecurity and application security professionals, Software Transparency will also be of extraordinary benefit to industrial control system, cloud, and mobile security professionals.
Software Verification and Analysis
by William Stanley Janusz LaskiThis book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging). Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification. Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD's handling of the concepts is illustrated. Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings (Lecture Notes in Computer Science #13466)
by Omri Isac Radoslav Ivanov Guy Katz Nina Narodytska Laura NenziThis book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12549)
by Nadia Polikarpova Maria Christakis Parasara Sridhar Duggirala Peter SchrammelThis book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13124)
by Natasha Sharygina Roderick Bloem Rayna Dimitrova Chuchu FanThis book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
Software Vulnerability Discovery Process: Concepts and Applications (River Publishers Series in Mathematical and Engineering Sciences)
by Adarsh Anand Navneet Bhatt Omar H AlhazmiThis book is an overview of basics and other related fundamentals pertaining to software vulnerability discovery as a process. This collaboration of academia and industry disseminates various practical mathematical modeling-based tools and analytics used for vulnerability discovery.A big challenge for software developers is producing and maintaining high quality offerings. Recent developments in both academia and industry have seen the devotion of many researchers to the security aspect of software systems. There are various instances where a security breech or more precisely a software vulnerability has led to the colossal loss of resources and, at times, human lives as well. The emergence of this naïve concept from the field of complex systems provides many new opportunities for the software security fraternity and has also raised many new exciting challenges. And so, of late, many practitioners have contributed to this domain.Software Vulnerability Discovery Process: Concepts and Applications is not only for academicians, but also for those who need to understand nature of the vulnerabilities, like a vendor, a client in the domain of complex systems, and for understanding the patch management workflow. Along with these, anyone solving problems within the related application domains will benefit from this compilation.
Software War Stories: Case Studies in Software Management
by Donald J. ReiferA comprehensive, practical book on software management that dispels real-world issues through relevant case studies Software managers inevitably will meet obstacles while trying to deliver quality products and provide value to customers, often with tight time restrictions. The result: Software War Stories. This book provides readers with practical advice on how to handle the many issues that can arise as a software project unfolds. It utilizes case studies that focus on what can be done to establish and meet reasonable expectations as they occur in government, industrial, and academic settings. The book also offers important discussions on both traditional and agile methods as well as lean development concepts. Software War Stories: Covers the basics of management as applied to situations ranging from agile projects to large IT projects with infrastructure problems Includes coverage of topics ranging from planning, estimating, and organizing to risk and opportunity management Uses twelve case studies to communicate lessons learned by the author in practice Offers end-of-chapter exercises, sample solutions, and a blog for providing updates and answers to readers' questions Software War Stories: Case Studies in Software Management mentors practitioners, software engineers, students and more, providing relevant situational examples encountered when managing software projects and organizations.
Software als Medizinprodukt: Entwicklung und Zulassung von Software in der Medizintechnik
by Mark Hastenteufel Sina RenaudLernen Sie mit diesem Buch, wie Sie Software erfolgreich als Medizinprodukt entwickeln und zulassenDie zunehmende Digitalisierung bringt enorme Fortschritte in der Medizin. Softwarelösungen sind längst ein integraler Bestandteil moderner Medizintechnik. Gleichzeitig verschärft sich die Gesetzgebung für die Entwicklung medizinischer Software zunehmend. Viele Software-Hersteller stehen deshalb vor der Herausforderung, die schnellen Entwicklungen mit der langsameren Bürokratie rund um Gesetzesänderungen in Einklang zu bringen. Dieses Buch zeigt Ihnen alles, was Sie über die Entwicklung von Software als Medizinprodukt wissen müssen. Die Autoren erläutern die wichtigen Aspekte entlang des Software-Lebenszyklus und helfen Medizintechnikern bei der Formulierung von Softwareanforderungen für Medizinprodukte. Auch die oft Hardware-lastig formulierten Medizintechnik-Normen erklären die Autoren auf leicht verständliche Weise. Das Buch schlägt eine Brücke zwischen Medizintechnik und IT-Industrie. Neben europäischen Regularien berücksichtigen Mark Hastenteufel und Sina Renaud auch internationale Aspekte. Einblicke in die Branche und Praxis Die Autoren geben Ihnen in diesem Buch zunächst einen kurzen Überblick über die wirtschaftliche Bedeutung von Software als Medizinprodukt. Sie klären, warum Medizintechnik ein bedeutender Wirtschaftsfaktor ist und zeigen, was die Branche besonders macht. Anschließend setzen sie sich mit diesen Kernthemen auseinander:· Die Grundlage: Medical Device Regulation (MDR)· Die Umsetzung: Normen, Spezifikationen und Guidelines· Grundlagen des Software Engineerings· Software als Medizinprodukt· Zulassungen in den USA· Ausblick auf weltweite Zulassungen Damit hilft dieses Buch Medizintechnikern, ihr Wissen über die Digitalisierung auszubauen. Software-Entwicklern erleichtert es den Weg in die Medizintechnik. Eine Empfehlung, wenn Sie mit den Grundlagen vertraut sind Leser sollten für das Buch „Software als Medizinprodukt“ bereits ein gewisses Grundverständnis im Bereich IT und Softwareentwicklung mitbringen, besonders in Hinblick auf Programmierung und Modellierung. Daher ist dieses Werk auf folgende Zielgruppen ausgerichtet:a) Dozierende und Studierende der Fachgebiete Software-Engineering, Medizininformatik und -technikb) Praktiker wie Softwareentwickler, -Projektleiter oder Qualitätsmanager bei Medizintechnikherstellern
Software and Data Engineering: 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings (Communications in Computer and Information Science #2244)
by Wenying Feng Nick Rahimi Venkatasivakumar MargapuriThis book constitutes the proceedings of the 33rd International Conference on Software and Data Engineering, SEDE 2024, held in San Diego, California, USA, during October 21-22, 2024. The 14 full papers presented in these proceedings were carefully reviewed and selected from 25 submissions. These papers focus on a wide range of topics within Software and Data engineering and have been categorized into the following topical sections: Software Engineering and Data Science & Artificial Intelligence.
Software and Systems Architecture in Action (Applied Software Engineering Ser.)
by Raghvinder S. SangwanModern-day projects require software and systems engineers to work together in realizing architectures of large and complex software-intensive systems. To date, the two have used their own tools and methods to deal with similar issues when it comes to the requirements, design, testing, maintenance, and evolution of these architectures.Software and
Software and Systems Traceability
by Orlena Gotel Jane Huang Andrea ZismanSoftware and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. The term software traceability is derived from the concept of requirements traceability. Requirements traceability is the ability to track a requirement all the way from its origins to the downstream work products that implement that requirement in a software system. Software traceability is defined as the ability to relate the various types of software artefacts created during the development of software systems. Traceability relations can improve the quality of a product being developed, and reduce the time and cost of development. More specifically, traceability relations can support evolution of software systems, reuse of parts of a system by comparing components of new and existing systems, validation that a system meets its requirements, understanding of the rationale for certain design and implementation decisions, and analysis of the implications of changes in the system.
Software for Exascale Computing - SPPEXA 2013-2015
by Hans-Joachim Bungartz Wolfgang E. Nagel Philipp NeumannThe research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The collection thereby highlights pioneering research findings as well as innovative concepts in exascale software development that have been conducted under the umbrella of the priority programme "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) and that have been presented at the SPPEXA Symposium, Jan 25-27 2016, in Munich. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
Software for Exascale Computing - SPPEXA 2016-2019 (Lecture Notes in Computational Science and Engineering #136)
by Hans-Joachim Bungartz Wolfgang E. Nagel Philipp Neumann Severin Reiz Benjamin UekermannThis open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
Software for People: Fundamentals, Trends and Best Practices
by Achim Botzenhardt Alexander Maedche Ludwig NeerThe highly competitive and globalized software market is creating pressure on software companies. Given the current boundary conditions, it is critical to continuously increase time-to-market and reduce development costs. In parallel, driven by private life experiences with mobile computing devices, the World Wide Web and software-based services, peoples' general expectations with regards to software are growing. They expect software that is simple and joyful to use. In the light of the changes that have taken place in recent years, software companies need to fundamentally reconsider the way they develop and deliver software to their customers. This book introduces fundamentals, trends and best practices in the software industry from a threefold perspective which equally takes into account design, management, and development of software. It demonstrates how cross-functional integration can be leveraged by software companies to successfully build software for people. Professionals from business and academia give an overview on state-of-the-art knowledge and report on key insights from their real-life experience. They provide guidance and hands-on recommendation on how to create winning products. This combined perspective fosters the transfer of knowledge between research and practice and offers a high practical value for both sides. The book targets both, practitioners and academics looking for successfully building software in the future. It is directed at Managing Directors of software companies, Software Project Managers, Product Managers and Designers, Software Developers as well as academics and students in the area of Software and Information Systems Engineering, Human Computer Interaction (HCI), and Innovation Management.
Software im Automobil: Ein maschinell-generierter Literaturüberblick
by Fabian WolfDieses Fach- und Lehrbuch enthält die maschinengenerierten Zusammenfassungen einer Datenbankrecherche zum Thema „Software im Automobil“. Die Vorgabe der Stichworte, die Struktur und die Selektion der Inhalte wurde vom Autor vorgenommen. Darüber hinaus hat der Autor die enthaltenen Artikel durch Einleitungen und Bewertungen in einen übergreifenden Zusammenhang gebracht und kommentiert. Auf diese Weise ist ein Werk entstanden, das Studierenden sowie Berufseinsteigern einen breiten Überblick über das fachliche Feld sowie Hinweise zur weiterführenden Literatur gibt und auf die weitere Arbeit in diesem Bereich vorbereitet.
Software, Animation and the Moving Image: What’s in the Box?
by Aylish WoodSoftware, Animation and the Moving Image brings a unique perspective to the study of computer-generated animation by placing interviews undertaken with animators alongside an analysis of the user interface of animation software. Wood develops a novel framework for considering computer-generated images found in visual effects and animations.
Software, Infrastructure, Labor: A Media Theory of Logistical Nightmares
by Ned RossiterInfrastructure makes worlds. Software coordinates labor. Logistics governs movement. These pillars of contemporary capitalism correspond with the materiality of digital communication systems on a planetary scale. Ned Rossiter theorizes the force of logistical media to discern how subjectivity and labor, economy and society are tied to the logistical imaginary of seamless interoperability. Contingency haunts logistical power. Technologies of capture are prone to infrastructural breakdown, sabotage, and failure. Strategies of evasion, anonymity, and disruption unsettle regimes of calculation and containment. We live in a computational age where media, again, disappear into the background as infrastructure. Software, Infrastructure, Labor intercuts transdisciplinary theoretical reflection with empirical encounters ranging from the Cold War legacy of cybernetics, shipping ports in China and Greece, the territoriality of data centers, video game design, and scrap metal economies in the e-waste industry. Rossiter argues that infrastructural ruins serve as resources for the collective design of blueprints and prototypes demanded of radical politics today.
Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers (Lecture Notes in Business Information Processing #499)
by Adam Przybyłek Aleksander Jarzębowicz Ivan Luković Mirosław Staroń Muhammad Ovais Ahmad Mirosław OchodekThis book constitutes the refereed proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, as Part of FedCSIS 2023, held in Warsaw, Poland, during September 17–20, 2023. The 6 revised papers presented in this book were carefully reviewed and selected from a total of 55 submissions. They focus on new ideas and developments in practical aspects and solutions for software engineering.