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.
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- Ghosh, S., and Mathur, A. P. Issues in testing distributed component-based systems. In First ICSE Workshop Testing Distributed Component-Based Systems, 1999.]]Google Scholar
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- Hoare, C. A. R. Communicating sequential processes. Communications of the ACM, 1978, 21(8), pp. 666--677.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]]Google Scholar
- Nogueira, S. C. Generating Test Cases from CSP Models. M.Sc. Thesis, Centro de Informática -- UFPE, 2006.]]Google Scholar
- Roscoe, A. W. The Theory and Practice of Concurrency. Prentice-Hall (Pearson), 1997.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google Scholar
Index Terms
- Generating interaction test cases for mobile phone systems from use case specifications
Recommendations
Generation of test requirements from aspectual use cases
WTAOP '07: Proceedings of the 3rd workshop on Testing aspect-oriented programsTo 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 meetingCombinatorial 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