аЯрЁБс>ўџ ,.ўџџџ+џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџьЅСq`№П bjbjqPqP7 :: џџџџџџЄжжжжжжжъв в в в о ъ…^і і і і і і і і $уhKN*жі і і і і *жжі і ?Р Р Р і Rжі жі Р і Р Р жжР і ъ №#ы"ев H :Р № U0…Р ™‚ (™Р ™жР 0і і Р і і і і і **Њ і і і …і і і і ъъъю фъъъю ъъъжжжжжжџџџџ  Resumo Estudos apontam que uma grande parte do custo total do desenvolvimento de software se refere a propѓsitos de controle de qualidade. De acordo com a literatura, uma combinaчуo adequada de mщtodos de verificaчуo e validaчуo (V&V) щ importante para melhorar o controle de qualidade de software durante todo o processo de desenvolvimento, reduzindo tais custos. No entanto, nуo hс evidъncias concretas sobre quais mщtodos de V&V sуo mais adequados para cobrir cada uma das caracterэsticas da qualidade do software. Para isso, uma pesquisa foi aplicada a especialistas da сrea, obtendo-se uma configuraчуo inicial da relaчуo entre mщtodos de V&V e caracterэsticas de qualidade de software. Por outro lado, encontrar um conjunto apropriado de mщtodos V&V que juntos cobrem adequadamente as caracterэsticas de qualidade desejadas de um determinado projeto щ um problema difэcil. Neste trabalho, apresenta-se uma nova abordagem que combina os mщtodos V&V de forma eficiente para cobrir adequadamente um conjunto de caracterэsticas de qualidade. Para modelar o problema utiliza-se um grafo bipartido que representa as relaчѕes entre os mщtodos V&V e as caracterэsticas de qualidade. Entуo, o problema щ interpretado como o Problema da Cobertura por Conjunto (Set Cover). Embora Set Cover seja considerado difэcil de ser resolvido, atravщs do referencial teѓrico da Complexidade Parametrizada propomos um Algoritmo FPT (algoritmo tratсvel por parтmetros fixos) que efetivamente resolve o problema, considerando o nњmero de caracterэsticas de qualidade a serem cobertas como parтmetro. Conclui-se que os resultados da pesquisa sуo essenciais para a identificaчуo dos “melhores” mщtodos de V&V que cobrem um conjunto de caracterэsticas de qualidade, estas configuraчѕes iniciais podem ser refinadas de acordo com o custo dos mщtodos, tipo de projeto e contexto a ser aplicado na indњstria. O algoritmo proposto representa uma ferramenta poderosa para combinar os mщtodos V&V de forma otimizada, sendo mais escalсvel e eficiente do que outros de forчa bruta em termos de capacidade de manutenчуo e especializaчуo, representando uma contribuiчуo valiosa para a comunidade. Palavras-chave: combinaчуo, verificaчуo, validaчуo, mщtodo, software, caracterэsticas de qualidade. Abstract Studies point out that a large amount of the total cost of software development concerns quality control purposes. According to the literature, an adequate combination of verification and validation (V&V) methods is important to improve software quality control throughout the development process and to reduce such costs. However there is no concrete evidence on what V&V methods are used to cover each of the software quality characteristics. For this, a survey was applied to experts of the area, obtaining an initial configuration of the relationship between V&V methods and software quality characteristics. On the other hand, finding an appropriate set of V&V methods that together properly cover the desired quality characteristics of a given project is a NP-hard problem. In this work, is presented a novel approach that combines V&V methods efficiently in order to properly cover a set of quality characteristics. To modelated the problem is using a bipartite graph representing the relationships between V&V methods and quality characteristics. Then, the problem is interpreted as the Set Cover Problem. Although Set Cover is considered hard to be solved, through the theoretical framework of Parameterized Complexity is proposed an FPT-Algorithm (fixed-parameter tractable algorithm) that effectively solves the problem, considering the number of quality characteristics to be covered as a parameter. Is concluded that the results of the survey are essential for the identification of “best” V&V methods that cover a set of quality characteristics, this initial configurations can be refined according to the cost of the methods, type of project and context to be applied in the industry. The algorithm proposed represents a powerful tool to combine V&V methods optimally, being more scalable and efficient than others like brute force or ex-haustive searches in terms of the maintainability and expertise, which represent a valuable contribution to the community. Keywords: combination, verification, validation, method, software, quality characteristics. yˆмчшёЌЕ ѕюъюъумЮУЮУПhž h Љh ЉmH sH h Љh Љ5\mH sH  h Љh Љ h Љhž h Љ h Љ5\h Љhž mH sH  Е /yнопрстуфхцчшёXwЌ  њђъъъъњњњњњњњњњњхђъъъъњњ$a$$a$gd Љ$a$gd Љ$a$ §50P:pА*ЖА‚. АЦA!АЅ"АЅ#‰$‰%ААФАФ а†œ 666666666666666666666666666666666666666666 6666666666 666666666666 666666666666666666666666666666666666666666666666666666666666666666J@ёџJ Normal dЄ CJ_HaJmHsHtHL@QRL А*Ж0Tэtulo 1$$ЄрЄx@&5CJ0\aJ0L@QRL А*Ж0Tэtulo 2$$ЄhЄP@&5CJ$\aJ$L@QRL А*Ж0Tэtulo 3$$ЄЄP@&5CJ\aJL@QRL А*Ж0Tэtulo 4$$Є№Є(@&5CJ\aJD@QRD А*Ж0Tэtulo 5$$ЄмЄ(@&5\L@QRL А*Ж0Tэtulo 6$$ЄШЄ(@&5CJ\aJ>A@ђџЁ> 0Fonte parсg. padrуoTi@ѓџГT 0 Tabela normalі4ж l4жaі ,kєџС, 0 Sem lista PўOЂёP жA Char Char7"5CJ KH OJPJQJ\^JaJ RўЂR жA Char Char6$56CJOJPJQJ\]^JaJLўЂL жA Char Char55CJOJPJQJ\^JaJLўЂ!L жA Char Char45CJOJPJQJ\^JaJRўЂ1R жA Char Char3$56CJOJPJQJ\]^JaJDўЂAD жA Char Char25OJPJQJ\^JJўOёџRJ А*Ж0normal dЄ CJ_HaJmHsHtHD>@QRD А*Ж0Tэtulo$$ЄрЄx5CJH\aJHPўOЂqP жA  Char Char1"5CJ KHOJPJQJ\^JaJ `J@QR` А*Ж0 Subtэtulo$$ЄhЄP#6B*CJ0OJQJ]^JaJ0phfffDўOЂ‘D жAА Char CharCJOJPJQJ^JaJ  џџџџЕ/yнопрстуфхцчшёX wЌ  ˜0€€˜0€€˜@0€€˜@0€€˜@0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜0€€˜@0€€˜@0€€˜@0€€˜@0€€˜0€€˜0€€туфхцч Kˆ04O…Iˆ0€Iˆ0€| љ~lљ~Аљ~јљ~Iˆ0Kˆ0Kˆ0ф7    юѓгмш№‘ š 19 eqНЦш№‘ š 3ш№ё ш№ хž Д:Й|sь’ ЉА*Ж  џ@€шш Z~шш @@џџUnknownџџџџџџџџџџџџGџ:рAxР џTimes New Roman5€Symbol3& џ:рCxР џArial7&џрџЌ@ŸCalibri7џрџ@ŸCambria7‡ŸGeorgia"Aˆ№аЉm hgфkv‡ЉaЉa!№Ѕ‰ДД24№ќџ(№џ$PџџџџџџџџџџџџџџџџџџџџџА*Ж2џџAbstractHelioHelioўџр…ŸђљOhЋ‘+'Гй0p˜ЌИШдр№   , 8 DPX`hф AbstractHelioNormalHelio3Microsoft Office Word@Œ†G@NЄќЖ)д@Јии"еЉaўџеЭеœ.“—+,љЎ0№ hp|„Œ” œЄЌД М бфц  Abstract Tэtulo ўџџџўџџџ !"ўџџџ$%&'()*ўџџџ§џџџ-ўџџџўџџџўџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџRoot Entryџџџџџџџџ РF0(ы"е/€1Tableџџџџџџџџ™WordDocumentџџџџџџџџ7 SummaryInformation(џџџџDocumentSummaryInformation8џџџџџџџџџџџџ#CompObjџџџџџџџџџџџџuџџџџџџџџџџџџџџџџџџџџџџџџўџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџўџ џџџџ РF#Documento do Microsoft Office Word MSWordDocWord.Document.8є9Вq