Journal of Information Processing Systems

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Incremental Model-based Test Suite Reduction with Formal Concept Analysis

  • Ng, Pin (Hong Kong Community College, Hong Kong Polytechnic University) ;
  • Fung, Richard Y.K. (Dept. of Manufacturing Engineering and Engineering Management, City University of Hong Kong) ;
  • Kong, Ray W.M. (Automatic Manufacturing Limited)
  • Received : 2010.03.15
  • Accepted : 2010.04.20
  • Published : 2010.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

Keywords

References

  1. R. V. Binder, Testing Object-Oriented Systems-Models, Patterns, and Tools, Object Technology. Addison-Wesley, 2000.
  2. B. Broekman and E. Notenboom, Testing Embedded Software, Addison-Wesley, 2003.
  3. C. Carpineto and G. Romano, Concept Data Analysis: Theory and Applications, Wiley, 2004.
  4. T.Y. Chen and M.F. Lau, “A New Heuristic for Test Suite Reduction,” Information and Software Technology, 40, 1998, pp.347-354. https://doi.org/10.1016/S0950-5849(98)00050-0
  5. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein, Introduction to Algorithms, MIT Press, Second Edition, 2001.
  6. B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, Springer-Verlag, 1999.
  7. R. Godin, R. Missaoui, and H. Alaoui, “Incremental Concept Formation Algorithms Based on Galois (Concept) Lattices,” Computational Intelligence, 11(2), 1995, pp.246-267. https://doi.org/10.1111/j.1467-8640.1995.tb00031.x
  8. P.V.R. Murthy, P.C. Anitha, M. Mahesh, and R. Subramanyan, “ Test ready UML statechart models,” Proceedings of the 2006 international workshop on scenarios and state machines: models, algorithms, and tools, SCESM '06, May, 2006, pp.75-81. https://doi.org/10.1145/1138953.1138968
  9. P. Ng and R.Y.K. Fung, “Applying Formal Concept Analysis in Requirements Validation with UML State Machine Model,” International Journal of Computer & Information Science, Vol. 8, No. 4, December 2007, pp.550-559.
  10. P. Ng and R.Y.K. Fung, “Model-Based Test Suite Reduction with Concept Lattice,” Proceedings of Advanced Software Engineering and Its Applications, ASEA 2008, Dec., 2008, pp.3-8.
  11. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, “Generating Test Data from State-based Specifications,” Software Testing, Verification and Reliability, Vol.13, Iss. 1, 2003, pp.25-53. https://doi.org/10.1002/stvr.264
  12. G. Rothermel, R. Untch, C. Chu, and M.J. Harrold, “ Prioritizing Test Cases for Regression Testing,” IEEE Transactions of Software Engineering, Vol. 27, No. 10, Oct., 2001, pp.929-948. https://doi.org/10.1109/32.962562
  13. S. Sampath, V. Mihaylov, A. Souter, and L. Pollock, “A Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis,” Proceedings of 19th International Conference on Automated Software Engineering, ASE '04, Linz, Austria, 2004, pp.132-141. https://doi.org/10.1109/ASE.2004.6
  14. S. Tallam and N. Gupta, “A concept analysis inspired greedy algorithm for test suite minimization,” The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, PASTE '05, 2005, pp.35-42. https://doi.org/10.1145/1108768.1108802
  15. T. Tilley, R. Cole, P. Becker, and P. Eklund, “A Survey of Formal Concept Analysis Support for Software Engineering Activities,” Formal Concept Analysis, LNAI 3626, B. Ganter et al. (Eds.), Springer-Verlag Berlin Heidelberg, 2005, pp.250-271. https://doi.org/10.1007/11528784_13
  16. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann, 2007.

Cited by

  1. FCA-based $$\theta$$ θ -iceberg core decomposition in graphs pp.1868-5145, 2017, https://doi.org/10.1007/s12652-017-0649-3
  2. A Systematic Review on Test Suite Reduction: Approaches, Experiment’s Quality Evaluation, and Guidelines vol.6, pp.2169-3536, 2018, https://doi.org/10.1109/ACCESS.2018.2809600