Access the full text.
Sign up today, get DeepDyve free for 14 days.
R. Hamlet, David Mason, Denise Woit (2001)
Theory of software reliability based on componentsProceedings of the 23rd International Conference on Software Engineering. ICSE 2001
簡聰富 (1989)
物件導向軟體之架構(Object-Oriented Software Construction)探討
J. Lions (1996)
ARIANE 5 Flight 501 Failure: Report by the Enquiry Board
J. Goodenough, S. Gerhart (1975)
Toward a theory of test data selectionIEEE Transactions on Software Engineering, SE-1
K. Meinke (2004)
Automated black-box testing of functional correctness using function approximation
R. Floyd (1993)
Assigning Meanings to Programs
Received Month Year; revised Month Year; accepted Month Year ACM Journal Name
H. Pham (1999)
Software Reliability
C. Böhm, G. Jacopini (1966)
Flow diagrams, turing machines and languages with only two formation rulesCommun. ACM, 9
S. Dalal, Michael Lyu, C. Mallows, Bellcore (1994)
What is software reliability?Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance
Fei Xie, J. Browne (2006)
Verification of Component-Based Software Application Families
B. Sufrin (1989)
Principles of Computer Programming: A Mathematical ApproachScience of Computer Programming, 13
Gregory Dennis, F. Chang, D. Jackson (2006)
Modular verification of code with SAT
D. Hamlet (2003)
Experiments with Composing Component Properties
D. Hamlet (2006)
Subdomain testing of units and systems with state
Michael Ernst, J. Cockrell, W. Griswold, D. Notkin (1999)
Dynamically discovering likely program invariants to support program evolutionProceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)
W. Howden (1976)
Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, SE-2
D. Hamlet (2007)
Retracted and replaced: Software component composition: a subdomain-based testing foundationSoftware Testing, Verification & Reliability, 17
Article 12, Publication date: May 2009. Testing-Based Theory of Component Composition
H. Mills (1987)
Princples of Computer Programming
MeinkeKarl (2004)
Automated black-box testing of functional correctness using function approximationACM Sigsoft Software Engineering Notes
G. Myers (1979)
Art of Software Testing
(2006)
Received October
J. Magee, J. Kramer (2006)
Concurrency - state models and Java programs
D. Hamlet (2007)
Software component composition: a subdomain‐based testing‐theory foundationSoftware Testing, 17
J. Musa (1996)
Software-Reliability-Engineered TestingComputer, 29
H. Mills, V. Basili, J. Gannon, R. Hamlet (1987)
Teaching principles of computer programming
V. Rajaraman (1970)
Principles of Computer Programming
Development of software using off-the-shelf components seems to offer a chance for improving product quality and developer productivity. This article reviews a foundational testing-based theory of component composition, describes tools that implement the theory, and presents experiments with functional and nonfunctional component/system properties that validate the theory and illuminate issues in component composition. The context for this work is an ideal form of Component-Based Software Development (CBSD) supported by tools. Component developers describe their components by measuring approximations to functional and nonfunctional behavior on a finite collection of subdomains. Systems designers describe an application-system structure by the component connections that form it. From measured component descriptions and a system structure, a CAD tool synthesizes the system properties, predicting how the system will behave. The system is not built, nor are any test executions performed. Neither the component sources nor executables are needed by systems designers. From CAD calculations a designer can learn (approximately) anything that could be learned by testing an actual system implementation. The CAD tool is often more efficient than it would be to assemble and execute an actual system. Using tools that support an ideal separation between component- and system development, experiments were conducted to investigate two related questions: (1) To what extent can unit (that is, component) testing replace system testing? (2) What properties of software and subdomains influence the quality of subdomain testing?
ACM Transactions on Software Engineering and Methodology (TOSEM) – Association for Computing Machinery
Published: May 1, 2009
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.