@MASTERSTHESIS{ 2012:994901316,
 	title = {Conjunto de caracter?sticas para teste de desempenho: uma vis?o a partir de modelos},
 	year = {2012},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/5187",
 	abstract = "O processo de teste de software possui um custo elevado se comparado com as demais etapas de desenvolvimento de software. A automa??o do teste de software por meio do reuso de artefatos de software, e.g., modelos, tem sido uma boa alternativa para mitigar estes custos, reduzindo o tempo de gera??o e execu??o dos casos de teste, tornando mais eficiente e eficaz este processo. Nesse sentido, a abordagem de Teste Baseado em Modelos (Model Based Testing - MBT) est? crescendo na Engenharia de Software. MBT ? uma t?cnica que consiste na gera??o autom?tica dos artefatos de teste com base em informa??es extra?das dos modelos de software, que inclui tamb?m a especifica??o dos aspectos que ser?o testados. O presente trabalho tem por objetivo estudar t?cnicas e metodologias para MBT e avaliar as caracter?sticas dos diferentes modelos aplicados em MBT. A principal contribui??o deste estudo ? a an?lise das caracter?sticas dos modelos que s?o utilizados no teste de desempenho em aplica??es web. Em outra perspectiva, a pesquisa norteia a investiga??o de modelos e m?todos para gera??o de sequ?ncias de teste. Assim, apresenta a abordagem de gera??o de casos de teste baseado em MEFs (M?quinas de Estados Finitos), conceituando MEF e ainda, descreve o processo de gera??o das sequ?ncias de teste atrav?s do m?todo HSI (Harmonized State Identification). Por outro lado, a implementa??o de um plug-in para a ferramenta PLeTs, que implementa uma linha de produtos de software, baseado no modelo UML SPT, que interpreta o conjunto de caracter?sticas para teste de desempenho desenvolvido, ? apresentado em um estudo de caso real. Com esta an?lise, definem-se quais caracter?sticas devem estar presentes no modelo para a modelagem das intera??es do usu?rio com o SUT (System Under Test), buscando o maior reuso deste modelo ao longo do ciclo de vida de desenvolvimento do software.",
 	publisher = {Pontif?cia Universidade Cat?lica do Rio Grande do Sul},
 	scholl = {Programa de P?s-Gradua??o em Ci?ncia da Computa??o},
 	note = {Faculdade de Inform?ca}
}