A software component verification tool

Proceedings - International Conference on Software Methods and Tools, SMT 2000

Volumn , Issue , 2000, Pages 137-146

  Bundell, G A ^a   Lee, G ^a   Morris, J ^a   Parker, K ^a   Lam, P ^b  

^a UNIVERSITY OF WESTERN AUSTRALIA   (Australia)

^b MURDOCH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLIANCE CONTROL; SOFTWARE ENGINEERING; SPECIFICATIONS; TESTING; VERIFICATION;

COMPONENT TESTS; COMPONENT-BASED SOFTWARE ENGINEERING; DEVELOPMENT CYCLE; SINGLE MECHANISMS; SOFTWARE COMPONENT; TEST PATTERN; TEST SPECIFICATIONS; VERIFICATION TESTS;

SOFTWARE TESTING;

EID: 84961659638     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SWMT.2000.890429     Document Type: Conference Paper

References (26)

1. M. Aoyama. New age of software development: How component-based software engineering changes the way of software development. In Proceedings: 20th International Conference on Software Engineering, pages 30-37. IEEE Computer Society Press / ACM Press, 1998.
2. R. V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 2000.
3. D. Box. Essential COM. Addison-Wesley, 1999.
4. A. W. Brown and K. C. Wallnau. The current state of CBSE. IEEE Sofware, 15(5):37-46, sept/oct 1998.
5. G. A. Bundell, G. Lee, J. Morris, S. Hope, S. Parr, and R. G. Drorney. Component Sofware: A White Paper: Part II. Technical Aspects. Software Engineering Australia (WA): http://ciips.ee.uwa.edu. au/Research/SCL/white6.pdf, 2000.
6. H. Buwalda. Testing with Action Words, chapter 22. Software Test Automation: Effective use of test execution tools. Addison-Wesley, 1999.
7. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT Press, 1989.
8. P. D. Coward. Symbolic execution and testing. Jnl Information and Sofware Technology, 33(1):53-64, Feb 1991.
9. R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2):101-130, Apr 1994.
10. R. Ferguson and B. Korel. The chaining approach for software test data generation. IEEE Transactions on Software Engineering and Methodology, 5(1):63-86, jan 1996.
11. M. Fewster and D. Graham. Software Test Automation: Effective use of test execution tools. Addison-Wesley, 1999.
12. D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch or why it's hard to build systems out of existing parts. In Proceedings: 17th International Conference on Software Engineering, pages 179-185. IEEE Computer Society Press / ACM Press, 1995.
13. M. G. Hinchey and J. P. Bowen. To formalize or not to formalize? IEEE Computer, 29(4):18-19, Apr 1996.
14. In H. Saiedian, editor, An Invitation to Formal Methods, pages 16-30.
15. ICSE. Ensuring Successful COTS Development. ICSE COTS Workshop Summary: http://wwwsel.iit.nrc.ca/projects/cots/icsewkshp/mainsummary.html, 1999.
16. D. Megginson. SAX 2.0: The Simple API for XML. http://www.megginson.com/SAX/, 2000.
17. U. S. Navy. Virginia Class Submarine Program, http://www.chinfo.navy.mil/navpalib/ships/ submarines/centennial/subinno%.html, 2000.
18. J. A. Profdeta, N. P. Andrianos, B. Yu, B. W. Johnson, T. A. DeLong, D. Guaspari, and D. Jamsek. Safety-critical system built with COTS. IEEE Computer, 29(11):54-60, Nov 1996.
19. S. Rapps and E. J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 11(4):367-375, Apr 1985.
20. J. Siegel. CORBA: Fundamentals and Programming. John Wiley, 1996.
21. Software Component Laboratory. Component Test Bench Documents. http://clips.ee.uwa.edu.au/Research/SCL/Docs.html, 2000.
22. Software Component Laboratory. VeriLib: A Source of Reliable Components, http://www.verilib.sea.net.au, 2000.
23. A. Thomas. Enterprise JavaBeans: Server Component Model for Java, White paper. http://www.javasoft. com/products/ejb/, Dec 1997.
24. M. R. Vigder, W. M. Gentleman, and J. Dean. COTS Software Integration: State of the Art. NRC-CNRC Technical Reports, Software Engineering Group, Jan 1996.
25. E. J. Weyuker. Testing component-based software: A cautionary tale. IEEE Software, 15(5):54-59, Sep 1998.
26. J. C. Wileden. Programming languages and software engineering: Past, present and future. ACM Computing Surveys, 28(4es):202, Dec 1996.