Article

Automatically testing interacting software components

Authors:

Leonard Gallagher,

Jeff OffuttAuthors Info & Claims

AST '06: Proceedings of the 2006 international workshop on Automation of software test

Pages 57 - 63

https://doi.org/10.1145/1138929.1138941

Published: 23 May 2006 Publication History

Get Access

Abstract

One goal of integration testing for object-oriented software is to ensure high object interoperability. Sent messages should have the intended effects on the states and subsequent actions of the receiving objects. This is especially difficult when software is comprised of components developed by different vendors, with different languages, and the implementation sources are not all available. A previous paper presented a model of inter-operating OO classes based on finite state machines. It addresses methods for identifying the relevant actions of a test component to be integrated into the system, transforms the finite state specification into a control and data flow graph, labels the graph with all defs and uses of class variables, and presents an algorithm to generate test specifications as specific paths through the directed graph. It also presents empirical results from an automatic tool that was built to support this test method. This paper presents additional details about the tool itself, including how several difficult problems were solved, and adds new capabilities to help automate the transformation of test specifications into executable test cases. The result is a fresh approach to automated testing. It follows accepted theoretical procedures while operating directly on an object-oriented software specification. This yields a data flow graph and executable test cases that adequately cover the graph according to classical graph coverage criteria. The tool supports specification-based testing and helps to bridge the gap between theory and practice.

References

[1]

B. Binder. Testing Object-oriented Systems. Addison-Wesley Publishing Company Inc., New York, New York, 2000.

Digital Library

Google Scholar

[2]

G. Booch. Object-Oriented Design With Applications. Benjamin-Cummings Publishing Co. Inc., Reading, MA, 1991.

Digital Library

Google Scholar

[3]

M.-H. Chen and M.-H. Kao. Testing object-oriented programs - an integrated approach. In Proceedings of the 10th International Symposium on Software Reliability Engineering, pages 73--83, Boca Raton, FL, November 1999. IEEE Computer Society Press.

Digital Library

Google Scholar

[4]

T. Chow. Testing software designs modeled by finite-state machines. IEEE Transactions on Software Engineering, SE-4(3):178--187, May 1978.

Digital Library

Google Scholar

[5]

P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, 14(10):1483--1498, October 1988.

Digital Library

Google Scholar

[6]

L. Gallagher and A. J. Offutt. Integration testing of object-oriented components using finite state machines. The Journal of Software Testing, Verification, and Reliability. In press - published online January 2006.

Digital Library

Google Scholar

[7]

P. Herman. A data flow analysis approach to program testing. Australian Computer Journal, 8(3):92--96, November 1976.

Google Scholar

[8]

H. W. Hong, Y. R. Kwon, and S. D. Cha. Testing of object-oriented programs based on finite state machines. In Proceedings of the Asia-Pacific Software Engineering Conference, pages 234--241, Brisbane, Australia, 1995.

Digital Library

Google Scholar

[9]

J. Laski. On data flow guided program testing. Sigplan Notices, 17(9), September 1982.

Digital Library

Google Scholar

[10]

S. Rapps and E. J. Weyuker. Data flow analysis techniques for test data selection. In Software Engineering 6th International Conference. IEEE Computer Society Press, 1982.

Digital Library

Google Scholar

[11]

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object Oriented Modeling and Design. Prentice Hall, 1991.

Digital Library

Google Scholar

[12]

C. D. Turner and D. J. Robson. The state-based testing of object-oriented programs. In Proceedings of the 1993 IEEE Conference on Software Maintenance (CSM-93), pages 302--310, Montreal, Quebec, Canada, September 1993.

Digital Library

Google Scholar

[13]

H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366--427, December 1997.

Digital Library

Google Scholar

Cited By

View all

Häser FFelderer MBreu RShepperd MHall TMyrtveit I(2014)Software paradigms, assessment types and non-functional requirements in model-based integration testingProceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering10.1145/2601248.2601257(1-10)Online publication date: 13-May-2014
https://dl.acm.org/doi/10.1145/2601248.2601257
Barisas DBareiša EPackevičius Š(2013)Automated Method for Software Integration Testing Based on UML Behavioral ModelsInformation and Software Technologies10.1007/978-3-642-41947-8_23(272-284)Online publication date: 2013
https://doi.org/10.1007/978-3-642-41947-8_23
Bauer TEschbach R(2012)Model-Based Testing of Distributed FunctionsAdvanced Automated Software Testing10.4018/978-1-4666-0089-8.ch008(151-181)Online publication date: 2012
https://doi.org/10.4018/978-1-4666-0089-8.ch008
Show More Cited By

Index Terms

Automatically testing interacting software components
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Testing WSDL_Based Web Service Automatically
WCSE '09: Proceedings of the 2009 WRI World Congress on Software Engineering - Volume 03

Testing to ensure service QoS is a key problem for Web Service adoption. One of the key problems for software testing is designing the finite test suit tailored to test case generation efficiently. This paper focuses on Abstract Test Suite and ...
Software Testing: High-impact Strategies - What You Need to Know Definitions, Adoptions, Impact, Benefits, Maturity, Vendors
Self-Metamorphic-Testing Components
COMPSAC '06: Proceedings of the 30th Annual International Computer Software and Applications Conference - Volume 02

An approach to improve the testability of a program is to augment that program with mechanisms specific to testing tools, i.e. to enhance the program with self-testability. In particular, this can decrease the amount of information which a human tester ...

Comments

Information & Contributors

Information

Published In

AST '06: Proceedings of the 2006 international workshop on Automation of software test

May 2006

128 pages

ISBN:1595934081

DOI:10.1145/1138929

Conference Chair:
Hong Zhu
Oxford Brookes University, UK
,
Program Chairs:
Joseph R. Horgan
Telcordia Technologies, USA
,
S. C. Cheung
The Hong Kong University of Science and Technology, Hong Kong
,
J. Jenny Li
Avaya Labs, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 23, 2006

Shanghai, China

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
725
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)2

Reflects downloads up to 27 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Häser FFelderer MBreu RShepperd MHall TMyrtveit I(2014)Software paradigms, assessment types and non-functional requirements in model-based integration testingProceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering10.1145/2601248.2601257(1-10)Online publication date: 13-May-2014
https://dl.acm.org/doi/10.1145/2601248.2601257
Barisas DBareiša EPackevičius Š(2013)Automated Method for Software Integration Testing Based on UML Behavioral ModelsInformation and Software Technologies10.1007/978-3-642-41947-8_23(272-284)Online publication date: 2013
https://doi.org/10.1007/978-3-642-41947-8_23
Bauer TEschbach R(2012)Model-Based Testing of Distributed FunctionsAdvanced Automated Software Testing10.4018/978-1-4666-0089-8.ch008(151-181)Online publication date: 2012
https://doi.org/10.4018/978-1-4666-0089-8.ch008
Potuzak TLipka RBrada PHerout P(2012)Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation FrameworkProceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications10.1109/SEAA.2012.18(175-182)Online publication date: 5-Sep-2012
https://dl.acm.org/doi/10.1109/SEAA.2012.18
Qu BChen ZLu Y(2010)An approach of test sequence generation for component-based software2010 2nd International Conference on Future Computer and Communication10.1109/ICFCC.2010.5497444(V2-370-V2-373)Online publication date: May-2010
https://doi.org/10.1109/ICFCC.2010.5497444
Al Dallal J(2008)Integrated object-oriented framework-based testing environmentProceedings of the 8th conference on Applied computer scince10.5555/1504034.1504056(111-116)Online publication date: 21-Nov-2008
https://dl.acm.org/doi/10.5555/1504034.1504056
Kawakami LKnabben ARechia DBastos DPereira OSilva Rdos Santos L(2007)An object-oriented framework for improving software reuse on automated testing of mobile phonesProceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems10.5555/2391293.2391307(199-211)Online publication date: 26-Jun-2007
https://dl.acm.org/doi/10.5555/2391293.2391307
Liang DXu K(2007)Test-Driven Component Integration with UML 2.0 Testing and Monitoring ProfileSeventh International Conference on Quality Software (QSIC 2007)10.1109/QSIC.2007.4385478(32-39)Online publication date: Oct-2007
https://doi.org/10.1109/QSIC.2007.4385478
Kong LZhu HZhou B(2007)Automated Testing EJB Components Based on Algebraic SpecificationsProceedings of the 31st Annual International Computer Software and Applications Conference - Volume 0210.1109/COMPSAC.2007.82(717-722)Online publication date: 24-Jul-2007
https://dl.acm.org/doi/10.1109/COMPSAC.2007.82
Kawakami LKnabben ARechia DBastos DPereira OPereira e Silva Rdos Santos L(2007)An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile PhonesTesting of Software and Communicating Systems10.1007/978-3-540-73066-8_14(199-211)Online publication date: 2007
https://doi.org/10.1007/978-3-540-73066-8_14

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Testing WSDL_Based Web Service Automatically

Software Testing: High-impact Strategies - What You Need to Know Definitions, Adoptions, Impact, Benefits, Maturity, Vendors

Self-Metamorphic-Testing Components