Author: Hans-Gerhard Gross
Publisher: Springer Science & Business Media
ISBN: 9783540208648
Category : Computers
Languages : en
Pages : 340
Book Description
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Component-Based Software Testing with UML
Author: Hans-Gerhard Gross
Publisher: Springer Science & Business Media
ISBN: 9783540208648
Category : Computers
Languages : en
Pages : 340
Book Description
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Publisher: Springer Science & Business Media
ISBN: 9783540208648
Category : Computers
Languages : en
Pages : 340
Book Description
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Testing and Quality Assurance for Component-based Software
Author: Jerry Gao
Publisher: Artech House
ISBN: 1580534805
Category : Computers
Languages : en
Pages : 462
Book Description
Presenting the state of the art in component-based software testing, this cutting-edge resource offers you an in-depth understanding of the current issues, challenges, needs and solutions in this critical area. The book discusses the very latest advances in component-based testing and quality assurance in an accessible tutorial format, making the material easy to comprehend and benefit from no matter what your professional level. important, and how it differs from traditional software testing. From an introduction to software components, testing component-based software and validation methods for software components, to performance testing and measurement, standards and certification and verification of quality for component-based systems, you get a revealing snapshot of the key developments in this area, including important research findings. This volume also serves as a textbook for related courses at the advanced undergraduate or graduate level.
Publisher: Artech House
ISBN: 1580534805
Category : Computers
Languages : en
Pages : 462
Book Description
Presenting the state of the art in component-based software testing, this cutting-edge resource offers you an in-depth understanding of the current issues, challenges, needs and solutions in this critical area. The book discusses the very latest advances in component-based testing and quality assurance in an accessible tutorial format, making the material easy to comprehend and benefit from no matter what your professional level. important, and how it differs from traditional software testing. From an introduction to software components, testing component-based software and validation methods for software components, to performance testing and measurement, standards and certification and verification of quality for component-based systems, you get a revealing snapshot of the key developments in this area, including important research findings. This volume also serves as a textbook for related courses at the advanced undergraduate or graduate level.
UML Components
Author: John Cheesman
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 216
Book Description
The UML was conceived and first implemented as a language for describing the design of object-oriented programs. Its widespread adoption and inherent flexibility has, inevitably, led to its use in other areas, including the design of component-based systems, While it is not a perfect fit for component-based development, this book describes how best to use UML 1.3 in the specification and design of medium to large systems that utilize server-side component technologies.
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 216
Book Description
The UML was conceived and first implemented as a language for describing the design of object-oriented programs. Its widespread adoption and inherent flexibility has, inevitably, led to its use in other areas, including the design of component-based systems, While it is not a perfect fit for component-based development, this book describes how best to use UML 1.3 in the specification and design of medium to large systems that utilize server-side component technologies.
Component-based Product Line Engineering with UML
Author: Colin Atkinson
Publisher: Addison-Wesley Professional
ISBN:
Category : Business & Economics
Languages : en
Pages : 540
Book Description
A cutting-edge, UML-based approach to software development and maintenance that integrates component-based and product-line engineering methods. - ripe market: development of component-based technologies is a major growth area - CBD viewed as a faster, more flexible way of building systems that can easily be adapted to meet rapidly-changing business needs and integrate legacy and new applications (e.g. Forrester report in June 1998 predicted that by 2001 "half of packaged apps vendors will deliver component-based apps"; e.g. Butler Group Management Briefing (2000): "Butler Group is now advising that all new-build and significant modification activity should be based on component architectures...Butler Group belives that Component-Based Development is one of the most important events in the evolution of information technology" e.g. Gartner Group estimates that "by 2003, 70% of new applications will be deployed as a combination of pre-assembled and newly created components integrated to form complex business-systems. The book defines, describes and shows how to use a method for component-based product-line engineering, supported by UML. This method aims to dramatically increase the level of reuse in software development by integrating the strengths of both of these approaches. UML is used to describe components during the analysis, design & implementation stages and capture their characteristics and relationships.This method includes two new kinds of extensions to the UML: new stereotypes to capture KobrA-specific concepts and new metamodel elements to capture variabilities. The method makes components the focus of the entire software development process, not just the implementation and deployment phases. The method has grown out of work by two companies in industry (Softlab & Psipenta) and two research organizations (GMD FIRST & Fraunhofer IESE) called the KobrA project. It is influenced by a number of successful existing methods e.g. Fusion method, Cleanroom method, Catalysis & Rational Unified Process, integrated with new ideas in an innovative way. Benefits for the reader: - gain a clear understanding of the product-line and component-based approaches to software development - learn how to use UML to describe components in analysis, design and implementation of components - learn how to develop and apply component-based frameworks in product-lines - learn how to build new systems from pre-existing components and ensure that components are of a high quality The book also includes: - case studies: library system example running throughout the chapters; ERP/business software system as appendix or separate chapter - bibliography - glossary - appendices covering: UML profiles, concise process description in the form of UML activity diagrams, refinement/translation patterns AUDIENCE Software engineers, architects & project managers. Software engineers working in the area of distributed/enterprise systems who want a method for applying a component-based or product-line engineering approach in practice.
Publisher: Addison-Wesley Professional
ISBN:
Category : Business & Economics
Languages : en
Pages : 540
Book Description
A cutting-edge, UML-based approach to software development and maintenance that integrates component-based and product-line engineering methods. - ripe market: development of component-based technologies is a major growth area - CBD viewed as a faster, more flexible way of building systems that can easily be adapted to meet rapidly-changing business needs and integrate legacy and new applications (e.g. Forrester report in June 1998 predicted that by 2001 "half of packaged apps vendors will deliver component-based apps"; e.g. Butler Group Management Briefing (2000): "Butler Group is now advising that all new-build and significant modification activity should be based on component architectures...Butler Group belives that Component-Based Development is one of the most important events in the evolution of information technology" e.g. Gartner Group estimates that "by 2003, 70% of new applications will be deployed as a combination of pre-assembled and newly created components integrated to form complex business-systems. The book defines, describes and shows how to use a method for component-based product-line engineering, supported by UML. This method aims to dramatically increase the level of reuse in software development by integrating the strengths of both of these approaches. UML is used to describe components during the analysis, design & implementation stages and capture their characteristics and relationships.This method includes two new kinds of extensions to the UML: new stereotypes to capture KobrA-specific concepts and new metamodel elements to capture variabilities. The method makes components the focus of the entire software development process, not just the implementation and deployment phases. The method has grown out of work by two companies in industry (Softlab & Psipenta) and two research organizations (GMD FIRST & Fraunhofer IESE) called the KobrA project. It is influenced by a number of successful existing methods e.g. Fusion method, Cleanroom method, Catalysis & Rational Unified Process, integrated with new ideas in an innovative way. Benefits for the reader: - gain a clear understanding of the product-line and component-based approaches to software development - learn how to use UML to describe components in analysis, design and implementation of components - learn how to develop and apply component-based frameworks in product-lines - learn how to build new systems from pre-existing components and ensure that components are of a high quality The book also includes: - case studies: library system example running throughout the chapters; ERP/business software system as appendix or separate chapter - bibliography - glossary - appendices covering: UML profiles, concise process description in the form of UML activity diagrams, refinement/translation patterns AUDIENCE Software engineers, architects & project managers. Software engineers working in the area of distributed/enterprise systems who want a method for applying a component-based or product-line engineering approach in practice.
Component-Based Software Testing with UML
Author: Hans-Gerhard Gross
Publisher: Springer
ISBN: 3540267336
Category : Computers
Languages : en
Pages : 328
Book Description
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Publisher: Springer
ISBN: 3540267336
Category : Computers
Languages : en
Pages : 328
Book Description
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Component-based Software Engineering
Author: George T. Heineman
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 888
Book Description
Component-Based Software Engineering (CBSE) is the way to produce software fast. This book presents the concepts in CBSE. While detailing both the advantages and the limitations of CBSE, it covers every aspect of component engineering, from software engineering practices to the design of software component infrastructure, technologies, and system.
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 888
Book Description
Component-Based Software Engineering (CBSE) is the way to produce software fast. This book presents the concepts in CBSE. While detailing both the advantages and the limitations of CBSE, it covers every aspect of component engineering, from software engineering practices to the design of software component infrastructure, technologies, and system.
Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering
Author: Dietmar Winkler
Publisher: Springer
ISBN: 3319036025
Category : Computers
Languages : en
Pages : 254
Book Description
This book constitutes the refereed proceedings of the 6th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2014. This professional symposium and conference offers a range of comprehensive and valuable opportunities for advanced professional training, new ideas and networking with a series of keynote speeches, professional lectures, exhibits and tutorials. The four scientific full papers accepted for SWQD were each peer reviewed by three or more reviewers and selected out of 24 high-quality submissions. Further, one keynote and ten short papers on promising research directions were also presented and included in order to spark discussions between researchers and practitioners. The papers are organized into topical sections on software process improvement and measurement, requirements management, value-based software engineering, software and systems testing, automation-supported testing and quality assurance and collaboration.
Publisher: Springer
ISBN: 3319036025
Category : Computers
Languages : en
Pages : 254
Book Description
This book constitutes the refereed proceedings of the 6th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2014. This professional symposium and conference offers a range of comprehensive and valuable opportunities for advanced professional training, new ideas and networking with a series of keynote speeches, professional lectures, exhibits and tutorials. The four scientific full papers accepted for SWQD were each peer reviewed by three or more reviewers and selected out of 24 high-quality submissions. Further, one keynote and ten short papers on promising research directions were also presented and included in order to spark discussions between researchers and practitioners. The papers are organized into topical sections on software process improvement and measurement, requirements management, value-based software engineering, software and systems testing, automation-supported testing and quality assurance and collaboration.
COTS-Based Software Systems
Author: Hakan Erdogmus
Publisher: Springer Science & Business Media
ISBN: 3540005625
Category : Business & Economics
Languages : en
Pages : 279
Book Description
This book constitutes the refereed proceedings of the Second International Conference on COTS-Based Software Systems, ICCBSS 2003, held in Ottawa, Canada in February 2003. The 24 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address all current issues on commcerial-off-the-shelf-systems, from the point of view of research and development as well as from the practitioner's application point of view.
Publisher: Springer Science & Business Media
ISBN: 3540005625
Category : Business & Economics
Languages : en
Pages : 279
Book Description
This book constitutes the refereed proceedings of the Second International Conference on COTS-Based Software Systems, ICCBSS 2003, held in Ottawa, Canada in February 2003. The 24 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address all current issues on commcerial-off-the-shelf-systems, from the point of view of research and development as well as from the practitioner's application point of view.
Model-Driven Testing
Author: Paul Baker
Publisher: Springer Science & Business Media
ISBN: 3540725636
Category : Computers
Languages : en
Pages : 176
Book Description
Written by the original members of an industry standardization group, this book shows you how to use UML to test complex software systems. It is the definitive reference for the only UML-based test specification language, written by the creators of that language. It is supported by an Internet site that provides information on the latest tools and uses of the profile. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification.
Publisher: Springer Science & Business Media
ISBN: 3540725636
Category : Computers
Languages : en
Pages : 176
Book Description
Written by the original members of an industry standardization group, this book shows you how to use UML to test complex software systems. It is the definitive reference for the only UML-based test specification language, written by the creators of that language. It is supported by an Internet site that provides information on the latest tools and uses of the profile. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification.
Formal Approaches to Software Testing
Author: Andreas Ulrich
Publisher: Springer
ISBN: 3540246177
Category : Computers
Languages : en
Pages : 276
Book Description
Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.
Publisher: Springer
ISBN: 3540246177
Category : Computers
Languages : en
Pages : 276
Book Description
Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.