Abstract
The dependability analysis of a component-based system may be driven by the components/system implementation or by the model-based specification provided prior to or together with the implementation. In particular, model-based specifications of a component-based system allows to explicitly model the structure and behavior of components and their integration, while model-based testing allows to derive test sequences which can be successively refined into test cases and then run onto the system implementation.
Several techniques have been proposed so far to allow model-based testing. However, very few of them show certain characteristics which are peculiar for use in industrial contexts. We here describe TeStor, a TEst Sequence generaTOR algorithm which allows to extract test sequences from both state machine and scenario diagrams. We detail the algorithm, we apply it to a system study and we provide a link to its implementation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
AGEDIS Project, http://www.agedis.de/index.shtml
Model-based Testing Home Page, http://www.geocities.com/model_based_testing/ Maintained by Harry Robinson
UMLAUT Project, http://www.irisa.fr/UMLAUT/
CHARMY Project. Charmy Web Site (2004), http://www.di.univaq.it/charmy
Antoniol, G., Briand, L.C., Di Penta, M., Labiche, Y.: A Case Study Using the Round-Trip Strategy for State-Based Class Testing. In: Proc. IEEE ISSRE 2002 (2002)
Basanieri, F., Bertolino, A., Marchetti, E.: The Cow Suite Approach to Planning and Deriving Test Suites in UML Project. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 383–397. Springer, Heidelberg (2002)
Bertolino, A., Marchetti, E., Muccini, H.: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. In: Testing and Analysis of Component-Based Systems Workshop, Tacos (2004); To be published in Electronic Notes of Theoretical Computer Science (2004)
Briand, L.C., Labiche, Y.: A UML-Based Approach to System Testing. Journal of Software and System Modelling (SoSyM) 1(1), 10–42 (2002)
Bucchiarone, A., Muccini, H., Pelliccione, P., Pierini, P.: Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol. 3236, pp. 351–365. Springer, Heidelberg (2004)
Crnkovic, I., Larsson, M. (eds.): Building Reliable Component-based Software Systems, July 2002. Artech House, Norwood (2002)
Fraikin, F., Leonhardt, T.: Seditec - testing based on sequence diagrams. In: Proc. IEEE CASE 2002, Edingburgh (September 2002)
Graubmann, P., Rudolph, E.: HyperMSCs and Sequence Diagrams for use case modeling and testing. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 32–46. Springer, Heidelberg (2000)
Harel, D., Marelly, R.: Specifying and Executing Behavioural Requirements: The Play In/Play-Out Approach. Journal of Software and System Modelling, SoSyM (2003)
Hartman, A.: Model Based Test Generation Tools. Technical report, AGEDIS project Downloads (2002)
Hartmann, J., Imoberdof, C., Meisenger, M.: UML-Based Integration Testing. In: ACM Proc. ISSTA 2000, Portland (2000)
Jard, C., Jéron, T.: Tgv: theory, principles and algorithms. In: The Sixth World Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, California, USA (June 2002)
Kim, G., Hong, H.S., Bae, D.H., Cha, S.D.: Test Cases Generation from UML State Diagram. IEEE Proceedings - Software 146(4), 187–192 (1999)
Liuying, L., Zhichang, Q.: Test Selection from UML Statecharts. In: Proc. of 31st Int. Conf. on Technology of Object-Oriented Language and System, China, September 22-25 (1999)
Marchetti, E.: Software Testing in the XXI Century: Methods, Tools and New Approaches to Manage, Control and Evaluate This Critical Phase. PhD thesis, University of Pisa (September 2003)
Muccini, H., Pelliccione, P., Bucchiarone, A., Pierini, P.: Software Architecture-driven System Testing through Model-Checking. Technical Report TRCS 035/2004, University of L’Aquila (2004)
Offutt, J., Abdurazik, A.: Generating Test from UML Specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 416–429. Springer, Heidelberg (1999)
Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating functional tests. Communications of the ACM 31(6), 676–686 (1988)
Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: Deriving Test Sequences from Model-based Specifications. Technical Report TRCS 002/2005, University of L’Aquila (2005)
Ryser, J., Glinz, M.: Using Dependency Charts to ImproveScenario-Based Testing (2000)
Wittevrongel, J., Maurer, F.: Using UML to Partially Automate Generation of Scenario-Based Test Drivers. In: Springer (ed.) OOIS 2001 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F. (2005). TeStor: Deriving Test Sequences from Model-Based Specifications. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds) Component-Based Software Engineering. CBSE 2005. Lecture Notes in Computer Science, vol 3489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424529_18
Download citation
DOI: https://doi.org/10.1007/11424529_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25877-3
Online ISBN: 978-3-540-32049-4
eBook Packages: Computer ScienceComputer Science (R0)