Software Components

Software Testing Theory of Component-based Software Development (CBSD)

Research Goals

develop foundational testing theory of software components
develop foundational testing theory of component synthesis
design and implement tools to support the theory
experiment to gain insight into CBSD
improve current testing practice in CBSD

Testing theory of components and assemblies

Software component composition: a subdomain-based testing-theory foundation J. Software Testing and Verification Research, December, 2007

Supporting tools and experiments

Tutorials
Tools and experiments supporting a testing-based theory of component composition to appear in ACM Trans. Software Eng. Methodology, 2009.
Narrative documentation
Download tools and experiments

Selected Research Papers and Talks

Software Component Synthesis: Theory and Supporting tools A talk covering the stateless-component tools for a general audience
Subdomain testing of units and systems with state ISSTA 2006 paper presenting the beginnings of theory and tools for components with state
Test-based specifications of components and systems Software Test and Evaluation Workshop paper contrasting mainstream engineering `specs' with those used in software engineering

Supported by National Science Foundation grant CCR-0112654 and by an E.T.S. Walton grant from Science Foundation Ireland. Neither institution is responsible for any opinions expressed here.

For further information contact:

Dick Hamlet <hamlet@cs.pdx.edu>

Last Updated: April, 2009