Abstract
Combinatorial test design (CTD) is an effective test planning technique that reveals faulty feature interaction in a given system. CTD takes a systematic approach to formally model the system to be tested, and propose test cases ensuring coverage of given conditions or interactions between parameters. In this position paper we propose a framework for supporting agile CTD, a human-centered methodology, which takes into account the human tester’s possible mistakes and supports revision and refinement. In this approach a combinatorial model of the system and test plans are constructed in an incremental and iterative way, providing the tester with the ability to refine and validate the constructions. We propose a formal framework which can be used as a theoretical foundation for the development of agile CTD support tools, and describe a use case of an envisioned tool.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Dhillon, B.S.: Engineering product usability: a review and analysis techniques. WSEAS Trans. Circuits Syst. 2, 86–94 (2005)
http://researcher.watson.ibm.com/researcher/view_group.php?id=1871
Kuhn, D.R., Wallace, D.R., Gallo, Jr., A.M.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng. 30(6), 418–421 (2004)
Malz, C., Sommer, K., Göhner, P., Vogel-Heuser, B.: Consideration of human factors for prioritizing test cases for the software system test. In: Harris, D. (ed.) HCII 2011. LNCS, vol. 6781, pp. 303–312. Springer, Heidelberg (2011)
Mioch, T., Osterloh, J.-P., Javaux, D.: Selecting human error types for cognitive modelling and simulation. In: Cacciabue, P.C., Hjälmdahl, M., Luedtke, A., Riccioli, C. (eds.) Human Modelling in Assisted Transportation, pp. 129–138. Springer, Heidelberg (2011)
Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. (CSUR) 43(2), 11 (2011)
Pirzadeh, L.: Human factors in software development: a systematic literature review. M.Sc thesis, Chalmers University of Technology (2010)
Segall, I., Tzoref-Brill, R., Zlotnick, A.: Common patterns in combinatorial models. In: Proceedings of the IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 624–629. IEEE (2012)
Tai, K.C., Lie, Y.: A test generation strategy for pairwise testing. IEEE Trans. Software Eng. 28(1), 109–111 (2002)
Zhang, J., Zhang, Z., Ma, F.: Introduction to combinatorial testing. In: Zhang, J., Zhang, Z., Ma, F. (eds.) Automatic Generation of Combinatorial Test Data, pp. 1–16. Springer, Heidelberg (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zamansky, A., Farchi, E. (2015). Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds) Software Engineering and Formal Methods. SEFM 2015. Lecture Notes in Computer Science(), vol 9509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49224-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-49224-6_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-49223-9
Online ISBN: 978-3-662-49224-6
eBook Packages: Computer ScienceComputer Science (R0)