Behaviour abstraction coverage as black-box adequacy criteria
Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence in that they conform to their int...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2013
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 08698caa a22009017a 4500 | ||
|---|---|---|---|
| 001 | PAPER-11282 | ||
| 003 | AR-BaUEN | ||
| 005 | 20251211114020.0 | ||
| 008 | 190411s2013 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-84883381826 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Czemerinski, H. | |
| 245 | 1 | 0 | |a Behaviour abstraction coverage as black-box adequacy criteria |
| 260 | |c 2013 | ||
| 270 | 1 | 0 | |m Departamento de Computación, FCEyN, Universidad de Buenos AiresArgentina |
| 504 | |a Andrews, J., Groce, A., Weston, M., Xu, R.-G., Random test run length and effectiveness (2008) ASE, 8, pp. 19-28 | ||
| 504 | |a Arcuri, A., Briand, L.C., A practical guide for using statistical tests to assess randomized algorithms in software engineering (2011) ICSE, 11, pp. 1-10 | ||
| 504 | |a Beckman, N., Kim, D., Aldrich, J., An empirical study of object protocols in the wild (2011) ECOOP, 11, pp. 2-26 | ||
| 504 | |a Bierhoff, K., Beckman, N.E., Aldrich, J., Practical API protocol checking with access permissions (2009) ECOOP, 9, pp. 195-219 | ||
| 504 | |a Bochmann, G., Petrenko, A., Bellal, O., Maguiraga, S., Automating the process of test derivation from SDL specifications (1997) SDL Forum, 97 | ||
| 504 | |a Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A., Generating test cases for specification mining (2010) ISSTA, 10, pp. 85-96 | ||
| 504 | |a De Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S., Validation of contracts using enabledness preserving finite state abstractions (2009) ICSE, 9, pp. 452-462 | ||
| 504 | |a De Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S., Program abstractions for behaviour validation (2011) ICSE, 11, pp. 381-390 | ||
| 504 | |a Deline, R., Fndrich, M., Typestates for objects (2004) ECOOP, 9, pp. 465-490 | ||
| 504 | |a Fraser, G., Walkinshaw, N., Behaviourally adequate software testing (2012) ICST, 12, pp. 300-309 | ||
| 504 | |a Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M., Generating finite state machines from abstract state machines (2002) ISSTA, 2, pp. 112-122 | ||
| 504 | |a Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V., Model-based quality assurance of protocol documentation: Tools and methodology (2011) STVR, 21 (1), pp. 55-71 | ||
| 504 | |a Groce, A., Zhang, C., Eide, E., Chen, Y., Regehr, J., Swarm testing (2012) ISSTA, 12, pp. 78-88 | ||
| 504 | |a Heimdahl, M.P., George, D., Weber, R., Specification test coverage adequacy criteria = specification test generation inadequacy criteria? (2004) HASE, 4, pp. 178-186 | ||
| 504 | |a Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Zedan, H., Using formal specifications to support testing (2009) ACM Computing Surveys, 41 (9), pp. 1-9. , 76 | ||
| 504 | |a Conformance testing with labelled transition systems: Implementation relations and test generation (1996) Computer Networks and ISDN Systems, 29 (1), pp. 49-79. , Jan and Tretmans | ||
| 504 | |a Korel, B., Koutsogiannakis, G., Tahat, L.H., Model-based test prioritization heuristic methods and their evaluation (2007) A-MOST, 7, pp. 34-43 | ||
| 504 | |a Lee, D., Yannakakis, M., Principles and methods of testing finite state machines-a survey (1996) Proceedings of the IEEE, 84 (8), pp. 1090-1123 | ||
| 504 | |a Liu, L., Meyer, B., Schoeller, B., Using contracts and boolean queries to improve the quality of automatic test generation (2007) TAP, 7, pp. 114-130 | ||
| 504 | |a Ma, Y.-S., Offutt, J., Kwon, Y.R., Mujava: An automated class mutation system (2005) STVR, 15 (2), pp. 97-133 | ||
| 504 | |a Mariani, L., Pezz, M., Riganelli, O., Santoro, M., Autoblacktest: A tool for automatic black-box testing (2011) ICSE, 11, pp. 1013-1015 | ||
| 504 | |a Mouchawrab, S., Briand, L.C., Labiche, Y., Di Penta, M., Assessing, comparing, and combining state machine-based testing and structural testing: A series of experiments (2011) TSE, 37 (2), pp. 161-187 | ||
| 504 | |a Namin, A.S., Andrews, J.H., The influence of size and coverage on test suite effectiveness (2009) ISSTA, 9, pp. 57-68 | ||
| 504 | |a Offutt, J., Liu, S., Abdurazik, A., Ammann, P., Generating test data from state-based specifications (2003) STVR, 13 (1), pp. 25-53 | ||
| 504 | |a Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T., Feedbackdirected (2007) ICSE, 7, pp. 75-84. , random test generation | ||
| 504 | |a Pretschner, A., Prenninger, W., Wagner, S., Knel, C., Baumgartner, M., Sostawa, B., Zch, R., Stauner, T., One evaluation of model-based testing and its automation (2005) ICSE, 5, pp. 392-401 | ||
| 504 | |a Rutherford, M.J., Carzaniga, A., Wolf, A.L., Evaluating test suites and adequacy criteria using simulation-based models of distributed systems (2008) TSE, 34, pp. 452-470 | ||
| 504 | |a Selic, B., The pragmatics of model-driven development (2003) IEEE Software, 20 (5), pp. 19-25 | ||
| 504 | |a Sharma, R., Gligoric, M., Arcuri, A., Fraser, G., Marinov, D., Testing container classes Random or systematic? (2011) FASE, 11, pp. 262-277 | ||
| 504 | |a Thummalapenta, S., Xie, T., Tillmann, N., De Halleux, J., Su, Z., Synthesizing method sequences for high-coverage testing (2011) OOPSLA, 11 | ||
| 504 | |a Utting, M., Legeard, B., Practical model-based testing: A tools approach (2007) Morgan Kaufmann | ||
| 504 | |a Visser, W., Pasareanu, C., Pelek, R., Test input generation for java containers using state matching (2006) ISSTA, 6, pp. 37-48 | ||
| 504 | |a Weissleder, S., Simulated satisfaction of coverage criteria on uml state machines (2010) ICST, 10, pp. 117-126 | ||
| 504 | |a Xiao, X., Xie, T., Tillmann, N., De Halleux, J., Precise identification of problems for structural test generation (2011) ICSE, 11, pp. 611-620 | ||
| 504 | |a Xie, T., Notkin, D., Automatic extraction of object-oriented observer abstractions from unit-test executions (2004) LNCS, 3308, pp. 290-305. , Formal Methods and Software Engineering | ||
| 506 | |2 openaire |e Política editorial | ||
| 520 | 3 | |a Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence in that they conform to their intended protocols is an important and challenging problem. In this paper we propose and study experimentally conformance testing adequacy criteria based on covering an abstraction of the intended behavior's semantics. Thus, the criteria are independent of the specification language and structure used to describe the intended protocol and the language used to implement it. As a consequence the results may be of use to black box conformance testing approaches in general. Experimental results show that the criterion is a good predictor for conformance failure detection and for classical structural coverage criteria such as code and branch coverage. © 2013 IEEE. |l eng | |
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires, Argentina | ||
| 593 | |a Department of Computing, Imperial College London, United Kingdom | ||
| 690 | 1 | 0 | |a CONFORMANCE TESTING |
| 690 | 1 | 0 | |a COVERAGE CRITERIA |
| 690 | 1 | 0 | |a OBJECT PROTOCOLS |
| 690 | 1 | 0 | |a BLACK BOXES |
| 690 | 1 | 0 | |a BRANCH COVERAGE |
| 690 | 1 | 0 | |a CONFORMANCE TESTING |
| 690 | 1 | 0 | |a COVERAGE CRITERIA |
| 690 | 1 | 0 | |a FAILURE DETECTION |
| 690 | 1 | 0 | |a NON-TRIVIAL |
| 690 | 1 | 0 | |a ABSTRACTING |
| 690 | 1 | 0 | |a SEMANTICS |
| 690 | 1 | 0 | |a SPECIFICATION LANGUAGES |
| 690 | 1 | 0 | |a SOFTWARE TESTING |
| 700 | 1 | |a Braberman, V. | |
| 700 | 1 | |a Uchitel, Sebastián | |
| 711 | 2 | |c Luxembourg |d 18 May 2013 through 20 May 2013 |g Código de la conferencia: 98979 | |
| 773 | 0 | |d 2013 |h pp. 222-231 |p Proc. - IEEE Int. Conf. Softw. Test., Verif. Validation, ICST |n Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013 |t IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84883381826&doi=10.1109%2fICST.2013.22&partnerID=40&md5=dd60caf9c50bf89a70c08d5373f707b2 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1109/ICST.2013.22 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_NIS11282_v_n_p222_Czemerinski |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS11282_v_n_p222_Czemerinski |y Registro en la Biblioteca Digital |
| 961 | |a paper_NIS11282_v_n_p222_Czemerinski |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 72235 | ||