Abstract
Model-based testing is a system testing technique that derives a suite of test cases from a model representing the behavior of a software system. By executing a set of model-based test cases, the conformance 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. With 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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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.) SFM 2003. LNCS, vol. 2804, pp. 122–147. Springer, Heidelberg (2003)
Binder, R.V.: Testing Object-Oriented Systems-Models, Patterns, and Tools, Object Technology. 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, 2nd edn. MIT Press, Cambridge (2001)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
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: Proceedings of 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: Proceedings of International Conference on Software Maintenance, ICSM 2003, September 22-26, 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: Proceedings of the 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: Proceedings of the 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, S.V., Souter, A., Pollock, L.: A Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis. In: Proceedings of 19th International Conference on Automated Software Engineering (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: Proceedings of 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
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hwang, H.J., Tak, J.I. (2011). Test Case Generation for Formal Concept Analysis. In: Kim, Th., Adeli, H., Robles, R.J., Balitanas, M. (eds) Ubiquitous Computing and Multimedia Applications. UCMA 2011. Communications in Computer and Information Science, vol 151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20998-7_54
Download citation
DOI: https://doi.org/10.1007/978-3-642-20998-7_54
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20997-0
Online ISBN: 978-3-642-20998-7
eBook Packages: Computer ScienceComputer Science (R0)