- Table View
- List View
Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers (Communications in Computer and Information Science #868)
by Enrique Cabello Jorge Cardoso Leszek A. Maciaszek Marten Van SinderenThis book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence.
Software Technologies
by José Cordeiro Marten Van SinderenThis book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.
Software Technologies: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers (Communications in Computer and Information Science #2104)
by Hans-Georg Fill Francisco José Domínguez Mayo Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the refereed post proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, held in Rome, Italy, during July 10–12, 2023. The 7 full papers included in this book were carefully reviewed and selected from 129 submissions. They focus on Software Engineering and Systems Development; Software Systems and Applications; and Foundational and Trigger Technologies.
Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers (Communications in Computer and Information Science #1622)
by Hans-Georg Fill Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6–8, 2021. The conference was held virtually due to the COVID-19 crisis.The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.
Software Technologies: 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers (Communications in Computer and Information Science #1859)
by Hans-Georg Fill Marten Van Sinderen Leszek A. MaciaszekThis book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11–13, 2022. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.
Software Technologies
by Andreas Holzinger Jorge Cardoso José Cordeiro Therese Libourel Leszek A. Maciaszek Marten Van SinderenThis book constitutes the thoroughly refereed proceedings of the9th International Joint Conference on Software Technologies, ICSOFT 2014, heldin Vienna, Austria, in August 2014. The 15revised full papers and 6 short papers presented were carefully reviewed andselected from 145 submissions. The papers focus on enterprise softwaretechnologies; software engineering and systems security; distributed systems;and software project management.
Software Technologies: 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers (Communications in Computer and Information Science #457)
by José Cordeiro and Marten van SinderenThis book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.
Software Technologies
by Pascal Lorenz Jorge Cardoso Leszek A. Maciaszek Marten Van SinderenThis bookconstitutes the thoroughly refereed proceedings of the 10th International JointConference on Software Technologies, ICSOFT 2015, held in Colmar, France, inJuly 2015. The 23revised full papers presented were carefully reviewed and selected from 117submissions. The papers are organized around the following conference tracks:enterprise software technologies; software project management; softwareengineering methods and techniques; distributed and mobile software systems.
Software Technologies: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11176)
by Manuel Mazzara Iulian Ober Gwen SalaünThis book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Software Technologies: Applications and Foundations
by Paolo Milazzo Dániel Varró Manuel WimmerThis book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.
Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers (Communications in Computer and Information Science #1077)
by Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018.The 18 revised full papers were carefully reviewed and selected from 117 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers (Communications in Computer and Information Science #1250)
by Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019.The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers (Communications in Computer and Information Science #1447)
by Marten Van Sinderen Leszek A. Maciaszek Hans-Georg FillThis book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.
Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers (Communications in Computer and Information Science #743)
by Marten Van Sinderen Leszek A. Maciaszek André Ludwig Jorge Cardoso Enrique CabelloThis book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems
Software Technology: 10 Years of Innovation in IEEE Computer
by Mike HincheyA comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.
Software Technology: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings (Lecture Notes in Computer Science #11771)
by Manuel Mazzara Jean-Michel Bruel Bertrand Meyer Alexander PetrenkoThis book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.
Software Telemetry: Reliable logging and monitoring
by Jamie RiedeselSoftware Telemetry shows you how to efficiently collect, store, and analyze system and application log data so you can monitor and improve your systems. Summary In Software Telemetry you will learn how to: Manage toxic telemetry and confidential records Master multi-tenant techniques and transformation processes Update to improve the statistical validity of your metrics and dashboards Make software telemetry emissions easier to parse Build easily-auditable logging systems Prevent and handle accidental data leaks Maintain processes for legal compliance Justify increased spend on telemetry software Software Telemetry teaches you best practices for operating and updating telemetry systems. These vital systems trace, log, and monitor infrastructure by observing and analyzing the events generated by the system. This practical guide is filled with techniques you can apply to any size of organization, with troubleshooting techniques for every eventuality, and methods to ensure your compliance with standards like GDPR. About the technology Take advantage of the data generated by your IT infrastructure! Telemetry systems provide feedback on what&’s happening inside your data center and applications, so you can efficiently monitor, maintain, and audit them. This practical book guides you through instrumenting your systems, setting up centralized logging, doing distributed tracing, and other invaluable telemetry techniques. About the book Software Telemetry shows you how to efficiently collect, store, and analyze system and application log data so you can monitor and improve your systems. Manage the pillars of observability—logs, metrics, and traces—in an end-to-end telemetry system that integrates with your existing infrastructure. You&’ll discover how software telemetry benefits both small startups and legacy enterprises. And at a time when data audits are increasingly common, you&’ll appreciate the thorough coverage of legal compliance processes, so there&’s no reason to panic when a discovery request arrives. What's inside Multi-tenant techniques and transformation processes Toxic telemetry and confidential records Updates to improve the statistical validity of your metrics and dashboards Revisions that make software telemetry emissions easier to parse About the reader For software developers and infrastructure engineers supporting and building telemetry systems. About the author Jamie Riedesel is a staff engineer at Dropbox with over twenty years of experience in IT. Table of Contents 1 Introduction PART 1 TELEMETRY SYSTEM ARCHITECTURE 2 The Emitting stage: Creating and submitting telemetry 3 The Shipping stage: Moving and storing telemetry 4 The Shipping stage: Unifying diverse telemetry formats 5 The Presentation stage: Displaying telemetry 6 Marking up and enriching telemetry 7 Handling multitenancy PART 2 USE CASES REVISITED: APPLYING ARCHITECTURE CONCEPTS 8 Growing cloud-based startup 9 Nonsoftware business 10 Long-established business IT PART 3 TECHNIQUES FOR HANDLING TELEMETRY 11 Optimizing for regular expressions at scale 12 Standardized logging and event formats 13 Using more nonfile emitting techniques 14 Managing cardinality in telemetry 15 Ensuring telemetry integrity 16 Redacting and reprocessing telemetry 17 Building policies for telemetry retention and aggregation 18 Surviving legal processes
Software Test Attacks to Break Mobile and Embedded Devices: Software Test Attacks To Break Mobile And Embedded Devices (Chapman And Hall/crc Innovations In Software Engineering And Software Development Ser. #6)
by Jon Duncan HagarAddress Errors before Users Find ThemUsing a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by
Software Test Design: Write comprehensive test plans to uncover critical bugs in web, desktop, and mobile apps
by Simon AmeyA guide to writing comprehensive test plans covering exploratory testing and feature specification; black and white box testing; security, usability, and maintainability; and load and stress testingKey FeaturesCover all key forms of testing for modern applications systematicallyUnderstand anti-patterns and pitfalls in system design with the help of practical examplesLearn the strengths and weaknesses of different forms of testing and how to combine them effectivelyBook DescriptionSoftware Test Design details best practices for testing software applications and writing comprehensive test plans. Written by an expert with over twenty years of experience in the high-tech industry, this guide will provide you with training and practical examples to improve your testing skills. Thorough testing requires a thorough understanding of the functionality under test, informed by exploratory testing and described by a detailed functional specification. This book is divided into three sections, the first of which will describe how best to complete those tasks to start testing from a solid foundation. Armed with the feature specification, functional testing verifies the visible behavior of features by identifying equivalence partitions, boundary values, and other key test conditions. This section explores techniques such as black- and white-box testing, trying error cases, finding security weaknesses, improving the user experience, and how to maintain your product in the long term. The final section describes how best to test the limits of your application. How does it behave under failure conditions and can it recover? What is the maximum load it can sustain? And how does it respond when overloaded? By the end of this book, you will know how to write detailed test plans to improve the quality of your software applications.What you will learnUnderstand how to investigate new features using exploratory testingDiscover how to write clear, detailed feature specifi cationsExplore systematic test techniques such as equivalence partitioningUnderstand the strengths and weaknesses of black- and white-box testingRecognize the importance of security, usability, and maintainability testingVerify application resilience by running destructive testsRun load and stress tests to measure system performanceWho this book is forThis book is for anyone testing software projects for mobile, web, or desktop applications. That includes Dedicated QA engineers managing software quality, Test and test automation engineers writing formal test plans, Test and QA managers running teams responsible for testing, Product owners responsible for product delivery, and Developers who want to improve the testing of their code.
The Software Test Engineer's Handbook
by Judy Mckay Graham BathRevised and updated 1st Edition, 2011 There are a lot of books around covering functional testing techniques, but relatively few cover both functional and technical testing. This book will fill that gap. Authors Graham Bath and Judy McKay are core members of the ISTQB Working Party that created the new advanced level syllabus, which will be rolled out worldwide this year. This book brings both functional and technical aspects of testing into a coherent whole, which will benefit not only test analyst/engineers but also test managers. Based on the "Certified Tester" Advanced-Level syllabus issued by the ISTQB in 2007, the book covers everything you will need to know to successfully sit the examinations for Test Analyst and Technical Test Analyst. For those planning to take one or both of these exams, the book provides a solid base for preparation and clearly indicates which sections apply to which specific examination.
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 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
by Fairouz Tchier Ali MiliExplores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management This book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing. Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal Covers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysis Software Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline.
Software Testing 2020: Preparing for New Roles
by Mukesh SharmaSoftware testing is at a very important crossroad, where it is going back to the roots on certain fronts while moving inexorably forward. For instance, test automation is growing in prominence, but manual testing is becoming a niche; we are increasingly collaborating with the developers, breaking the bounds of unrealistic independence in testing, and bringing in true conscious quality. At such an important stage, it is important to take stock of the past, present, and future to define both the direction the discipline will take as well as the careers it will entail for testers. This book looks at a range of topics covering where we are in the product development landscape today, what are the varied disciplines at play, what are the influencing factors bringing in a change in software testing, why is such change important, what did the past look like, what is current decade turning out to be like, and where are we heading. As for future, it looks at it both from near-term and long-term perspectives. It also considers whether the testing fraternity is ready to take on such changes and are empowered enough to do so, or are there gaps that need to be filled. The book closes with perspectives from industry experts on what is in store for the software testing discipline and community in the coming years. After reading the book, you will be confident that you can take on what is in store for testers in the coming years. You will also be positioned to help the industry move to the next level, and influence change not just amongst testers but also in the product engineering industry level as a whole.
Software Testing and Continuous Quality Improvement
by William E. LewisIt is often assumed that software testing is based on clearly defined requirements and software development standards. However, testing is typically performed against changing, and sometimes inaccurate, requirements. The third edition of a bestseller, Software Testing and Continuous Quality Improvement, Third Edition provides a continuous quality framework for the software testing process within traditionally structured and unstructured environments. This framework aids in creating meaningful test cases for systems with evolving requirements. This completely revised reference provides a comprehensive look at software testing as part of the project management process, emphasizing testing and quality goals early on in development. Building on the success of previous editions, the text explains testing in a Service Orientated Architecture (SOA) environment, the building blocks of a Testing Center of Excellence (COE), and how to test in an agile development. Fully updated, the sections on test effort estimation provide greater emphasis on testing metrics. The book also examines all aspects of functional testing and looks at the relation between changing business strategies and changes to applications in development. Includes New Chapters on Process, Application, and Organizational Metrics All IT organizations face software testing issues, but most are unprepared to manage them. Software Testing and Continuous Quality Improvement, Third Edition is enhanced with an up-to-date listing of free software tools and a question-and-answer checklist for choosing the best tools for your organization. It equips you with everything you need to effectively address testing issues in the most beneficial way for your business.