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

Monograph

Springer, August, 2010.

Testing theory of components and assemblies

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

Tools and Tutorials

• Introductory slide show
• Tutorials
• Tools and experiments supporting a testing-based theory of component composition ACM Trans. Software Eng. Methodology, May, 2009.
• Download tools and tutorials
• Installing tools on your platform

Selected Research Papers and Talks

• Defining "Predictable Assembly" from the 9th Component Based Software Engineering (CBSE) Workshop, Vasteras, Sweden, 2006
• Software Component Synthesis: Theory and Supporting tools A talk covering the stateless-component tools for a general audience
• Composing Component Tests A short talk about the TOSEM paper cited above (from an ICSE 09 session on journal- vs. conference publication of research)
• Collaboration Among Software Components Introductory talk slanted toward unit testing in practical development from the Pacific Northwest Quality Conference (PNSQC), 2009.
• Test-based specifications of components and systems Software Test and Evaluation Workshop paper contrasting mainstream engineering `specs' with those used in software engineering
• Experiments with Composing Component Properties First report on tools at the 6th Component Based Software Engineering (CBSE) Workshop, Portland, OR, 2003

For further information contact: