ࡱ> -/,bjbjUU B??  0qsssssshssqq`ch]0`ss : Resumo A inspeo de software representa uma maneira eficaz de identificar defeitos em artefatos de software em sua fase inicial, como modelos. Infelizmente, modelos de maior escala e documentos de referncia associados no podem ser completamente inspecionados em uma sesso de inspeo, que comumente dura at duas horas. Sesses consideravelmente maiores mostraram uma eficincia de deteco de defeitos muito menor devido fadiga cognitiva. O objetivo desta dissertao propor e avaliar uma abordagem de definio de escopo para permitir a inspeo de partes especficas de interesse em modelos de maior escala. Primeiramente projetou-se a abordagem, que envolve a identificao dos Elementos de Modelo Esperados (EMEs) em partes selecionadas do documento de referncia e, em seguida, o uso dessas EMEs para o escopo do modelo. Foi realizado um experimento controlado usando artefatos industriais. Os participantes foram solicitados a realizar inspees em diagramas de classe da UML com base em partes selecionadas de especificaes funcionais. No tratamento experimental, a definio de escopo foi aplicada e foi fornecido aos inspetores o escopo do modelo e os EMEs. O grupo de controle usou o modelo original diretamente, sem EMEs. Foram medidas a eficcia e a eficincia da deteco de defeitos dos inspetores e coletados os dados qualitativos sobre a complexidade percebida. Os resultados demonstraram que a aplicao da abordagem de definio de escopo antes da inspeo aumentou a eficcia e a eficincia da deteco de defeitos do inspetor, com grandes tamanhos de efeito. Os dados qualitativos foram obtidos observando uma percepo de reduzida complexidade durante a inspeo. Palavras-chave: Inspeo de software, modelos UML, garantia de qualidade do modelo, definio de escopo, estudo emprico. Abstract Software inspection represents an effective way to identify defects in early phase software artifacts, such as models. Unfortunately, larger scale models and associated reference documents cannot be thoroughly inspected in one inspection session, which usually lasts up to two hours. Considerably longer sessions have shown a much lower defect detection efficiency due to cognitive fatigue. The goal of this dissertation is to propose and evaluate a model scope definition approach to allow inspecting specific parts of interest in larger scale models. First, we designed the approach, which involves identifying Expected Model Elements (EMEs) in selected parts of the reference document and then using these EMEs to scope the model. We conducted a controlled experiment using industrial artifacts. Subjects were asked to conduct UML class diagram inspections based on selected parts of functional specifications. In the experimental treatment, model scope definition was applied and the inspectors were given the scope model and the EMEs. The control group used the original model directly, without EMEs. We measured the inspectors defect detection effectiveness and efficiency and collected qualitative data on the perceived complexity. The results showed that applying model scope definition approach prior to the inspection significantly increased the inspector defect detection effectiveness and efficiency, with large effect sizes. Qualitative data allowed observing a perception of reduced complexity during the inspection. Keywords: software inspection, UML models, model quality assurance, model scope definition, empirical study. em   $ \ ~  '/zCؽبببء}l^l^Q^h@Uh+0JmH sH h@Uh+mHnHsH u!h@Uh+6]mHnHsH u%h5Sh+5;CJ\aJmH sH  hlY<h+h5Sh+6] h5Sh+h+mHnHuh+6]mHnHuhlY<h+mHnHuh5Sh+6]mHnHuh5Sh+mHnHuh5Sh+5;CJ\aJh+5;CJ\aJ'#$ $h`a$gd$d`a$gd`gd`gd $`a$gd . ;N75#$.6h~hh+mH sH h+mH sH h5Sh+6]mH sH h5Sh+mH sH h5Sh+mHnHsH uh@Uh+0JmH sH h@Uh+mHnHsH uh+mHnHsH u@P&P 1h:p2Z. A!"n#$n% Dpj  666666666666666666666666666666666666666666 6666666666 666666666666 6666666666666666666666666666666666666666666666666666666666666666662 0@P`p2( 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p8XV~ OJPJQJ_HmHnHsHtH\`\ Normal$dh`a$ CJOJQJ_HaJmHsHtH DA`D 0Default Paragraph FontRiR 0 Table Normal4 l4a (k ( 0No List 8O8 0tlid-translationV/V V0 TextoSimplesdh`CJOJQJ_HaJN/N V0TextoSimples CharCJOJQJ_HaJPK![Content_Types].xmlj0Eжr(΢Iw},-j4 wP-t#bΙ{UTU^hd}㨫)*1P' ^W0)T9<l#$yi};~@(Hu* Dנz/0ǰ $ X3aZ,D0j~3߶b~i>3\`?/[G\!-Rk.sԻ..a濭?PK!֧6 _rels/.relsj0 }Q%v/C/}(h"O = C?hv=Ʌ%[xp{۵_Pѣ<1H0ORBdJE4b$q_6LR7`0̞O,En7Lib/SeеPK!kytheme/theme/themeManager.xml M @}w7c(EbˮCAǠҟ7՛K Y, e.|,H,lxɴIsQ}#Ր ֵ+!,^$j=GW)E+& 8PK!Ptheme/theme/theme1.xmlYOo6w toc'vuر-MniP@I}úama[إ4:lЯGRX^6؊>$ !)O^rC$y@/yH*񄴽)޵߻UDb`}"qۋJחX^)I`nEp)liV[]1M<OP6r=zgbIguSebORD۫qu gZo~ٺlAplxpT0+[}`jzAV2Fi@qv֬5\|ʜ̭NleXdsjcs7f W+Ն7`g ȘJj|h(KD- dXiJ؇(x$( :;˹! I_TS 1?E??ZBΪmU/?~xY'y5g&΋/ɋ>GMGeD3Vq%'#q$8K)fw9:ĵ x}rxwr:\TZaG*y8IjbRc|XŻǿI u3KGnD1NIBs RuK>V.EL+M2#'fi ~V vl{u8zH *:(W☕ ~JTe\O*tHGHY}KNP*ݾ˦TѼ9/#A7qZ$*c?qUnwN%Oi4 =3ڗP 1Pm \\9Mؓ2aD];Yt\[x]}Wr|]g- eW )6-rCSj id DЇAΜIqbJ#x꺃 6k#ASh&ʌt(Q%p%m&]caSl=X\P1Mh9MVdDAaVB[݈fJíP|8 քAV^f Hn- "d>znNJ ة>b&2vKyϼD:,AGm\nziÙ.uχYC6OMf3or$5NHT[XF64T,ќM0E)`#5XY`פ;%1U٥m;R>QD DcpU'&LE/pm%]8firS4d 7y\`JnίI R3U~7+׸#m qBiDi*L69mY&iHE=(K&N!V.KeLDĕ{D vEꦚdeNƟe(MN9ߜR6&3(a/DUz<{ˊYȳV)9Z[4^n5!J?Q3eBoCM m<.vpIYfZY_p[=al-Y}Nc͙ŋ4vfavl'SA8|*u{-ߟ0%M07%<ҍPK! ѐ'theme/theme/_rels/themeManager.xml.relsM 0wooӺ&݈Э5 6?$Q ,.aic21h:qm@RN;d`o7gK(M&$R(.1r'JЊT8V"AȻHu}|$b{P8g/]QAsم(#L[PK-![Content_Types].xmlPK-!֧6 +_rels/.relsPK-!kytheme/theme/themeManager.xmlPK-!Ptheme/theme/theme1.xmlPK-! ѐ' theme/theme/_rels/themeManager.xml.relsPK]   q$F& .lY<?@U2Zuh&p+caV3p$V5Sw @ @@UnknownG*Ax Times New Roman5Symbol3" Arial7.@CalibriACambria Math"mznzt n0$P !xxRESUMOCarlos Gracioli NetoHelioOh+'0   D P \hpxRESUMOCarlos Gracioli NetoNormal_WordconvHelio2Microsoft Office Outlook@F#@n h@ht ՜.+,0 hp  Hewlett-Packard RESUMO Title  !"#%&'()*+.Root Entry FSmh01TableWordDocumentBSummaryInformation(DocumentSummaryInformation8$CompObjy  F'Microsoft Office Word 97-2003 Document MSWordDocWord.Document.89q  F#Documento do Microsoft Office Word MSWordDocWord.Document.89q