Abstract
Model-based testing is a software testing technique that derives a suite of test cases from a model which represents the behavior of a software system. By executing a set of model-based test cases, the conformance of the implementation of the target system to its specification can be validated. However, as there may be large, sometimes infinite, number of operational scenarios that could be generated from a given model, an important issue of model-based testing is to determine a minimal set of test cases which provides sufficient test coverage. By using the Formal Concept Analysis (FCA) mechanism, we could analyze the coverage of the test cases and eliminate those redundant ones. This systematic approach can help reduce the test suite whilst still maintain the sufficiency of test coverage.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Arévalo, G., Ducasse, S., Nierstrasz, O.: Lessons learned in applying formal concept analysis to reverse engineering. In: Ganter, B., Godin, R. (eds.) ICFCA 2005. LNCS (LNAI), vol. 3403, pp. 95–112. Springer, Heidelberg (2005)
Bertolino, A., Inverardi, P., Muccini, H.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) Formal Methods for Software Architectures, pp. 122–147. Springer, Heidelberg (2003)
Binder, R.V.: Testing Object-Oriented Systems-Models, Patterns, and Tools. Addison-Wesley, Reading (1999)
Briand, L.C., Labiche, Y., Cui, J.: Automated Support for Deriving Test Requirements from UML Statecharts. Software and Systems Modeling 4(4), 399–423 (2005)
Broekman, B., Notenboom, E.: Testing Embedded Software. Addison-Wesley, Reading (2003)
Chen, T.Y., Lau, M.F.: A New Heuristic for Test Suite Reduction. Information and Software Technology 40, 347–354 (1998)
Chevalley, P., Thevenod-Fosse, P.: Automated Generation of Statistical Test Cases from UML State Diagrams. In: 25th Annual International Computer Software and Applications Conference, COMPSAC 2001, October 8-12, pp. 205–214 (2001)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, Second edn. MIT Press, Cambridge (2001)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
Godin, R., Mili, H.: Building and Maintaining Analysis-Level Class Hierarchies Using Galois Lattices. In: OOPSLA 1993 Conference on Object-oriented Programming Systems, Languages and Applications, pp. 394–410 (1993)
Harrold, M.J.: Testing: a Roadmap. In: ICSE - The Future of Software Engineering Track, Limerick, Ireland, June 4-11, pp. 61–72 (2000)
Harrold, M.J., Gupta, R., Soffa, M.L.: A Methodology for Controlling the Size of a Test Suite. ACM Transactions on Software Engineering and Methodology 2(3), 270–285 (1993)
Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-based Integration Testing. In: ACM Symposium on Software Testing and Analysis, pp. 60–70 (2000)
Kim, Y.G., Hong, H.S., Cho, S.M., Bae, D.H., Cha, S.D.: Test Cases Generation from UML State Diagrams. IEEE Software 146(4), 187–192 (1999)
Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of State-based Models. In: International Conference on Software Maintenance, ICSM 2003, pp. 34–43 (2003)
Lindig, C.: Fast Concept Analysis. In: Stumme, G. (ed.) Working with Conceptual Structures - Contributions to ICCS 2000. Shaker Verlag, Aachen (2000)
Murthy, P.V.R., Anitha, P.C., Mahesh, M., Subramanyan, R.: Test Ready UML Statechart Models. In: 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools SCESM 2006, pp. 75–82 (2006)
Nobe, C.R., Warner, W.E.: Lessons Learned from a Trial Application of Requirements Modeling using Statecharts. In: Second International Conference on Requirements Engineering, April 15-18, pp. 86–93 (1996)
Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating Test Data from State-based Specifications. Software Testing, Verification and Reliability 13(1), 25–53 (2003)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Boston (2005)
Sampath, S., Mihaylov, V., Souter, A., Pollock, L.: A Scalable Approach to User-Session Based Testing of Web Applications through Concept Analysis. In: Automated Software Engineering, 19th International Conference on (ASE 2004), Linz, Austria (2004)
Snelting, G.: Reengineering of Configurations Based on Mathematical Concept Analysis. ACM Transactions on Software Engineering and Methodology 5(2), 146–189 (1996)
Tallam, S., Gupta, N.: A Concept Analysis Inspired Greedy Algorithm for Test Suite Minimization. In: 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE 2005, vol. 31(1), pp. 35–42 (2005)
Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ng, P., Fung, R.Y.K. (2009). Application of Formal Concept Analysis in Model-Based Testing. In: Kim, Th., Fang, WC., Lee, C., Arnett, K.P. (eds) Advances in Software Engineering. ASEA 2008. Communications in Computer and Information Science, vol 30. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10242-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-10242-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10241-7
Online ISBN: 978-3-642-10242-4
eBook Packages: Computer ScienceComputer Science (R0)