pela sua dedicação, amizadQ bom-senso e profissionalismo demonstrados durante todo este período de convivência, que muito contribuiu para a minha formação acadêmica e que mesmo durante o período em que esteve distante nunca deixou de participar de forma efetiva deste trabalho. Ao Chaim, que muito por toda ajuda dada, principalmente na definição da LI++ e na implementação do mapeamento C++ lLl++, sempre sendo o mais prestativo possível nas mais diversas horas. Ao Delamaro que muito me ajudou na

more »

... edação dessa dissertação e ao Plínio pelas contribuições dadas, principalmente em algumas definições da LI++. Em especial ao Prof. Dr. Mário Jino, pelas relevantes sugestões, que muito contribuiram para arcalização desse trabalho. Ao Prof. Dr. Paulo César Masiero por todo auxflio prestado. À Profa. Dra. Rosely Sanches pelo valioso incentivo e pelos conselhos oferecidos durante todo esse tempo em que convivemos. Às demais amigas do Grupo de Testes do ICMSC : Simone (e quem está chegando...), Sandra e Elisa que também me ajudaram com sugestões e dicas bastante aportunas. Ainda, ao pessoal do Grupo de Testes do DCA -FEEC -UNICAMP: SíIvia, Inês, Dino, Adalberto, Paulo e Letícia pela amizade e pelas contribuições. Às demais amigas do Grupo de Testes do ICMSC, Simone (e quem está chegando...), Sandra e Elisa que também me ajudaram bastante com sugestões e dicas bastante aportunas. Ainda, ao pessoal do Grupo de Testes do DCA -FEEC -UNICAMP: Sílvia, Inês, Dino, Adalberto, Paulo e Letícia pela amizade e pelas contribuições. À Beth, Laura e Marflia pela atenção e dedicação sempre demonstradas. Ao Jacques e ao pessoal do LDCC, Sônia, Ângelo, Luciano e Rogério pela atenção e colaboração sempre presentes. Ainda, às bibliotecrárias: Rose, Silvana, Giselda, Gislene, Sandra e Maria, pela simpatia com que sempre me atenderam. Aos amigos de Campinas: Márcio, Dri, Dani e Sflvia que sempre torceram muito por mim. lll Ao Jacques e ao pessoal do LDCC, Sônia, Ângelo, Luciano e Rogério, pela atenção e colaboração sempre presentes. Ainda, às bibliotecárias, Rose, Silvana, Giselda, Gislene, Sandra e Maria, pela simpatia com que sempre me atenderam. À Luciana, que sempre esteve comigo nos principais momentos da minha vida, sendo o meu principal ponto de apoio nas dificuldades e sempre comemorando comigo as nossas conquistas. Aos meus pais, Arcênio e fvete, que sempre acreditaram em mim e me deram todo apoio e carinho, principalmente nas horas mais difíceis. Ainda, aos meus irmãos Mateus e Giovana que, mesmo sentindo a minha ausência sempre a entenderam, desde a época da faculdade. Ao meu sogros, Marcos e Ana, que me acolheram como mais um filho e sempre me incentivaram muito. Também ao Cléber e à Mara que sempre me trataram como um novo irmão, e às tias Tata e Tita, pelo carinho e atenção sempre dispensadas. Aos amigos da república de São José do Rio Preto, Boy, Ricardo, Davi e Bocaina, pelos bons momentos vividos e pelas conversas que sempre me aguçaram o espírito crítico e científico. Ao pessoal da república de São Carlos, Coxinha, Betão, Delamaro (de novo!), Mário, EItão e Pastel (e Elvis), pelo agradável convívio, pelos churrascos, rachas e cervej inhas pós-rachas. Aos amigos de Rio Preto que também vieram pra São Carlos, Tchelo, Gawa, Prico, Pati, Marcão, Maurão, Marquinhos, Fábio, Rogério e outros, que foram bastante importantes na minha adaptação à nova cidade. Aos novos amigos conquistados , entre outros, que de algum modo me ajudaram neste trabalho. Aos amigos de Campinas, Márcio, Dd, Dani e Sflvya, pelos agradáveis momentos vividos. Ao CNPq pelo apoio financeiro. lv C++, Smalltalk, Eiffel, etc. A LI++ é uma extensão da LI, visto que os corpos dos métodos que compõem um ambiente Orientado a Objetos é basicamente composto por comandos procedimentais (mapeados na LI). Ainda, foi definido e implementado o mapeamento de programas C++ para aLÍ++, baseando-se fortemente na implementação do mapeamento C /LI, pois a linguagem C++ é um superconjunto da linguagem C. lx ABSTRACT The Object-Oriented paradigm has been widely accepted by the academy as well as by the software production industry, requiring efforts for the establishment of testing validation strategies in this context. The testing activity is important to eliminate software defects that would persist after software development. In the literature there are several initiatives proiosing Object-Oriented testing strategies based on "traditional testing" experien6t, rotn" oÌ them based on data flow testing criteria. In the other hand, no specific tools for testing object-Oriented progrÍtms were identified that would support these criteria in thii context. It should be observed that any strategy without the support of a tool is errorprone and expensive.