Return to search

Uma estratégia para a avaliação e evolução de teste funcional de software / A Strategy for the evaluation and evolution of functional software testing

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-08-01T14:00:30Z
No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
DissertacaoFinalGilmarCC.pdf: 1781002 bytes, checksum: 864dc93f98977e9c6364e12bcc473c58 (MD5) / Made available in DSpace on 2014-08-01T14:00:30Z (GMT). No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
DissertacaoFinalGilmarCC.pdf: 1781002 bytes, checksum: 864dc93f98977e9c6364e12bcc473c58 (MD5)
Previous issue date: 2012 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / Software Testing is part of software quality assurance activities. It aims to uncover

the presence of defects, that can be inserted in various stages of software develop-
ment. Several techniques are used in the testing activity, highlighting the functional

ones, which derive test requirements from the software specification. The research

faces the problem of how to evolve the functional testing strategies with low costs,

relative to the amount of test cases needed, without compromising the number of

uncovered defects. A systematic review was planned and executed, based on formu-
lated questions so as to answer the research problem. Such review supported the

definition of a new criterion for functional testing, the Systematic Functional Test

with Decision Table Application (TFS-DT), which is an extension of Systematic

Software Testing (TFS) and provides joint application of criteria: Partitioning Equi-
valence Classes, Boundary Value Analysis and Decision Table. The TFS-DT defines

a strategy based on a set of requirements and has a process in order to apply the

strategy in a systematic manner. Three empirical studies were applied with promi-
sing results compared to TFS: all of them reduces at least half the adequated set

without impact on the number of uncovered defects. / Teste de Software faz parte das atividades de garantia da qualidade do software.

Destina-se a revelar a presen ̧ca de defeitos, que podem ser inseridos em v ́arios

est ́agios do desenvolvimento do software. V ́arias t ́ecnicas s ̃ao usadas na atividade

de teste, com destaque para as funcionais, que derivam requisitos de teste a partir

da especifica ̧c ̃ao do software. A pesquisa enfrenta o problema de como evoluir as

estrat ́egias de testes funcionais reduzindo o custo, em rela ̧c ̃ao `a quantidade de

casos de teste necess ́arios, sem comprometer o n ́umero de defeitos revelados. Uma

revis ̃ao sistem ́atica foi planejada e executada, com base em quest ̃oes formuladas de

modo a responder ao problema da pesquisa. Esta revis ̃ao apoiou a defini ̧c ̃ao de um

novo crit ́erio de teste funcional, o Teste Funcional Sistem ́atico com Aplica ̧c ̃ao da

Tabela de Decis ̃ao (TFS-TD), que ́e uma extens ̃ao do Teste Funcional Sistem ́atico

(TFS) e que prevˆe a aplica ̧c ̃ao conjunta dos crit ́erios: Particionamento em Classes

de Equivalˆencia, An ́alise do Valor Limite e Tabela decis ̃ao. O TFS-TD define uma

estrat ́egia baseada em um conjunto de diretrizes e possui um processo para aplicar

esta estrat ́egia de forma sistem ́atica. Trˆes estudos emp ́ıricos foram aplicados com

resultados promissores em rela ̧c ̃ao ao TFS: todos eles reduzem, pelo menos, pela

metade o conjunto adequado, sem impacto na quantidade de defeitos revelados.

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.bc.ufg.br:tde/2875
Date January 2012
CreatorsArantes, Gilmar Ferreira
ContributorsLeitão Júnior, Plínio de Sá
PublisherUniversidade Federal de Goiás, Programa de Pós-graduação em Ciência da Computação (INF), UFG, Brasil, Escola de Engenharia Elétrica, Mecânica e de Computação (EMC) - RG
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da UFG, instname:Universidade Federal de Goiás, instacron:UFG
Rightshttp://creativecommons.org/licenses/by-nc-nd/4.0/, info:eu-repo/semantics/openAccess
Relation1102159680310750095, 600, 600, 600, 600, 306626487509624506, 3671711205811204509, -961409807440757778, AFZAL, W.; TORKAR, R.; FELDT, R. A systematic review of search-based testing for non-functional system properties. Inf. Softw. Technol., Butterworth-Heinemann, Newton, MA, USA, v. 51, n. 6, p. 957–976, jun 2009. ISSN 0950-5849. Dispon ́ıvel em: <http://dx.doi.org/10.1016/j.infsof.2008.12.005>. ALI, M. S.; BABAR, M. A.; CHEN, L.; STOL, K. J. A systematic review of comparative evidence of aspect-oriented programming. Information and Software Technology, v. 52, n. 9, p. 871–887, 2010. ISSN 0950-5849. ALVER, M. O. JabRef. 2008. Dispon ́ıvel em: <http://jabref.sourceforce.net>. AMAR, M.; SHABBIR, K. Systematic Review on Testing Aspect-oriented Programs - Challenges, Techniques and Their Effectiveness. Disserta ̧c ̃ao (Mestrado) — School of Engineering Blekinge Institute of Technology, 2008. AMMANN, P.; OFFUTT, J. Introduction to Software Testing. New York: Cambridge University Press, 2008. BACH, J. ALLPAIRS Test Case Generation Tool (Version 1.2.1). 2011. Dispon ́ıvel em: <http://www.satisfice.com/tools.shtml>. Acesso em: 22.08.2011. BACH, J.; SCHROEDER, P. J. Pairwise Testing: A Best Practice That Isn’t. 2004. Dispon ́ıvel em: <http://www.testingeducation.org>. Acesso em: 22.08.2011. BARBOSA, J. R. Estudo e Defini ̧c ̃ao de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Cr ́ıticos. Disserta ̧c ̃ao (Mestrado) — Universidade Federal de Goi ́as, Goiˆania, 2011. BARROS, V. S. S. Simulador de Ambientes. 2011. Dispon ́ıvel em: <http://lvelho- .impa.br/i3d07/demos/victor/DIAGRAMA DE CASO DE USO.htm>. Acesso em: 28.08.2011. Bibliografia 113 BASILI, V. R.; SELBY, R. W. Comparing the Effectiveness of Software Testing Strategies. Software Engineering, IEEE Transactions on, SE-13, n. 12, p. 1278–1296, dec. 1987. BINDER, R. V. Testing Object-Oriented Systems: Models, Patterns, and Tools. [S.l.]: Addison-Wesley, 2000. BIOLCHINI, J. C. d. A.; MIAN, P. G.; NATALI, A. C. C.; CONTE, T. U.; TRAVASSOS, G. H. Scientific research ontology to support systematic review in software engineering. Adv. Eng. Inform., Elsevier Science Publishers B. V., Amsterdam, The Netherlands, The Netherlands, v. 21, p. 133–151, April 2007. ISSN 1474-0346. BOX, G. E. P.; HUNTER, W. G.; HUNTER, J. S. Book. Statistics for experimenters : an introduction to design, data analysis, and model building. [S.l.]: Wiley, New York, 1978. ISBN 0471093157. BRITO, M. A. S.; FELIZARDO, K. R.; SOUZA, P. S. L.; SOUZA, S. R. S. Concurrent Software Testing: A Systematic Review. [S.l.], 2010. BUDGEN, D.; BURN, A. J.; BRERETON, O. P.; KITCHENHAM, B. A.; PRETORIUS, R. Empirical evidence about the uml: a systematic literature review. Softw. Pract. Exper., John Wiley & Sons, Inc., New York, NY, USA, v. 41, n. 4, p. 363–392, abr. 2011. ISSN 0038-0644. Dispon ́ıvel em: <http://dx.doi.org/10.1002/spe.1009>. CAI, K.-Y.; GU, B.; HU, H.; LI, Y.-C. Adaptive software testing with fixed-memory feedback. J. Syst. Softw., Elsevier Science Inc., New York, NY, USA, v. 80, p. 1328–1348, August 2007. ISSN 0164-1212. CAI, K.-Y.; JING, T.; BAI, C.-G. Partition testing with dynamic partitioning. In: Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International. [S.l.: s.n.], 2005. v. 1, p. 113–116. CHANGEVISION. Jude. 2011. Dispon ́ıvel em: <http://jude.change-vision.com/jude- web/index.html>. Acesso em: 21.02.2012. CHEN, T.; LEUNG, H.; MAK, I. Adaptive random testing. In: MAHER, M. (Ed.). Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making. [S.l.]: Springer Berlin / Heidelberg, 2005, (Lecture Notes in Computer Science, v. 3321). p. 3156–3157. CHEN, T. Y.; KUO, F.-C.; LIU, H. On test case distributions of adaptive random testing. In: SEKE 07. [S.l.: s.n.], 2007. p. 141–144. Bibliografia 114 CHEN, T. Y.; KUO, F.-C.; MERKEL, R. G.; TSE, T. H. Adaptive random testing: The art of test case diversity. J. Syst. Softw., Elsevier Science Inc., New York, NY, USA, v. 83, p. 60–66, Jan 2010. CIUPA, I.; PRETSCHNER, A.; LEITNER, A.; ORIOL, M.; MEYER, B. On the predictability of random tests for object-oriented software. In: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation. Washington, DC, USA: IEEE Computer Society, 2008. (ICST ’08), p. 72–81. ISBN 978-0-7695-3127-4. Dispon ́ıvel em: <http://dx.doi.org/10.1109/ICST.2008.20>. CONFAZ, C. N. d. P. F. Ato Cotepe 006. 2008. Dispon ́ıvel em: <http://www- .fazenda.gov.br/confaz/confaz% -/atos/atos cotepe/2008/ac006 08.htm>. Acesso em: 21.02.2012. CONFAZ, C. N. d. P. F. Convˆenio ICMS 15. 2008(a). Dispon ́ıvel em: <http://www- .fazenda.gov.br/confaz/confaz% -/Convenios/ICMS/2008/cv015 08.htm>. Acesso em: 21.02.2012. CONFAZ, C. N. d. P. F. Roteiro de An ́alise Funcional de Programa Aplicativo Fiscal - Emissor de Cupom Fiscal. 2010. Dispon ́ıvel em: <http://www.fazenda.gov.br/confaz- /default.htm>. Acesso em: 21.02.2012. COPELAND, L. A Practitioner’s Guide to Software Test Design. Boston: Artech House Publishers, 2003. CZERWONKA, J. Pairwise Testing - Combinatorial Test Case Generation. 2011. Dispon ́ıvel em: <http://www.pairwise.org/>. Acesso em: 23.09.2011. DEITEL, H. M.; DEITEL, P.; NIETO, T. The Complete XML Programming Training Course. Upper Saddle River, NJ, USA: Prentice Hall PTR, 2001. ISBN 0130895571. DELAMARO, M. E.; MALDONADO, J. C.; VINCENZI, A. M. R. Proteum/im 2.0: An integrated mutation testing environment. In: Proceedings of the 1st Workshop on Mutation Analysis (MUTATION’00). San Jose, California: [s.n.], 2001. p. 91–101. DENGER, C.; MORA, M. M. Test case derived from requirement specification. [S.l.], 2003. DURAN, J. W.; NTAFOS, S. C. An evaluation of random testing. Software Engineering, IEEE Transactions on, SE-10, n. 4, p. 438–444, july 1984. ISSN 0098-5589. DYB ̊A, T.; DINGSØYR, T. Strength of evidence in systematic reviews in software engineering. In: Proceedings of the Second ACM-IEEE international symposium Bibliografia 115 on Empirical software engineering and measurement. New York, NY, USA: ACM, 2008. (ESEM 08), p. 178–187. ISBN 978-1-59593-971-5. Dispon ́ıvel em: <http://doi.acm.org/10.1145/1414004.1414034>. ESCALONA, M. J.; GUTIERREZ, J. J.; MEJ ́ıAS, M.; ARAG ́oN, G.; RAMOS, I.; TORRES, J.; DOM ́ıNGUEZ, F. J. An overview on test generation from functional requirements. J. Syst. Softw., Elsevier Science Inc., New York, NY, USA, v. 84, p. 1379–1393, August 2011. GAMMA, E.; HELM, R.; JOHNSON, R.; VLISSIDES, J. Design patterns: elements of reusable object-oriented software. Boston: Addison-Wesley Longman Publishing Co., Inc., 1995. GERRARD, P.; THOMPSON, N. Risk Based E-Business Testing. Norwood, MA, USA: Artech House, Inc., 2002. ISBN 1580533140. GUIMAR ̃aES, D. T ́ecnicas de Teste de Software. 2011. Dispon ́ıvel em: <http:/- /guimaraesdani.wordpress.com/testes-e-qualidade-de-software/tecnicas-de-teste-de- software/>. Acesso em: 21.08.2011. GUTIERREZ, J. J. Towards a complete approach to generate system test cases. In: ICEIS Doctoral Consortium. [S.l.: s.n.], 2006. p. 38–50. GUTIERREZ, J. J. ObjectGen & ValueGen page. 2007. Dispon ́ıvel em: <http://www- .lsi.us.es/ ̃javierj/ObjectGen.html>. Acesso em: 24.06.2012. GUTIERREZ, J. J.; ESCALONA, M. J.; MEJ ́ıAS, M.; TORRES, J. Generation of test cases from functional requirements. a survey. In: 4th Workshop on System Testing and Validation. Potsdam, Germany: [s.n.], 2006. GUTIERREZ, J. J.; ESCALONA, M. J.; MEJ ́ıAS, M.; TORRES, J. Derivation of test objectives automatically. In: WOJTKOWSKI, W.; WOJTKOWSKI, W. G.; ZUPANCIC, J.; MAGYAR, G.; KNAPP, G. (Ed.). Advances in Information Systems Development. [S.l.]: Springer US, 2007. p. 435–446. GUTIERREZ, J. J.; ESCALONA, M. J.; MEJ ́ıAS, M.; TORRES, J.; CENTENO, A. H. A case study for generating test cases from use cases. In: Research Challenges in Information Science, 2008. RCIS 2008. Second International Conference on. [S.l.: s.n.], 2008. p. 209–214. HAMLET, D. When only random testing will do. In: Proceedings of the 1st international workshop on Random testing. New York, NY, USA: ACM, 2006. (RT ’06), p. 1–9. ISBN 1-59593-457-X. Dispon ́ıvel em: <http://doi.acm.org/10.1145/1145735.1145737>. Bibliografia 116 HAMLET, D.; TAYLOR, R. Partition testing does not inspire confidence [program testing]. Software Engineering, IEEE Transactions on, v. 16, n. 12, p. 1402–1411, dec 1990. HAREL, D. Statecharts: A visual formalism for complex systems. Sci. Comput. Program., Elsevier North-Holland, Inc., Amsterdam, The Netherlands, The Netherlands, v. 8, p. 231–274, June 1987. HIERONS, R. M. Avoiding coincidental correctness in boundary value analysis. ACM Trans. Softw. Eng. Methodol., ACM, New York, NY, USA, v. 15, p. 227–241, July 2006. HILL, E. F. Jess in Action: Java Rule-Based Systems. Greenwich, CT, USA: Manning Publications Co., 2003. ISBN 1930110898. HUNT, T. Cause-Effect Graphing. 2007. Dispon ́ıvel em: <http://www.westfallteam- .com>. Acesso em: 21.09.2011. IEEE. Ieee standard for software test documentation. IEEE Std 829-1998, IEEE Standards Board, New York, USA, 1998. ISO/IEC. ISO/IEC 9126. Software engineering – Product quality. [S.l.]: ISO/IEC, 2001. JACOBSON, I.; CHRISTERSON, M.; JONSSON, P.; OVERGAARD, G. Object- Oriented Systems Engineering: A Use Case Driven Approach. Addison-Wesley: CRC Press, 1992. JONES, E. L. Automated Support For Test-Driven Specification. Phoenix, Arizona: [s.n.], nov. 14-16 2005. 218–223 p. JORGENSEN, P. C. Software Testing: A Craftman’s Approach. 2nd. ed. Boca Raton, FL, USA: CRC Press, Inc., 2001. JORGENSEN, P. C. Software Testing: A Craftman’s Approach. (2nd ed.). [S.l.]: CRC Press, 2002. JURISTO, N.; MORENO, A. M.; VEGAS, S.; SHULL, F. A look at 25 years of data. Software, IEEE, v. 26, n. 1, p. 15–17, jan/feb 2009. JURISTO, N.; VEGAS, S. Functional testing, structural testing and code reading: What fault type do they each detect? In: CONRADI, R.; WANG, A. (Ed.). Empirical Methods and Studies in Software Engineering. [S.l.]: Springer Berlin / Heidelberg, 2003, (Lecture Notes in Computer Science, v. 2765). p. 208–232. Bibliografia 117 KAMSTIES, E.; LOTT, C. M. An empirical evaluation of three defect-detection techniques. In: Proceedings of the 5th European Software Engineering Conference. London, UK: Springer-Verlag, 1995. p. 362–383. ISBN 3-540-60406-5. Dispon ́ıvel em: <http://dl.acm.org/citation.cfm?id=645385.651507>. KANER, C. The impossibility of complete testing. In: in Software QA N. 4, online: http://www.kaner.com/articles.html. [S.l.: s.n.], 1997. v. 4. LINKMAN, S.; VINCENZI, A. M. R.; MALDONADO, J. C. An evaluation of systematic functional testing using mutation testing. 7th International Conference on Empirical Assessment in Software Engineering [EASE. [S.l.: s.n.]], 2003. MARQUES, P. Conjuntos. 2011. Dispon ́ıvel em: <http://www.algosobre.com.br- /matematica/conjuntos.html>. Acesso em: 21.08.2011. MASSOL, V.; HUSTED, T. JUnit in Action. Greenwich, CT, USA: Manning Publications Co., 2003. ISBN 1930110995. MATHUR, A. P. Software Testing. 1st. ed. Nova York: Pearson Publication, 2008. MAYER, J.; SCHNECKENBURGER, C. An empirical analysis and comparison of random testing techniques. In: Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering. New York, NY, USA: ACM, 2006. (ISESE 06), p. 105–114. MEYER, B. Applying ”Design by Contract”. Computer, IEEE Computer Society Press, Los Alamitos, CA, USA, v. 25, p. 40–51, October 1992. ISSN 0018-9162. MURNANE, T.; HALL, R.; REED, K. Towards describing black-box testing methods as atomic rules. In: Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International. [S.l.: s.n.], 2005. v. 2, p. 437–442. MYERS, G. J. A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections. Commun. ACM, ACM, New York, NY, USA, v. 21, p. 760–768, September 1978. ISSN 0001-0782. MYERS, G. J. The Art of Software Testing. New York: John Wiley & Sons, 1979. MYERS, G. J.; SANDLER, C. The Art of Software Testing. New Jersey: John Wiley & Sons, 2004. NAUR, P. Programming by action clusters. BIT Numerical Mathematics, Springer Netherlands, v. 9, p. 250–258, 1969. ISSN 0006-3835. Bibliografia 118 NEBUT, C.; FLEUREY, F. Technical and Experimental Material. 2003. Dispon ́ıvel em: <http://www.irisa.fr/triskell/results/ISSRE03/>. Acesso em: 21.02.2012. NEBUT, C.; FLEUREY, F.; TRAON, Y. L.; JEZEQUEL, J. M. Requirements by contracts allow automated system testing. In: Software Reliability Engineering, 2003. ISSRE 2003. 14th International Symposium on. [S.l.: s.n.], 2003. p. 85–96. ISSN 1071-9458. NEBUT, C.; FLEUREY, F.; TRAON, Y. L.; JEZEQUEL, J. M. Automatic test generation: a use case driven approach. Software Engineering, IEEE Transactions on, v. 32, n. 3, p. 140–155, mar 2006. NETO, A. C. D.; SUBRAMANYAN, R.; VIEIRA, M.; TRAVASSOS, G. H. A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007. New York, NY, USA: ACM, 2007. (WEASELTech ’07), p. 31–36. ISBN 978-1-59593-880-0. Dispon ́ıvel em: <http://doi.acm.org/10.1145/1353673.1353681>. NOIKAJANA, S.; SUWANNASART, T. Web service test case generation based on decision table (short paper). In: Quality Software, 2008. QSIC ’08. The Eighth International Conference on. [S.l.: s.n.], 2008. p. 321–326. ISSN 1550-6002. NURSIMULU, K.; PROBERT, R. L. Cause-effect graphing analysis and validation of requirements. In: Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research. [S.l.]: IBM Press, 1995. (CASCON 95). OMG, O. M. G. UML - Unified Modeling Language. 2011. Dispon ́ıvel em: <http://www.uml.org/>. Acesso em: 21.08.2011. OMMERING, R. V.; LINDEN, F. V. D.; KRAMER, J.; MAGEE, J. The koala component model for consumer electronics software. Computer, v. 33, n. 3, p. 78–85, mar 2000. ISSN 0018-9162. OSTRAND, T. J.; BALCER, M. J. The category-partition method for specifying and generating fuctional tests. Commun. ACM, ACM, New York, NY, USA, v. 31, p. 676–686, June 1988. ISSN 0001-0782. PARADKAR, A.; TAI, K. C.; VOUK, M. A. Specification-based testing using cause-effect graphs. Ann. Softw. Eng., J. C. Baltzer AG, Science Publishers, Red Bank, NJ, USA, v. 4, p. 133–157, January 1997. Bibliografia 119 PHADKE, M. S. Design of Experiment for Software Testing. 2000. Dispon ́ıvel em: <http://www.isixsigma.com/tools-templates/design-of-experiments-doe/design- experiment-software-testing/>. Acesso em: 22.08.2011. PRESSMAN, R. S. Software Engineering: A Practitioner’s Approach. Nova York: McGraw-Hill, 2005. RAMACHANDRAN, M. Testing software components using boundary value analysis. In: Euromicro Conference, 2003. Proceedings. 29th. [S.l.: s.n.], 2003. p. 94–98. ISSN 1089-6503. RATIONAL, S. C. Diretrizes: Caso de Teste. 2010. Dispon ́ıvel em: <http://www- .wthreex.com/rup/process/modguide/md tstcs.htm>. Acesso em: 24.08.2011. REID, S. C. An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: Software Metrics Symposium, 1997. Proceedings., Fourth International. [S.l.: s.n.], 1997. p. 64–73. ROUBTSOV, S.; HECK, P. Use case-based acceptance testing of a large industrial system: Approach and experience report. In: Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings. [S.l.: s.n.], 2006. p. 211–220. RYSER, J.; GLINZ, M. SCENT: A Method Employing Scenarios to Systematically Derive TestCases for System Test. [S.l.], 2000. SEO, K. I.; CHOI, E. M. Comparison of five black-box testing methods for object- oriented software. In: Software Engineering Research, Management and Applications, 2006. Fourth International Conference on. [S.l.: s.n.], 2006. p. 213–220. SHAFIQUE, M.; LABICHE, Y. A Systematic Review of Model Based Testing Tool Support. [S.l.], 2010. SHARMA, M.; CHANDRA, B. Automatic generation of test suites from decision table - theory and implementation. In: Software Engineering Advances (ICSEA), 2010 Fifth International Conference on. [S.l.: s.n.], 2010. p. 459–464. SIMEON, E. e. D. Software EPA. 2010. Dispon ́ıvel em: <http://www.simeon.com.br>. Acesso em: 21.02.2012. SODR ́e, U.; NETO, M. J. Q. Ensino Superior: Algebra: Rela ̧c ̃oes ́ . 2004. Dispon ́ıvel em: <http://pessoal.sercomtel.com.br/matematica/superior/algebra/relacoes/relacoes- .htm>. Acesso em: 21.08.2011. Bibliografia 120 SOUZA, S. R. S.; BRITO, M. A. S.; SILVA, R. A.; SOUZA, P. S. L.; ZALUSKA, E. Research in concurrent software testing: a systematic review. In: Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. New York, NY, USA: ACM, 2011. (PADTAD ’11), p. 1–5. ISBN 978-1-4503-0809-0. Dispon ́ıvel em: <http://doi.acm.org/10.1145/2002962.2002964>. SRIVASTAVA, P. R.; PATEL, P.; CHATROLA, S. Cause effect graph to decision table generation. SIGSOFT Softw. Eng. Notes, ACM, New York, NY, USA, v. 34, p. 1–4, February 2009. TAI, K.-C.; PARADKAR, A.; SU, H.-K.; VOUK, M. A. Fault-based test generation for cause-effect graphs. In: Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1. IBM Press, 1993. (CASCON ’93), p. 495–504. Dispon ́ıvel em: <http://dl.acm.org/citation- .cfm?id=962289.962329>. TELCORDIA, A. T. S. The AETG Web Service. 2012. Dispon ́ıvel em: <http:/- /aetgweb.argreenhouse.com/>. VALLESPIR, D. M.; HERBERT, J. Effectiveness and cost of verification techniques: Preliminary conclusions on five techniques. In: Computer Science (ENC), 2009 Mexican International Conference on. [S.l.: s.n.], 2009. p. 264–271. VEGAS, S.; BASILI, V. A characterisation schema for software testing techniques. Empirical Softw. Engg., Kluwer Academic Publishers, Hingham, MA, USA, v. 10, n. 4, p. 437–466, oct 2005. ISSN 1382-3256. Dispon ́ıvel em: <http://dx.doi.org/10.1007- /s10664-005-3862-1>. VIDAL, A. R. Teste Funcional Sistem ́atico Estendido: Uma Contribui ̧c ̃ao na Aplica ̧c ̃ao de Crit ́erios de Teste Caixa-Preta. Disserta ̧c ̃ao (Mestrado) — Universidade Federal de Goi ́as, Goiˆania, 2011. VIJ, K.; FENG, W. Boundary value analysis using divide-and-rule approach. In: Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on. [S.l.: s.n.], 2008. p. 70–75. WEYUKER, E. J.; JENG, B. Analyzing partition testing strategies. Software Engineering, IEEE Transactions on, v. 17, n. 7, p. 703–711, jul 1991. WOOD, M.; ROPER, M.; BROOKS, A.; MILLER, J. Comparing and combining software defect detection techniques: a replicated empirical study. In: Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th Bibliografia 121 ACM SIGSOFT international symposium on Foundations of software engineering. New York, NY, USA: Springer-Verlag New York, Inc., 1997. (ESEC ’97/FSE-5), p. 262–277. ISBN 3-540-63531-9. Dispon ́ıvel em: <http://dx.doi.org/10.1145/267895.267915>. ZELKOWITZ, M. V.; WALLACE, D. R. Experimental models for validating technology. Computer, IEEE Computer Society Press, Los Alamitos, CA, USA, v. 31, p. 23–31, May 1998. ISSN 0018-9162. ZHU, H.; HALL, P. A. V.; MAY, J. H. R. Software unit test coverage and adequacy. ACM Comput. Surv., ACM, New York, NY, USA, v. 29, n. 4, p. 366–427, dec 1997. ISSN 0360-0300. Dispon ́ıvel em: <http://doi.acm.org/10.1145/267580.267590>. ZIELCZYNSKI, P. Traceability from Use Cases to Test Cases. 2006. Dispon ́ıvel em: http://www.ibm.com/developerworks/rational/library/04/r-3217/index. html?S_TACT=105AGX15&S_CMP=EDU, Acesso em 12.02.2012.

Page generated in 0.0057 seconds