Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the form of test sequences, as well as the oracle to...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2007
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 08594caa a22008057a 4500 | ||
|---|---|---|---|
| 001 | PAPER-6207 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203553.0 | ||
| 008 | 140217s2007 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-38849098267 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Kicillof, N. | |
| 245 | 1 | 0 | |a Achieving both model and code coverage with automated gray-box testing |
| 260 | |c 2007 | ||
| 270 | 1 | 0 | |m Kicillof, N.; FCEyN -UBAArgentina; email: nicok@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M., Alternating refinement relations (1998) LNCS, 1466, pp. 163-178. , Proceedings of the 9th International Conference on Concurrency Theory CONCUR'98, of | ||
| 504 | |a Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M., Pasareanu, C., Washington, R., Combining test ease generation and runtime verification (2005) Theor. Comput. Sci, 336 (2-3), pp. 209-234 | ||
| 504 | |a Barnett, M., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M., Towards a tool environment for model-based testing with AsmL (2003) LNCS, 2931, pp. 264-280. , Petrenko and Ulrich, editors, Formal Approaches to Software Testing, FATES 2003, of, Springer | ||
| 504 | |a Beck, K., (2001) Extreme Programming Explained: Embrace Change, , Addison-Wesley | ||
| 504 | |a Beck, K., (2002) Test-Driven Development: By Example, , Addison-Wesley | ||
| 504 | |a Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M., Testing concurrent object-oriented systems with spec explorer (2005) Lecture Notes in Computer Science, 3582, pp. 542-547. , J. Fitzgerald, I. J. Hayes, and A. Tarlecki, editors, FM 2005: Formal Methods, International Symposium of Formal Methods Europe, of, Springer | ||
| 504 | |a de Alfaro, L., Henzinger, T.A., Interface automata (2001) Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 109-120. , ACM | ||
| 504 | |a Gamma, E., Beck, K., (2001) JUnit: A regression testing framework, , http://www.junit.org | ||
| 504 | |a Godefroid, P., Klarlund, N., Sen, K., DART: Directed automated random testing (2005) ACM SlGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI'05), pp. 213-223 | ||
| 504 | |a Grieskamp, W., Multi-paradigmatic model-based testing (2006) Lecture Notes in Computer Science, 4262, pp. 1-19. , K. Havelund, M. Núñez, G. Rosu, and B. Wolff, editors, FATES/RV 2006: Formal Approaches to Testing and Runtime Verification, of, Springer, invited contribution | ||
| 504 | |a Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M., Generating finite state machines from abstract state machines (2002) ISSTA'02, volume 27 of Software Engineering Notes, pp. 112-122. , ACM | ||
| 504 | |a Grieskamp, W., Kicillof, N., A schema language for coordinating construction and composition of partial behavior descriptions (2006) SCESM, pp. 59-66. , J. Whittle, L. Geiger, and M. Meisinger, editors, ACM | ||
| 504 | |a Grieskamp, W., Kicillof, N., Tillmann, N., Action machines: A framework for encoding and composing partial behaviors (2006) International Journal of Software Engineering and Knowledge Engineering, 16 (5), pp. 705-726 | ||
| 504 | |a Grosu, R., Smolka, S.A., Monte carlo model checking (2005) Lecture Notes in Computer Science, 3440, pp. 271-286. , N. Halbwachs and L. D. Zuck, editors, TACAS, of, Springer | ||
| 504 | |a King, J.C., Symbolic execution and program testing (1976) Commun. ACM, 19 (7), pp. 385-394 | ||
| 504 | |a Li, Z., Tan, L., Wang, X., Lu, S., Zhou, Y., Zhai, C., Have things changed now? - An empirical study of bug characteristics in modern open source software (2007) ICSE: Proceedings 29th International Conference on Software Engineering | ||
| 504 | |a Robinson, H., Proceedings of the International Conference on Software Testing Analysis and Review (STARWEST 1999), Software Quality Engineering, San Jose, CA, USA, October 1999, , Finite state model-based testing on a shoestring In | ||
| 504 | |a Sen, K., Agha, G., Cute and jCUTE : Concolic unit testing and explicit path model-checking tools (2006) Lecture Notes in Computer Science, 4144, pp. 419-423. , 18th International Conference on Computer Aided Verification CAV06, of, Springer, Tool Paper | ||
| 504 | |a Stobie, K., Model based testing in practice at microsoft (2004) Electronic Notes in Theoretical Computer Science, 111. , Proceedings of the Workshop on Model Based Testing MBT 2004, of, Elsevier | ||
| 504 | |a Tillmann, N., Schulte, W., Unit tests reloaded: Parameterized unit testing with symbolic execution (2006) IEEE software, 23, pp. 38-47 | ||
| 504 | |a O. Tkachuk, M. B. Dwyer, and C. S. Pasareanu. Automated environment generation for software model checking. In ASE, pages 116-129. IEEE Computer Society, 2003Tretmans, J., Belinfante, A., Automatic testing with formal methods. In EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain (1999) EuroStar Conferences, , November 8-12, Galway, Ireland | ||
| 504 | |a Utting, M., Legeard, B., (2006) Practical Model-Based Testing: A Tools Approach, , Morgan Kaufmann Publishers Inc, San Francisco, CA, USA | ||
| 504 | |a Venolia, G., DeLine, R., LaToza, T., Software development at microsoft observed (2005), Technical Report MSR-TR-2005-140, Microsoft Research, OctoberW. Visser, C. S. Pasareanu, and R. Pelánek. Test input generation for red-black trees using abstraction. In D. F. Redmiles, T. Ellman, and A. Zisman, editors, ASE, pages 414-417. ACM, 2005@@@!v9015!ACM Special Interest Group on Programming Languages | ||
| 520 | 3 | |a We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the form of test sequences, as well as the oracle to check for conformance of an application under test with respect to a behavioral model. The latter finds a set of concrete parameter values that maximize code coverage using symbolic analysis. By applying these techniques together, we can produce test definitions (expressed as code to be run in a test management framework) that exercise all selected paths in the model, while also covering code branches specific to the implementation. These results cannot be obtained from any of the individual approaches alone, as the model cannot predict what values are significant to a particular implementation, while parameterized unit testing requires manually written test sequences and correctness validations. We provide tool support, integrated into our model-based testing tool. Copyright 2007 ACM. |l eng | |
| 593 | |a FCEyN -UBA | ||
| 593 | |a Microsoft Research | ||
| 593 | |a FCEyN- UBA/CONICET | ||
| 690 | 1 | 0 | |a CONCOLIC EXECUTION |
| 690 | 1 | 0 | |a MODEL-BASED TESTING |
| 690 | 1 | 0 | |a PARAMETERIZED UNIT TESTING |
| 690 | 1 | 0 | |a SYMBOLIC EXECUTION |
| 690 | 1 | 0 | |a TEST-CASE GENERATION |
| 690 | 1 | 0 | |a CONCOLIC EXECUTION |
| 690 | 1 | 0 | |a MODEL-BASED TESTING |
| 690 | 1 | 0 | |a PARAMETERIZED UNIT TESTING |
| 690 | 1 | 0 | |a SYMBOLIC EXECUTION |
| 690 | 1 | 0 | |a TEST-CASE GENERATION |
| 690 | 1 | 0 | |a BEHAVIORAL RESEARCH |
| 690 | 1 | 0 | |a MATHEMATICAL MODELS |
| 690 | 1 | 0 | |a PARAMETER ESTIMATION |
| 690 | 1 | 0 | |a PARAMETERIZATION |
| 690 | 1 | 0 | |a COMPUTER SOFTWARE |
| 700 | 1 | |a Grieskamp, W. | |
| 700 | 1 | |a Tillmann, N. | |
| 700 | 1 | |a Braberman, V. | |
| 711 | 2 | |c London |q 3rd International Workshop Advances in Model Based Testing, AMOST 2007 |d 9 July 2007 through 12 September 2007 |g Código de la conferencia: 71393 | |
| 773 | 0 | |d 2007 |h pp. 1-11 |p Proc. Int. Workshop Adv. Model Based Testing AMOST |z 9781595938503 |t Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007 | |
| 856 | 4 | 1 | |u http://www.scopus.com/inward/record.url?eid=2-s2.0-38849098267&partnerID=40&md5=7855cb16312cdd1f4a25bd0cbfc193dc |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1145/1291535.1291536 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_97815959_v_n_p1_Kicillof |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815959_v_n_p1_Kicillof |y Registro en la Biblioteca Digital |
| 961 | |a paper_97815959_v_n_p1_Kicillof |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/conferenceObject |a info:ar-repo/semantics/documento de conferencia |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 67160 | ||