Abstract
We propose in the paper a test property specification language, dedicated to UML/OCL models. This language is intended to express temporal properties on the executions of the system, that one wants to test. It is based on patterns, specifying the behaviours one wants to exhibit/avoid, and scopes, defining the piece of execution trace on which a given pattern applies. Each property is a combination of a scope and a pattern, providing a means for a validation engineer to easily express temporal properties on a system, without using complex formal notations. Properties have the semantics of an event-based transition system whose coverage can be measured so as to evaluate the relevance of a given test suite. These principles aim at being used in the context of a research project, in which the security properties are expressed on an industrial case study of a smart card operating system. This approach makes it possible to assist the Common Criteria evaluation of the testing phase, that requires evidences of the extensiveness of the testing phase of a security product.
Chapter PDF
Similar content being viewed by others
References
Arnedo, J.A., Cavalli, A., Núñez, M.: Fast testing of critical properties through passive testing. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 295–310. Springer, Heidelberg (2003)
Ayache, J.M., Azema, P., Diaz, M.: Observer: a concept for on-line detection of control errors in concurrent systems. In: 9th Sym. on Fault-Tolerant Computing (1979)
Bayse, E., Cavalli, A., Núñez, M., Zaidi, F.: A passive testing approach based on invariants: application to the wap. Computer Networks 48, 247–266 (2005)
Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons, New York (1995)
Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: A-MOST 2007, 3rd Int. Workshop on Advances in Model Based Testing, pp. 95–104. ACM, London (2007)
Cabrera Castillos, K., Dadeau, F., Julliand, J.: Scenario-based testing from UML/OCL behavioral models – application to POSIX compliance. STTT, International Journal on Software Tools for Technology Transfer (2011); Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE 2009) (to appear)
Common Criteria for Information Technology Security Evaluation, version 3.1. Technical Report CCMB-2009-07-001 (July 2009)
Cengarle, M.V., Knapp, A.: Towards OCL/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 390–408. Springer, Heidelberg (2002)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 411–420. IEEE Computer Society Press, Los Alamitos (1999)
Falcone, Y., Fernandez, J.-C., Jéron, T., Marchand, H., Mounier, L.: More testable properties. In: Petrenko, A., Simão, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 30–46. Springer, Heidelberg (2010)
Flake, S., Mueller: Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Software and Systems Modeling (SoSyM) 2, 186 (2003)
Fraser, G., Wotawa, F.: Complementary criteria for testing temporal logic properties. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 58–73. Springer, Heidelberg (2009)
Giorgetti, A., Groslambert, J., Julliand, J., Kouchnarenko, O.: Verification of class liveness properties with Java modeling language. IET Software 2(6), 500–514 (2008)
Li, S., Qi, Z.-C.: Property-oriented testing: An approach to focusing testing efforts on behaviours of interest. In: Beydeda, S., Gruhn, V., Mayer, J., Reussner, R., Schweiggert, F. (eds.) Proceedings of SOQUA 2004, Testing of Component-Based Systems and Software Quality, LNI, vol. 58, pp. 191–206. GI (2004)
Object Management Group. Object Constraint Language (February 2010), http://www.omg.org/spec/OCL/2.2
Ziemann, P., Gogolla, M.: An OCL Extension for Formulating Temporal Constraints. Technical report, Universität Bremen (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 IFIP International Federation for Information Processing
About this paper
Cite this paper
Cabrera Castillos, K., Dadeau, F., Julliand, J., Taha, S. (2011). Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. In: Wolff, B., Zaïdi, F. (eds) Testing Software and Systems. ICTSS 2011. Lecture Notes in Computer Science, vol 7019. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24580-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-24580-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24579-4
Online ISBN: 978-3-642-24580-0
eBook Packages: Computer ScienceComputer Science (R0)