See this document in CiteSeerX!

A Software Component Verification Tool (2000)  (Make Corrections)  (2 citations)
Gary A Bundell, Gareth Lee, John Morris, Kris Parker



  Home/Search   Context   Related

 
View or download:
uwa.edu.au/Research/S...ctb_tools.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  uwa.edu.au/Research/SCL/SCL (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Component-Based Software Engineering depends on reliable, robust components, since it may omit a unit test phase wholly or partially from the development cycle. This paper describes a tool that allows a component developer to design and run verification tests. In developing components for our library, we found it necessary to provide multiple mechanisms for identifying and capturing tests to overcome the limitations of any single mechanism. Once specified, test specifications and test results... (Update)

Cited by:   More
State of the Art in Testing Components - Beydeda, Gruhn (2003)   (Correct)

Active bibliography (related documents):   More   All
1.0:   Determining Component Reliability Using a Testing Index - Morris, Lam, Lee, Parker.. (2002)   (Correct)
1.0:   Setting a Framework for Trusted Component Trading - Morris, Lam, Bundell, Lee..   (Correct)
0.2:   Providing Software Engineering Services for Virtual.. - Maurer, Wittevrongel (2001)   (Correct)

Similar documents based on text:   More   All
0.3:   An Adaptive Fuzzy Expert System for 3D Hand Motion.. - Holden, Owens, Roy   (Correct)
0.3:   Analysis of a Flexible Manufacturing System Task Controller.. - Ang, Bundell   (Correct)
0.3:   A Petri Net Based System Modelling Tool with TEG Subsystem Model - Bundell, Ang (1995)   (Correct)

Related documents from co-citation:   More   All
4:   Trustable components: Yet another mutation-based approach - Baudry, Hanh et al. - 2000
4:   automated black-box testing of component-based software (context) - SH, for - 2000
2:   Toward reflective metadata wrappers for formally specified software components (context) - Edwards - 2001

BibTeX entry:   (Update)

G. A. Bundell, G. Lee, J. Morris, K. Parker, and P. Lam. A software component verification tool. In International Conference on Software Methods and Tools (SMT), pages 137-- 146. IEEE Computer Society Press, 2000. http://citeseer.ist.psu.edu/bundell00software.html   More

@misc{ bundell00software,
  author = "G. Bundell and G. Lee and J. Morris and K. Parker and P. Lam",
  title = "A software component verification tool",
  text = "G. A. Bundell, G. Lee, J. Morris, K. Parker, and P. Lam. A software component
    verification tool. In International Conference on Software Methods and Tools
    (SMT), pages 137-- 146. IEEE Computer Society Press, 2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/bundell00software.html" }
Citations (may not include all citations):
3972   Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1989
207   CORBA: Fundamentals and Programming (context) - Siegel - 1996
166   Selecting software test data using data flow information (context) - Rapps, Weyuker - 1985
115   Essential COM (context) - Box - 1999
72   Architectural mismatch or why it's hard to build systems out.. - Garlan, Allen et al. - 1995
56   The ASTOOT approach to testing object-oriented programs - Doong, Frankl - 1994
47   The current state of CBSE (context) - Brown, Wallnau - 1998
31   Testing Object-Oriented Systems: Models (context) - Binder - 2000
26   The chaining approach for software test data generation (context) - Ferguson, Korel - 1996
22   The Simple API for XML (context) - Megginson - 2000
19   Testing component-based software: A cautionary tale (context) - Weyuker - 1998
10   Enterprise JavaBeans: Server Component Model for Java (context) - Thomas - 1997
8   COTS Software Integration: State of the Art (context) - Vigder, Gentleman et al. - 1996
7   New age of software development: How component-based softwar.. - Aoyama - 1998
5   Software Test Automation: Effective use of test execution to.. (context) - Fewster, Graham - 1999
5   To formalize or not to formalize (context) - Hinchey, Bowen - 1996
2   Programming languages and software engineering: Past (context) - Wileden - 1996
2   VeriLib: A Source of Reliable Components (context) - Laboratory - 2000
2   Component Software: A White Paper: Part II (context) - Bundell, Lee et al. - 2000
1   Virginia Class Submarine Program (context) - Navy - 2000
1   ICSE COTS Workshop Summary: http: //wwwsel (context) - Successful, Development - 1999
1   Safety-critical system built with COTS (context) - Profdeta, Andrianos et al. - 1996
1   Software Test Automation: Effective use of test execution to.. (context) - Buwalda, Action et al. - 1999
1   Jnl Information and Software Technology (context) - Coward, testing - 1991
1   Component Test Bench Documents (context) - Laboratory - 2000

Documents on the same site (http://ciips.ee.uwa.edu.au/Research/SCL/SCL.html):
Setting a Framework for Trusted Component Trading - Morris, Lam, Bundell, Lee..   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC