Article

Generation of test requirements from aspectual use cases

Authors:

Xudong HeAuthors Info & Claims

WTAOP '07: Proceedings of the 3rd workshop on Testing aspect-oriented programs

Pages 17 - 22

https://doi.org/10.1145/1229384.1229388

Published: 12 March 2007 Publication History

Abstract

To effectively uncover aspect defects, system (or subsystem) testing is of importance because aspects crosscut multiple system components. This paper presents an approach for generating system test requirements from aspect-oriented use cases. Central to this approach is the formalization of a testable system model from aspect-oriented use cases. We explicitly capture various constraints among base and aspectual use cases. Specifically, we transform aspect-oriented use case diagrams and descriptions into aspect-oriented Petri nets. This makes it possible to generate meaningful use case sequences with respect to various coverage criteria (such as use case coverage, transition coverage and state coverage). When scenario tests for individual use cases are available, they can be composed into system tests according to the generated use case sequences.

References

[1]

Alexander, R. T., Bieman, J. M., and Andrews, A. A. Towards the systematic testing of aspect-oriented programs, Technical Report, Colorado State University, 2004.]]

[2]

Anbalagan, P. and Xie, T. APTE: Automated pointcut testing for AspectJ programs. Proc. of the Second Workshop on Testing of Aspect-Oriented Programs (WTAOP'06), in conjunction with ISSTA'06, pp. 26--32, Maine, 2006.]]

Digital Library

[3]

Binder, R. V. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 2000.]]

Digital Library

[4]

Briand, L. and Labiche, Y. A UML-based approach to system testing, J. Software and Systems Modeling, pp. 10--42, 2002, 2002.]]

[5]

Frohlich, P. and Link, J. Automated test case generation from dynamic models, Proc. 14th European Conf. Object-Oriented Programming (ECOOP'00), 2000.]]

Digital Library

[6]

Genrich, H. J. Predicate/transition nets. Petri Nets: Central Models and Their Properties, W. Brauer, W. Resig, and G. Rozenberg (eds.), LNCS 254, 1987, 207--247.]]

Digital Library

[7]

Hartmann, J., Imoberdorf, C., and Meisinger, M. UML-based integration testing, Proc. of the 2000 ACM SIGSOFT International Symposium on Software testing and analysis (ISSTA'00), pp.60--70, 2000.]]

Digital Library

[8]

He, X. Formalizing and analyzing UML use case diagrams using hierarchical predicate transition nets. Software Evolution with UML and XML (ed. Hongji Yang), The Idea Group Publishing, pp. 151--179, 2005.]]

[9]

Jacobson, I. and Ng, P. W. Aspect-Oriented Software Development with Use Cases. Addison-Wesley, 2005.]]

Digital Library

[10]

Jacobson, I., Christerson, M., Jonsson, P., and Overgaard, G. O. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.]]

[11]

Lemos, O. A. L, Ferrari, F. C., Masiero, P. C., and Lopes, C. V. Testing aspect-oriented programming pointcut descriptors. Proc. of the Second Workshop on Testing of Aspect-Oriented Programs (WTAOP'06), in conjunction with ISSTA'06, pp. 33--38, Portland, Maine, July 2006.]]

Digital Library

[12]

Murata, T. Petri nets: Properties, analysis and applications, Proc. of the IEEE, 77, 4, 1989, 541--580, 1989.]]

[13]

Nebut, C., Fleurey, F. Le Traon, Y., and Jezequel, J. M. Automatic test generation: a use case driven approach, IEEE Transactions on Software Engineering, Volume: 32, Issue: 3, pp. 140-- 155, 2006.]]

Digital Library

[14]

Offutt, J. and Abdurazik, A. Generating tests from UML specifications. Proc. of the Second International Conference on the Unified Modeling Language (UML99), pp. 416--429, 1999.]]

[15]

Offutt, J., Liu, S., Abdurazik, A., and Ammann, P. Generating test data from state-based specifications. Journal of Software Testing, Verification and Reliability, Vol. 13, No. 1, pp.25--53, 2003.]]

[16]

Rashid, A., Moreira, A., and Araújo, J. Modularization and composition of aspectual requirements. Proc. of the International Conference on Aspect-Oriented Software Development (AOSD'03), Boston, USA.]]

Digital Library

[17]

Whittle, J. and Jayaraman, P. Generating hierarchical state machines from use case charts, Proc. of the 2006 IEEE International Conference on Requirements Engineering (RE'06), 2006.]]

Digital Library

[18]

Xie, T. and Zhao, J. A framework and tool supports for generating test inputs of AspectJ programs. Proc. of the Fifth International Conf. on Aspect-Oriented Software Development (AOSD'06), pp. 190--201, Bonn, Germany, March 2006.]]

Digital Library

[19]

Xu, D. and Nygard, K. Threat-driven modeling and verification of secure software using aspect-oriented Petri nets. IEEE Trans, on Software Engineering. Vol. 32, No. 4, pp. 265--278, April 2006.]]

Digital Library

[20]

Xu, D. and Xu, W. State-based incremental testing of aspect-oriented programs. Proc. of the Fifth International Conf. on Aspect-Oriented Software Development (AOSD'06), pp. 180--189, Bonn, Germany, March 2006.]]

Digital Library

[21]

Xu, D., Goel, V., and Nygard, K. An aspect-oriented approach to security requirements analysis. Proc. of the 30th IEEE International Computer Software and Applications Conference (COMPSAC'06), Chicago, Sept. 2006.]]

Digital Library

[22]

Xu, D., Xu, W., and Nygard, K. A state-based approach to testing aspect-oriented programs. Proc. of the 17th International Conf. on Software Engineering and Knowledge Engineering (SEKE'05), pp. 366--371, Taiwan, 2005.]]

[23]

Xu, W. and Xu, D. A model-based approach to test generation for aspect-oriented programs. The First Workshop on Testing Aspect-Oriented Programs (WTAOP'05), in conjunction with AOSD'05, Chicago, March 2005.]]

[24]

Xu, W. and Xu. D. State-based testing of integration aspects. Proc. of the Second Workshop on Testing of Aspect-Oriented Programs (WTAOP'06), in conjunction with ISSTA'06, pp. 7--14, Portland, Maine, July 2006.]]

Digital Library

[25]

Zhao, J. and Rinard, M. System dependence graph construction for aspect-oriented programs, MIT-LCS-TR-891, Laboratory for Computer Science, MIT, 2003.]]

[26]

Zhao, J. Data-flow-based unit testing of aspect-oriented programs, Proc. of the 27th Annual IEEE International Computer Software and Applications Conference (COMPSAC'2003), pp.188--197, 2003.]]

Digital Library

[27]

Zhao, J., Xie, T., & Li, N. Towards regression test selection for AspectJ programs. Proc. of the Second Workshop on Testing of Aspect-Oriented Programs (WTAOP'06), in conjunction with ISSTA'06, pp. 21--26, Portland, Maine, July 2006.]]

Digital Library

[28]

Zhou, Y., Richardson, D., and Ziv, H. Towards a practical approach to test aspect-oriented software. In Proc. of the 2004 Workshop on Testing Component-based Systems (TECOS 2004).]]

Cited By

Tianual PPohthong A(2019)Defects Detection Technique of Use Case Views during Requirements EngineeringProceedings of the 2019 8th International Conference on Software and Computer Applications10.1145/3316615.3316631(277-281)Online publication date: 19-Feb-2019
https://dl.acm.org/doi/10.1145/3316615.3316631
Mahalakshmi GVani V(2017)Theoretical Verification of Test Cases for Behavior Driven Development2017 Second International Conference on Recent Trends and Challenges in Computational Models (ICRTCCM)10.1109/ICRTCCM.2017.83(309-314)Online publication date: Feb-2017
https://doi.org/10.1109/ICRTCCM.2017.83
Salvaneschi P(2007)Improving functional testing through aspectsProceedings of the 10th international conference on Early aspects: current challenges and future directions10.5555/1783274.1783278(39-54)Online publication date: 13-Mar-2007
https://dl.acm.org/doi/10.5555/1783274.1783278
Show More Cited By

Index Terms

Generation of test requirements from aspectual use cases
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

A framework and tool supports for generating test inputs of AspectJ programs
AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development

Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs, we have developed a framework, called Aspectra, that automates ...
A Static Approach to Prioritizing JUnit Test Cases

Test case prioritization is used in regression testing to schedule the execution order of test cases so as to expose faults earlier in testing. Over the past few years, many test case prioritization techniques have been proposed in the literature. Most ...
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction

Software testing is a critical part of software development. As new test cases are generated over time due to software modifications, test suite sizes may grow significantly. Because of time and resource constraints for testing, test suite minimization ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

WTAOP '07: Proceedings of the 3rd workshop on Testing aspect-oriented programs

March 2007

31 pages

ISBN:9781595936639

DOI:10.1145/1229384

Conference Chairs:
Dianxiang Xu
North Dakota State University
,
Roger T. Alexander
Washington State University

Copyright © 2007 ACM.

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]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AOSD07

AOSD07: 6th International Conference on Aspect-Oriented Software Development

March 12 - 13, 2007

British Columbia, Vancouver, Canada

Acceptance Rates

WTAOP '07 Paper Acceptance Rate 5 of 6 submissions, 83%;

Overall Acceptance Rate 5 of 6 submissions, 83%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
926
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)5

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tianual PPohthong A(2019)Defects Detection Technique of Use Case Views during Requirements EngineeringProceedings of the 2019 8th International Conference on Software and Computer Applications10.1145/3316615.3316631(277-281)Online publication date: 19-Feb-2019
https://dl.acm.org/doi/10.1145/3316615.3316631
Mahalakshmi GVani V(2017)Theoretical Verification of Test Cases for Behavior Driven Development2017 Second International Conference on Recent Trends and Challenges in Computational Models (ICRTCCM)10.1109/ICRTCCM.2017.83(309-314)Online publication date: Feb-2017
https://doi.org/10.1109/ICRTCCM.2017.83
Salvaneschi P(2007)Improving functional testing through aspectsProceedings of the 10th international conference on Early aspects: current challenges and future directions10.5555/1783274.1783278(39-54)Online publication date: 13-Mar-2007
https://dl.acm.org/doi/10.5555/1783274.1783278
Salvaneschi P(2007)Improving Functional Testing Through Aspects: A Case StudyEarly Aspects: Current Challenges and Future Directions10.1007/978-3-540-76811-1_3(39-54)Online publication date: 2007
https://doi.org/10.1007/978-3-540-76811-1_3

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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents