article

Generating interaction test cases for mobile phone systems from use case specifications

Authors:

André L. L. de Figueiredo,

Wilkerson L. Andrade,

Patrícia D. L. MachadoAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 31, Issue 6

Pages 1 - 10

https://doi.org/10.1145/1218776.1218788

Published: 01 November 2006 Publication History

Abstract

The mobile phone market has become even more competitive, demanding high quality standards. In this context, applications are built as sets of functionalities, called features. Such features are combined in use scenarios of the application. Due to the fact that the features are usually developed in isolation, the tests of their interactions in such scenarios are compromised. In this paper, we present a proposal of specifying feature interaction requirements with use cases; generating a behavioral model from such specification; and a strategy for generating test cases from the behavioral model that aims to extract feature interaction scenarios in such a way that interactions can be tested.

References

[1]

Bertolino, A., and Gnesi, S. Use case-based testing of product lines. In Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, ACM Press, Helsinki -- Finland, 2003, pp. 355--358.]]

Digital Library

[2]

Bousquet, L., Ouabdesselam, F., Richier, J. L., and Zuanon, N. Feature interaction detection using asynchronous approach and testing. Computer Networks, 2000, 32(4), pp. 419--431.]]

Digital Library

[3]

Cabral, G., and Sampaio, A. Formal Specification Generation from Requirement Documents. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), 2006, pp. 217--232.]]

[4]

Calder, M., Kolberg, M., Magill, E. H., and Reiff-Marganiec, S. Feature interaction: a critical review and considered forecast. Computer Networks, Amsterdam -- Holand, 1999, 41(1), pp. 115--141.]]

Digital Library

[5]

Ghosh, S., and Mathur, A. P. Issues in testing distributed component-based systems. In First ICSE Workshop Testing Distributed Component-Based Systems, 1999.]]

[6]

Godkesen, J. C. A formal framework for feature interaction with emphasis on testing. K. E. Cheng, and T. Ohta, editors. In 3rd International Workshop on Feature Interactions in Telecommunication Networks and Software Systems, IOS Press, Amsterdam - Holand, 1995, pp. 21--30.]]

[7]

Hartmann, J., Imoberdorf, C., and Meisinger, M. UML-Based integration testing. In Proceedings of the ACM SIGSOFT international symposium on Software testing and analysis, ACM Press, Portland - United States, 2000, pp. 60--70.]]

Digital Library

[8]

Hoare, C. A. R. Communicating sequential processes. Communications of the ACM, 1978, 21(8), pp. 666--677.]]

Digital Library

[9]

Jard, C. Principles of distributed test synthesis based on true-concurrency models. I. Schieferdecker, H. König, and A. Wolisz, editors. IFIP Conference Proceedings, 2002, 210, pp. 301--316.]]

Digital Library

[10]

Keck, D. O., and Kuehn, P. J. The feature and service interaction problem in telecommunications systems: A survey. IEEE Transactions on Software Engineering, 1998, pp. 779--796.]]

Digital Library

[11]

Leitão, D., Torres, D., and Barros, F. Motorola SpecNL: a Hybrid System to Generate NL Descriptions from Test Case Specifications. To appear in 6th International Conference on Hybrid Intelligent Systems (HIS'06), 2006.]]

Digital Library

[12]

Lorentsen, L., Tuovinen, A.-P., and Xu, J. Modelling Feature Interactions in Mobile Phones. In Feature Interaction in Composed Systems (ECOOP 2001), Hungary, 2001, pp. 7--13.]]

[13]

Nogueira, S. C. Generating Test Cases from CSP Models. M.Sc. Thesis, Centro de Informática -- UFPE, 2006.]]

[14]

Roscoe, A. W. The Theory and Practice of Concurrency. Prentice-Hall (Pearson), 1997.]]

Digital Library

[15]

Ryser, J., and Glinz, M. A Practical Approach to Validating and Testing Software Systems Using Scenarios. In 3rd International Software Quality Week Europe (QWE 99), Brussels, Nov. 1999.]]

[16]

Tretmans, J. Testing Concurrent Systems: A Formal Approach. J. Baeten, and S. Mauw, editors. In 10th International Conference on Concurrency Theory (CONCUR '99), Lecture Notes in Computer Science, Springer-Verlag, 1998, 1664, pp. 46--65.]]

Cited By

Wang CPastore FGoknil ABriand L(2022)Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based ApproachIEEE Transactions on Software Engineering10.1109/TSE.2020.299850348:2(585-616)Online publication date: 1-Feb-2022
https://doi.org/10.1109/TSE.2020.2998503
Mai PPastore FGoknil ABriand L(2018)A Natural Language Programming Approach for Requirements-Based Security Testing2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE.2018.00017(58-69)Online publication date: Oct-2018
https://doi.org/10.1109/ISSRE.2018.00017
Wang CPastore FBriand L(2018)Automated Generation of Constraints from Use Case Specifications to Support System Testing2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2018.00013(23-33)Online publication date: Apr-2018
https://doi.org/10.1109/ICST.2018.00013
Show More Cited By

Index Terms

Generating interaction test cases for mobile phone systems from use case specifications
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering
  1. Software creation and management

Recommendations

Generation of test requirements from aspectual use cases
WTAOP '07: Proceedings of the 3rd workshop on Testing aspect-oriented programs

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 ...
Generating combinatorial test suite for interaction relationship
SOQUA '07: Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting

Combinatorial testing could detect the faults triggered by the interactions among factors in software. But in many cases, the pair-wise, N-way and even the variable strength combinatorial testing may lead test suite redundancy and fault detect ability ...
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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 31, Issue 6

November 2006

182 pages

ISSN:0163-5948

DOI:10.1145/1218776

Issue’s Table of Contents

Copyright © 2006 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 2006

Published in SIGSOFT Volume 31, Issue 6

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
836
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wang CPastore FGoknil ABriand L(2022)Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based ApproachIEEE Transactions on Software Engineering10.1109/TSE.2020.299850348:2(585-616)Online publication date: 1-Feb-2022
https://doi.org/10.1109/TSE.2020.2998503
Mai PPastore FGoknil ABriand L(2018)A Natural Language Programming Approach for Requirements-Based Security Testing2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE.2018.00017(58-69)Online publication date: Oct-2018
https://doi.org/10.1109/ISSRE.2018.00017
Wang CPastore FBriand L(2018)Automated Generation of Constraints from Use Case Specifications to Support System Testing2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2018.00013(23-33)Online publication date: Apr-2018
https://doi.org/10.1109/ICST.2018.00013
Wang CPastore FBriand L(2017)System Testing of Timing Requirements Based on Use Cases and Timed Automata2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2017.34(299-309)Online publication date: Mar-2017
https://doi.org/10.1109/ICST.2017.34
(2015)Evaluating the Model-Based Testing Approach in the Context of Mobile ApplicationsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2015.05.002314:C(3-21)Online publication date: 15-Jun-2015
https://dl.acm.org/doi/10.1016/j.entcs.2015.05.002
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
Ottensooser AFekete AReijers HMendling JMenictas C(2012)Making sense of business process descriptionsJournal of Systems and Software10.1016/j.jss.2011.09.02385:3(596-606)Online publication date: 1-Mar-2012
https://dl.acm.org/doi/10.1016/j.jss.2011.09.023
Andrade WMachado P(2011)Testing interruptions in reactive systemsFormal Aspects of Computing10.1007/s00165-011-0197-024:3(331-353)Online publication date: 15-Sep-2011
https://doi.org/10.1007/s00165-011-0197-0
Andrade WMachado PAlves EAlmeida D(2009)Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOSFormal Methods: Foundations and Applications10.1007/978-3-642-10452-7_5(54-69)Online publication date: 5-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-10452-7_5
Andrade WMachado P(2009)Interruption Testing of Reactive SystemsFormal Methods: Foundations and Applications10.1007/978-3-642-10452-7_4(37-53)Online publication date: 5-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-10452-7_4
Show More Cited By

View Options

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 Issue’s Table of Contents