Skip to main content

Composing Software Components

A Software-testing Perspective

  • Book
  • © 2010

Overview

  • Provides more than a dozen revealing case studies of component synthesis
  • Includes supporting software (written in Perl for Linux, Mac, and Windows) with tutorial examples and data for the replication of experiments
  • Presents an original, fundamental theory of component composition based on software testing rather than proof-of-programs
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 chapters)

  1. Components and Component-based Development

  2. Software Testing: Practice and Theory

  3. Composition of Components

  4. Supporting Tools

Keywords

About this book

Software components and component-based software development (CBSD) are acknowledged as the best approach for constructing quality software at reasonable cost. Composing Software Components: A Software-testing Perspective describes a 10-year investigation into the underlying principles of CBSD. By restricting attention to the simplest cases, startling results are obtained:

• Components are tested using only executable code. Their behavior is recorded and presented graphically.

• Functional and non-functional behavior of systems synthesized from components are calculated from component tests alone. No access to components themselves is required.

• Fast, accurate tools support every aspect of CBSD from design through debugging.

Case studies of CBSD also illuminate software testing in general, particularly an expanded role for unit testing and the treatment of non-functional software properties.

This unique book:

• Contains more than a dozen case studies of fully worked-out component synthesis, with revealing insights into fundamental testing issues.

• Presents an original, fundamental theory of component composition that includes persistent state and concurrency, based on functional software testing rather than proof-of-programs.

• Comes with free supporting software with tutorial examples and data for replication of examples. The Perl software has been tested on Linux, Macintosh, and Windows platforms. Full documentation is provided.

• Includes anecdotes and insights from the author’s 50-year career in computing as systems programmer, manager, researcher, and teacher.

Composing Software Components: A Software-testing Perspective will help software researchers and practitioners to understand the underlying principles of component testing. Advanced students in computer science, engineering, and mathematics can also benefit from the book as a supplemental text and reference.

Reviews

From the reviews:

“Hamlet … delivers a detailed analysis of component software engineering from a testing viewpoint. … The book also includes some software that supports implementation of theory, presented in a variety of developer environments. … Summing Up: Highly recommended. Graduate students and researchers/faculty.” (L. Benedicenti, Choice, Vol. 48 (9), May, 2011)

Authors and Affiliations

  • Camas, USA

    Dick Hamlet

Bibliographic Information

Publish with us