Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs
The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, using constraint solving mechanisms based on techniques such as search, model checki...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2011
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 07374caa a22007697a 4500 | ||
|---|---|---|---|
| 001 | PAPER-10441 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204029.0 | ||
| 008 | 190411s2011 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-79960216136 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Aguirre, N.M. | |
| 245 | 1 | 0 | |a Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs |
| 260 | |c 2011 | ||
| 270 | 1 | 0 | |m Aguirre, N.M.; Departamento de Computacíon, FCEFQyN, Universidad Nacional de Ŕio Cuarto and CONICET, Ŕio Cuarto, Cordoba, Argentina; email: naguirre@dc.exa.unrc.edu.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M., Model-based testing with asmL.NET (2003) Proceedings of the 1st European Conference on Model-Driven Software Engineering | ||
| 504 | |a Boyapati, C., Khurshid, S., Marinov, D., Korat: Automated testing based on java predicates (2002) Proceedings of International Symposium on Software Testing and Analysis ISSTA 2002, , ACM Press New York | ||
| 504 | |a Galeotti, J.P., Rosner, N., Lopez Pombo, C., Frias, M., Analysis of invariants for efficient bounded verification (2010) Proceedings of the 19th International Symposium on Software Testing and Analysis ISSTA 2010, , ACM Press, Trento | ||
| 504 | |a Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D., Test generation through programming in UDITA (2010) Proceedings of the 32nd ACM/ IEEE International Conference on Software Engineering ICSE 2010, , ACM Press Cape Town | ||
| 504 | |a Jackson, D., (2006) Software Abstractions: Logic Language and Analysis, , The MIT Press, Cambridge | ||
| 504 | |a Kaner, C., Bach, J., Pettichord, B., (2001) Lessons Learned in Software Testing, , Wiley Chichester | ||
| 504 | |a Khurshid, S., Marinov, D., TestEra: Specification-based testing of java programs using SAT (2004) Automated Software Engineering, 11 (4) | ||
| 504 | |a Liskov, B., Guttag, J., (2000) Program Development in Java: Abstraction Specification and Object-Oriented Design, , Addison-Wesley, Reading | ||
| 504 | |a Ma, Y.-S., Offutt, J., Kwon, Y.-R., MuJava: An automated class mutation system (2005) Journal of Software Testing, Verification and Reliability, 15 (2) | ||
| 504 | |a Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S., Korat: A tool for generating structurally complex test inputs (2007) Proceedings of International Conference on Software Engineering ICSE 2007, , IEEE Press, Los Alamitos | ||
| 504 | |a MuJava Home Page, , http://www.cs.gmu.edu/offutt/mujava/ | ||
| 504 | |a Sen, K., Marinov, D., Agha, G., CUTE: A concolic unit testing engine for C (2005) Proceedings of the 5th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2005, , ACM Press New York | ||
| 504 | |a Siddiqui, J., Khurshid, S., An empirical study of structural constraint solving techniques (2009) LNCS, 5885, pp. 88-106. , Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009 Springer, Heidelberg | ||
| 504 | |a Siddiqui, J., Khurshid, S., PKorat: Parallel generation of structurally complex test inputs (2009) Proceedings of the 2nd International Conference on Software Testing Verification and Validation ICST 2009, , IEEE Computer Society, Los Alamitos | ||
| 504 | |a Visser, W., Pasareanu, C., Khurshid, S., Test input generation with java pathfinder (2004) Proceedings of International Symposium on Software Testing and Analysis ISSTA 2004, , ACM Press New York | ||
| 504 | |a Xie, T., Marinov, D., Notkin, D., Rostra: A framework for detecting redundant object-oriented unit tests (2004) Proceedings of the 19th IEEE International Conference on Automated Software Engineering ASE 2004, , IEEE Computer Society, Linz | ||
| 504 | |a Zhu, H., Hall, P., May, J., Software unit test coverage and adequacy (1997) ACM Computing Surveys, 29 (4) | ||
| 520 | 3 | |a The automated generation of test cases for heap allocated, complex, structures is particularly difficult. Various state of the art tools tackle this problem by bounded exhaustive exploration of potential test cases, using constraint solving mechanisms based on techniques such as search, model checking, symbolic execution and combinations of these. In this article we present a technique for improving the bounded exhaustive constraint based test case generation of structurally complex inputs, for "filtering" approaches. The technique works by guiding the search considering a given black box test criterion. Such a test criterion is incorporated in the constraint based mechanism so that the exploration of potential test cases can be pruned without missing coverable classes of inputs, corresponding to the test criterion. We present the technique, together with some case studies illustrating its performance for some black box testing criteria. The experimental results associated with these case studies are shown in the context of Korat, a state of the art tool for constraint based test case generation, but the approach is applicable in other contexts using a filtering approach to test generation. © 2011 Springer-Verlag Berlin Heidelberg. |l eng | |
| 593 | |a Departamento de Computacíon, FCEFQyN, Universidad Nacional de Ŕio Cuarto and CONICET, Ŕio Cuarto, Cordoba, Argentina | ||
| 593 | |a Departamento de Ingenieŕia Inforḿatica, Instituto Tecnoĺogico Buenos Aires and CONICET, Buenos Aires, Argentina | ||
| 593 | |a Departamento de Computacíon, FCEyN, Universidad de Buenos Aires and CONICET, Buenos Aires, Argentina | ||
| 690 | 1 | 0 | |a AUTOMATED GENERATION |
| 690 | 1 | 0 | |a BLACK BOX TEST |
| 690 | 1 | 0 | |a BLACK-BOX TESTING |
| 690 | 1 | 0 | |a COMPLEX INPUTS |
| 690 | 1 | 0 | |a CONSTRAINT SOLVING |
| 690 | 1 | 0 | |a CONSTRAINT-BASED |
| 690 | 1 | 0 | |a COVERABLE |
| 690 | 1 | 0 | |a COVERAGE CRITERIA |
| 690 | 1 | 0 | |a STATE OF THE ART |
| 690 | 1 | 0 | |a SYMBOLIC EXECUTION |
| 690 | 1 | 0 | |a TEST CASE |
| 690 | 1 | 0 | |a TEST CASE GENERATION |
| 690 | 1 | 0 | |a TEST CRITERIA |
| 690 | 1 | 0 | |a TEST GENERATIONS |
| 690 | 1 | 0 | |a MODEL CHECKING |
| 690 | 1 | 0 | |a SOFTWARE TESTING |
| 690 | 1 | 0 | |a TESTING |
| 700 | 1 | |a Bengolea, V.S. | |
| 700 | 1 | |a Frias, M.F. | |
| 700 | 1 | |a Galeotti, J.P. | |
| 711 | 2 | |c Zurich |d 30 June 2011 through 1 July 2011 |g Código de la conferencia: 85518 | |
| 773 | 0 | |d 2011 |g v. 6706 LNCS |h pp. 15-32 |p Lect. Notes Comput. Sci. |n Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |x 03029743 |w (AR-BaUEN)CENRE-983 |z 9783642217678 |t 5th International Conference on Tests and Proofs, TAP 2011 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-79960216136&doi=10.1007%2f978-3-642-21768-5_3&partnerID=40&md5=b4206cdde5fbb489b4b6e35d67e3af5b |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-21768-5_3 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_03029743_v6706LNCS_n_p15_Aguirre |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6706LNCS_n_p15_Aguirre |y Registro en la Biblioteca Digital |
| 961 | |a paper_03029743_v6706LNCS_n_p15_Aguirre |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 963 | |a VARI | ||
| 999 | |c 71394 | ||