Softwareudvikling

This book focuses on software reuse and the chances, dependability tests and recommendations for best reuse practice. A short introduction of the Ecodesign of hardware is given combined with the latest update of relevant EU legislation and standardization. It also describes the combination of different states of software in a E&E system in order to guarantee dependability of the product to be resold.

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.

Learn how to evaluate the changes you make to your system and ensure that your testing does not undermine revenue or other business metrics. Experimentation for Engineers: From A/B testing to Bayesian optimization delivers a toolbox of processes for optimising software systems. From learning the limits of A/B testing to advanced experimentation strategies involving machine learning and probabilistic methods, this practical guide will help you master the skills. It will also help you minimise the costs of experimentation and will quickly reveal which approaches and features deliver the best business results. What's inside Design, run, and analyse an A/B test Break the "feedback loops" caused by periodic retraining of ML models Increase experimentation rate with multi-armed bandits Tune multiple parameters experimentally with Bayesian optimisation About the reader For ML and software engineers looking to extract the most value from their systems. Examples are found in Python and NumPy.

This book constitutes the refereed proceedings of the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022, which was held in Leuven, Belgium, during June 6-10, 2022.The 31 full papers included in these proceedings were selected from 203 submissions. They were organized in topical sections as follows: Process mining; sustainable and explainable applications; tools and methods to support research and design; process modeling; natural language processing techniques in IS engineering; process monitoring and simulation; graph and network models; model analysis and comprehension; recommender systems; conceptual models, metamodels and taxonomies; and services engineering and digitalization.

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings:  Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

This volume revised versions of the selected papers presented during the Third International Workshop on Advanced Virtual Environments and Education, WAVE 2021, held in Fortaleza, Brazil, in March 2021.  The 7 full papers and 4 short papers presented were thoroughly reviewed and selected from the 27 submissions. The papers are organized in the following topical sections: learning scenarios and grouping methods; applications and scenarios, phigital, CS education and assessment; human computer interfaces for education, study cases for accessibility and wellbeing.

Perform fast, easy and reliable cross-browser testing with practical demonstrations KEY FEATURES ¿ Access to Visual testing, Cypress Studio, GitHub Actions, and the Cypress Dashboard.¿ Simple and practical illustrations on using Docker images, CI/CD pipelines and headless Cypress test runner.¿ Examples and solutions on using Cucumber for cross-browser and cross-platform testing. DESCRIPTION "Web Testing with Cypress" teaches you to test web apps on any browser or platform with zero environment setup in a developer-friendly, end-to-end web testing environment.When you read this book, you'll be able to create, run and debug test automation scripts in Javascript without wasting any time. You will execute tests in real-time while you create your applications and begin troubleshooting. You will work on Cucumber + TDD/BDD integration, CI testing, Cypress Dashboard, GitHub Actions, and Cypress Docker Images. Advanced topics such as running sequential and parallel tests, load balancing, cross-platform testing and Cypress-Driven Development are also trained in this book. While you master in writing automated tests, you'll also learn about Cypress' time travel, real-time reloads, pictures and videos, network traffic control, and live debugging features.As you progress through the book, you'll learn about cutting-edge testing methodologies, such as test-driven development (TDD), sanity testing (SST), and left shift testing (LTST). It also includes case studies and easy demos for non-technical users to help them write scripts in simple language to undertake application testing.WHAT YOU WILL LEARN¿ Explore Cypress capabilities, including forms, elements, action fields, and Cypress Studio.¿ Learn to write and run automated cross-browser and cross-platform tests.¿ Execute Sequential and Parallel testing, Shift Left testing, and Sanity testing.¿ Make use of GitHub Actions, Cypress Dashboard, Cucumber, and NodeJS.¿ Write test code, run CI testing and record test results.WHO THIS BOOK IS FORThis book is for Test Automation Engineers, QA professionals, Web Developers, and anyone who wants to test their web apps from start to finish with automation. This book assumes no prior knowledge of Cypress or testing concepts.

The rotary-wing platform, lagging behind fixed-wing due to comparatively greater technological challenges, provided remarkably alluring options to the commander on the battlefield, ever thirsting for a high vantage point, speed of maneuvering and the flexibility of quick redeployment. Vietnam, Korea and Iraq as also several other military conflicts, helped the helicopter to mature from casualty evacuation to increasingly more offensive tasks such as attack, anti-tank, suppression of enemy air defenses, reconnaissance and observation, airlift of troops, cargo resupply and fire fighting.

Smartphone users have come to expect high-quality apps. This has increased the importance of software testing in mobile software development. Unfortunately, testing apps-particularly the GUI-can be very time-consuming. Exercising every user interface element and verifying transitions between different views of the app under test quickly becomes problematic. For example, execution of iOS GUI test suites using Apple's UI Automation framework can take an hour or more if the app's interface is complicated. The longer it takes to run a test, the less frequently the test can be run, which in turn reduces software quality. This book describes how to accelerate the testing process for iOS apps using HadoopUnit, a distributed test execution environment that leverages the parallelism inherent in the Hadoop platform. HadoopUnit was previously used to run unit and system tests in the cloud. It has been modified to perform GUI testing of iOS apps on a small-scale cluster-a modest computing infrastructure available to almost every developer. Experimental results have shown that distributed test execution with HadoopUnit can significantly outperform the test execution on a single machine, even if the size of the cluster used for the execution is as small as two nodes. This means that the approach described in this book could be adopted without a huge investment in IT resources. HadoopUnit is a cost-effective solution for reducing lengthy test execution times of system-level GUI testing of iOS apps.

This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic constraints collected from the branching conditions in the program. The obtained solutions can be used as test inputs that execute feasible program paths. Symbolic execution has found many applications in various domains, such as security, smartphone applications, operating systems, databases, and more recently deep neural networks, uncovering subtle errors and unknown vulnerabilities. We review here the technique has also been extended to reason about algorithmic complexity and resource consumption.Furthermore, symbolic execution has been recently extended with probabilistic reasoning, allowing one to reason about quantitative properties of software systems. The approach computes the conditions to reach target program events of interest and uses model counting to quantify the fraction of the input domain satisfying these conditions thus computing the probability of event occurrence. This probabilistic information can be used for example to compute the reliability of an aircraft controller under different wind conditions (modeled probabilistically) or to quantify the leakage of sensitive data in a software system, using information theory metrics such as Shannon entropy.This book is intended for students and software engineers who are interested in advanced techniques for testing and verifying software systems.

The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software design, before coding starts. It is not uncommon that software requirements are ambiguous or contradict each other. Ambiguity is exacerbated by the fact that software requirements are typically written in a natural language, which is not tied to any formal semantics. A palliative to the ambiguity of software requirements is to restrict their syntax to boilerplates, textual templates with placeholders. However, as informal requirements do not enjoy any particular semantics, no essential properties about them (or about the system they attempt to describe) can be proven easily. Formal methods are an alternative to address this problem. They offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms that we use are EVENT B and refinement calculus. In short: (i) software requirements as written as User Stories; (ii) they are ported to formal specifications; (iii) they are refined as desired; (iv) they are implemented in the form of a prototype; and finally (v) they are tested for inconsistencies. If some unit-test fails, then informal as well as formal specifications of the software system are revisited and evolved. This book presents a case study of software development of a chat system with EVENT B and a case study of formal proof of properties of a social network.

The art of unit testing is more than just learning the right collection of tools and practices. It's about understanding what makes great tests tick, finding the right strategy for each unique situation, and knowing what to do when the testing process gets messy. This book delivers insights and advice that will transform the way you test your software. The art of unit testing, third edition shows you how to create readable and maintainable tests. It goes well beyond basic test creation into organization-wide test strategies, troubleshooting, working with legacy code, and "merciless" refactoring. You'll love the practical examples and familiar scenarios that make testing come alive as you read. This third edition has been updated with techniques specific to object-oriented, functional, and modular coding styles. The examples use JavaScript.

Expert advice on C programming is hard to find. While much help is available for object-oriented programming languages, there's surprisingly little for the C language. With this hands-on guide, beginners and experienced C programmers alike will find guidance about design decisions, including how to apply them bit by bit to running code examples when building large-scale programs.Christopher Preschern, a leading member of the design patterns community, answers questions such as how to structure C programs, cope with error handling, or design flexible interfaces. Whether you're looking for one particular pattern or an overview of design options for a specific topic, this book shows you how to implement hands-on design knowledge specifically for the C programming language.You'll find design patterns for:Error handlingReturning error informationMemory managementReturning data from C functionsData lifetime and ownershipFlexible APIsFlexible iterator interfacesOrganizing files in modular programsEscaping #ifdef Hell

With technological advancements, fast markets, and higher complexity of systems, software engineers tend to skip the uncomfortable topic of software efficiency. However, tactical, observability-driven performance optimizations are vital for every product to save money and ensure business success.With this book, any engineer can learn how to approach software efficiency effectively, professionally, and without stress. Author Bartomiej Potka provides the tools and knowledge required to make your systems faster and less resource-hungry. Efficient Go guides you in achieving better day-to-day efficiency using Go. In addition, most content is language-agnostic, allowing you to bring small but effective habits to your programming or product management cycles.This book shows you how to: Clarify and negotiate efficiency goalsOptimize efficiency on various levelsUse common resources like CPU and memory effectivelyAssess efficiency using observability signals like metrics, logging, tracing, and (continuous) profiling via open source projects like Prometheus, Jaeger, and ParcaApply tools like go test, pprof, benchstat, and k6 to create reliable micro and macro benchmarksEfficiently use Go and its features like slices, generics, goroutines, allocation semantics, garbage collection, and more!

This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.

This book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May 29 - June 2, 2022.The 18 full papers presented were carefully reviewed and selected from 53 submissions. The papers are categorized into the following topical sub-headings: Architecture, Networks, and Storage; Machine Learning, AI, Emerging Technologies; HPC Algorithms and Applications; Performance Modeling, Evaluation and Analysis; and Programming Environments and Systems Software.

This book constitutes the refereed proceedings of the 16th International Conference on Innovations for Community Services, I4CS 2016, held in Vienna, Austria, in June 2016. The 12 revised full papers presented together with two short papers were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on navigation and data management; monitoring and decision making; coding and security; collaboration and workflow; routing and technology; topic and object tracking.

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and theory of automata and related structures.

This book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2022 which was held in Leuven, Belgium, in June 2022, as part of the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022. The CAiSE Forum is a place within the CAiSE conference for presenting and discussing new ideas and tools related to information systems engineering. Intended to serve as an interactive platform, the Forum aims at the presentation of emerging new topics and controversial positions, as well as demonstration of innovative systems, tools and applications. The 15 full papers presented in this volume were carefully reviewed and selected from 24 submissions.

This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2022, held in Tampa, FL, USA, in June 2022.The 37 revised full research papers, included in the volume were carefully reviewed and selected from 103 submissions. They are organized in the following topical sections: ¿Transdisciplinary Research & DSR (theme Track); Blockchain Information Systems; Intelligent Systems and Human Interaction; Healthcare Systems and Quality of Life; Innovation and Entrepreneurship; Sustainability and Responsible Design (Environmental Issues, Human Values and ethical Design); Human Safety and Cybersecurity; Emerging DSR Methods and Processes; Designers and Collaborative DSR; and Education and DSR.

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022, which was held in Leuven, Belgium, during June 6-10, 2022.The workshops included in this volume are:nbsp;        BC4IS: Second International Workshop on Blockchain for Information Systemsnbsp;        ISESL: Second International Workshop on Information Systems Engineering for Smarter Lifenbsp;        KET4DF: 4th International Workshop on Key Enabling Technology for Digital FactoriesThey reflect a broad range of topics and trends ranging from blockchain technologies via digital factories, ethics, and ontologies, to the agile methods for business and information systems.The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected from 23 submissions.

This book constitutes the refereed proceedings of the 5th International Conference on Emerging Technologies in Computer Engineering, ICETCE 2021, held in Jaipur, India, in February 2022.The 40 revised full papers along with 20 short papers presented were carefully reviewed and selected from 235 submissions.  The papers are organized according to the following topical headings: cognitive computing; Internet of Things (IoT); machine learning and applications; soft computing; data science and big data analytics; blockchain and cyber security.

Concepts, methods, and techniques - supported with practical, real-world examples The first book to cover the ISTQB® Certified Test Automation Engineer syllabus With real-world project examples Suitable as a textbook, as a reference book for ISTQB ® training courses, and for self-study This book provides a complete overview of how to design test automation processes and integrate them into your organization or existing projects. It describes functional and technical strategies and goes into detail on the relevant concepts and best practices. The book's main focus is on functional system testing. Important new aspects of test automation, such as automated testing for mobile applications and service virtualization, are also addressed as prerequisites for creating complex but stable test processes. The text also covers the increase in quality and potential savings that test automation delivers. The book is fully compliant with the ISTQB® syllabus and, with its many explanatory examples, is equally suitable for preparation for certification, as a concise reference book for anyone who wants to acquire this essential skill, or for university-level study.

This book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in September 2021 in Bari, Italy.  The 15 papers included in this volume were carefully reviewed and selected from 30 submissions. They show the design of interactive technologies addressing one or more United Nations' Sustainable Development Goals, to deal with evolving contexts of use in today's and future application domains and its influence on human-centered socio-technical system design and devel-opment practice, share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), and address and discuss geopolitical issues in Human-Computer Interaction as a field of knowledge and practice.