Tcnicas de Inspeo de Documentos de Requisitos

de Software: um Estudo Comparativo

Lilian A. Bertini, Tereza G. Kirner, Maria I. Montebelo, Idemauro A.R. Lara
Universidade Metodista de Piracicaba, Faculdade de Cincias Exatas e da Natureza
Programa de Ps-Graduao em Cincia da Computao
Rodovia do Acar, Km 156, Piracicaba, SP, Brasil
{tgkirner, milmonte, ialara}@unimep.br; lilian@etepa.com.br
Abstract
This paper presents an empirical study on inspection of
Software Requirements Specification (SRS) Documents,
aiming at evaluate the efficiency of reading techniques
applied to these documents. The techniques of Checklist,
Scenario, and Perspective were comparatively evaluated,
through the inspection of the SRS of a software
application, performed by software engineers. The
definition and execution of the empirical study were
presented and the results were discussed.

1. Introduo
Este artigo apresenta um estudo emprico sobre
inspeo de documentos de requisitos de software,
realizada atravs do emprego das tcnicas de Leitura
Baseada em Checklist (LBCh), Leitura Baseada em
Cenrio (LBCe) e Leitura Baseada em Perspectiva (LBPe).
O propsito da pesquisa foi avaliar comparativamente as
trs tcnicas, visando identificar o nvel de eficincia de
cada uma delas no que diz respeito deteco de defeitos
nos documentos considerados.
A inspeo um mtodo que contribui para garantir a
qualidade do produto de software. Todas as etapas do
processo de desenvolvimento de software so suscetveis
incorporao de defeitos, que podem ser detectados pela
inspeo e posteriormente removidos.
importante destacar que quanto mais cedo esses
defeitos forem removidos, menor ser o custo de
desenvolvimento e manuteno do produto. Experincias
tm comprovado que a inspeo, quando realizada no
incio do desenvolvimento do software, leva deteco de
60% a 90% dos defeitos potenciais em um projeto de
software [6].
O artigo enfoca aspectos conceituais, de definio do
estudo emprico e da metodologia empregada para anlise

dos dados, alm de discutir os resultados obtidos. A seo

2 discorre sobre documentao e inspeo de requisitos. A
seo 3 indica trabalhos anteriores relacionados ao tema
enfocado. A seo 4 apresenta a definio do estudo
emprico. A anlise dos resultados descrita na seo 5 e,
por fim, as concluses do estudo so destacadas na seo
6.

2. Inspeo de documentos de requisitos de

software
A especificao uma das fases da engenharia de
requisitos, que compreende uma descrio completa do
comportamento externo do sistema, em termos,
principalmente, de requisitos funcionais e no funcionais.
uma fase muito importante, pois os defeitos que
ocorrerem na especificao tendem a tornar-se cada vez
mais difceis de serem corrigidos medida que o
desenvolvimento do software avana para as prximas
fases do seu desenvolvimento [9].
O resultado da especificao includo no Documento
de Requisitos de Software (DRS), que conta com alguns
padres indicados para sua elaborao. Neste trabalho,
seguiu-se o padro proposto pela IEEE Computer Society
[1], aceito internacionalmente e bastante disseminado no
Brasil. Este padro define o formato e contedo de um
DRS [9], compreendendo as seguintes sees: (a) viso
geral do sistema, incluindo introduo, descrio geral e
requisitos especficos; e (b) requisitos especficos do
sistema, incluindo requisitos funcionais, requisitos de
interface externa, requisitos de performance, restries do
projeto, atributos ou requisitos no funcionais, e outros
requisitos relevantes para o sistema em questo.
DRSs corretos e completos so essenciais para a
produo de sistemas de software de alta qualidade.
Adicionalmente, melhores DRSs podem ser obtidos
atravs da inspeo.
A inspeo vem sendo utilizada, com sucesso, a fim de
aumentar a qualidade dos artefatos produzidos ao longo do

processo de desenvolvimento do software. Compreende

tcnicas que possibilitam a deteco de defeitos nos
diferentes artefatos (como documentos de requisitos,
modelos e representaes grficas, listagens de cdigo,
etc.), que devero ser posteriormente removidos [1]. Neste
contexto, um defeito qualquer condio ou situao que
poderia levar o sistema a se comportar de maneira
indesejvel e representar um risco para a consecuo da
misso do sistema.
Apesar das tcnicas de inspeo terem sido propostas
originalmente para analisar o projeto e o cdigo [8], elas
tambm provaram ser teis para a anlise de outros
artefatos de software [7], [10]. Estudos sobre a inspeo de
DRSs tm reforado a importncia de se detectar defeitos
o mais cedo possvel no software que est sendo
desenvolvido, a fim de se evitar a propagao de tais
defeitos e, conseqentemente, se minimizar os custos de
futuros reparos.
O processo de inspeo inclui as seguintes etapas [2],
[5]:
Planejamento. Nesta etapa, determinado se os
materiais que sero inspecionados so adequados,
organiza-se as pessoas que iro participar da
inspeo e define-se o local onde sero realizadas
as sesses de inspeo.
Viso Geral. Esta etapa inclui a apresentao do
material a ser inspecionado aos participantes e a
atribuio de funes aos participantes, durante a
inspeo.
Preparao. Nesta etapa, os participantes so
treinados para executarem as funes que lhes
foram atribudas, visando encontrar os defeitos
constantes do produto ou artefato de software.
Realizao da Inspeo. Esta etapa inclui sesses
de trabalho, nas quais os participantes analisam o
produto ou artefato de software, com o fim de
detectar os defeitos existentes nesses produtos.
Retrabalho. Nesta etapa, os defeitos detectados,
devidamente documentados, so encaminhados ao
autor do produto que foi inspecionado, para que
seja providenciada a remoo destes defeitos.
Reviso. Nesta etapa, o autor confere o produto
revisado, juntamente com a equipe de inspeo,
para assegurar-se de que todas as correes
necessrias foram realizadas e que nenhum defeito
novo foi introduzido.
Existem algumas tcnicas indicadas para apoiar a
inspeo de documentos e artefatos de software [2], [5],
conhecidas como tcnicas de leitura, que fornecem
diretrizes para a deteco de defeitos durante a inspeo,
contribuindo para a obteno de melhores resultados [6].
Neste estudo, foram consideradas as seguintes tcnicas:

Leitura Baseada em Checklist (LBCh), composta de

uma lista de perguntas que auxilia os inspetores a
encontrar defeitos no produto, durante a inspeo.
Leitura Baseada em Cenrio (LBCe), que descreve
como procurar defeitos com base em um conjunto
de instrues e diretrizes denominadas de cenrios.
Leitura Baseada em Perspectiva (LBPe), que se
baseia na idia de cenrios, porm aplica a inspeo
a partir dos diferentes pontos de vista assumidos
pelos stakeholders do sistema inspecionado.
As trs tcnicas incorporaram a classificao de
defeitos apresentada no Quadro 1, obtida a partir de Kirner
[9] e Lanuble [11]. Uma descrio detalhada das tcnicas
consideradas apresentada em Bertini [4].
Quadro 1. Classificao de defeitos
Classe

Omisso

Tipo

Descrio

Funcionalidade Alguma informao, relativa

Omitida (FO)
descrio do comportamento
esperado do sistema, no aparece
no documento.
Performance
Alguma informao, relativa
Omitida (PO)
descrio
da
performance
desejada, no aparece no
documento, ou aparece de forma
inaceitvel.
Ambiente
Alguma informao, relativa
Omitido (AO) descrio do hardware, do
software, do banco de dados e do
pessoal envolvido, no aparece
no documento.
Interface
Alguma informao, relativa
Omitida (IO)
forma como o sistema interagir
ou
se
comunicar
com
componentes que esto fora do
escopo do sistema, no aparece
no documento.
Comisso Informao
Um termo importante, uma frase
Ambgua (IA) ou uma sentena, essenciais para
o entendimento do sistema no
foi definido no documento, ou
foi definido de forma que possa
causar confuso.
Informao
Duas sentenas contradizem-se
Inconsistente
mutuamente ou expressam aes
(II)
de que no esto corretas ou no
podem ser executadas.
Funcionalidade Alguma sentena expressa um
Incorreta (FI)
fato que no pode ser verdade de
acordo com as condies
especificadas.
Seo Incorreta Alguma informao est em um
(SI)
local
errado
dentro
do
documento.
Outros (O)
Defeitos que no se enquadram
nos tipos acima.

3. Trabalhos relacionados
Kirner [9] realizou um estudo emprico, visando
analisar comparativamente as tcnicas Ad Hoc, Checklist e
Cenrio e identificar qual das trs tcnicas era a mais
eficiente, em termos de deteco de defeitos em DRSs.
Foram inspecionados DRSs j empregados em estudos
anteriores, referentes a um Sistema de Vdeo Locadora,
um Sistema de Controle de Estacionamento e um Sistema
de Caixa Eletrnico. Como resultado, foi constatado que a
porcentagem de defeitos detectados pela tcnica Ad Hoc
(40%) foi menor que a porcentagem relativa tcnica
LBCh (50%), que, por sua vez, foi menor que a
porcentagem relativa tcnica LBCe (60%). Ou seja, a
tcnica LBCe mostrou-se a mais eficiente e a tcnica Ad
Hoc mostrou-se a menos eficiente das trs tcnicas
avaliadas.
Ciolkowski [7] relatam um estudo emprico realizado
para comparar a eficincia da Leitura Baseada em
Checklist (LBCh) em relao Leitura Baseada em
Perspectiva (LBPe). Os resultados obtidos indicaram uma
diferena entre a eficincia de equipes que aplicaram
LBCh e de equipes que aplicaram LBPe, sendo que a
LBPe mostrou-se mais eficiente. Alm disso, no foi
identificada diferena significativa quanto inspeo
individual.
Berling [3] descreveu um estudo de caso realizado na
empresa Ericsson. A tcnica de leitura padro usada na
companhia era a LBCh, porm a organizao estava
interessada em investir em uma outra tcnica mais
eficiente para inspecionar os seus DRSs. Assim, o objetivo
do estudo emprico foi comparar se a LBPe era mais
eficiente que a LBCh, em termos de quantidade de defeitos
detectados no DRS inspecionado. Os resultados obtidos
indicaram uma diferena entre a quantidade de defeitos
detectados atravs da LBCh e da LBPe, sendo que esta
ltima mostrou-se mais eficiente. Alm disso, o tempo
despendido para realizar a inspeo no documento de
requisitos foi menor com o uso da LBPe do que com a
LBCh.
importante destacar que nos dois primeiros
experimentos relatados acima [9], [7], os sujeitos das
pesquisas eram estudantes de graduao ou ps-graduao.
A participao de estudantes, como inspetores em estudos
empricos, tem sido bastante empregada e aceita. Porm,
no estudo emprico apresentado neste artigo, optou-se por
utilizar engenheiros de software para realizar as inspees
e, alm disso, foi inspecionado um DRS de um sistema
real utilizado por empresas.

4. Definio do estudo emprico

Foi realizada a inspeo do DRS do Sistema
Programa de Controle Mdico e Sade Ocupacional PCMSO [12], preparado de acordo com o padro IEEE

[1] e cedido por uma empresa de desenvolvimento de

software da regio de Piracicaba, So Paulo. O PCMSO
tem como objetivo avaliar se as exposies a determinados
riscos esto gerando algum tipo de leso ou doena em
funcionrios de empresas da regio, alm de monitorar a
ocorrncia de tais doenas. Este sistema foi escolhido,
entre outros, por ser de fcil entendimento para os
desenvolvedores de software em geral.
O estudo emprico teve, como sujeitos, 15 engenheiros
de software, que atuam em engenharia de requisitos e
projeto de software, na
regio de Piracicaba. Os
participantes foram convidados a participar da pesquisa, o
que configurou um tipo de amostra por convenincia [11].
Antes de serem convidados, foi constatado que todos
possuam formao acadmica em nvel superior e
experincia profissional como analistas de sistemas e/ou
engenheiros de software, no desempenho de atividades de
especificao de requisitos.
Os participantes foram organizados aleatoriamente em
trs equipes de inspeo, cada qual com cinco
participantes, sendo que um assumiu o papel de moderador
da equipe e outro assumiu o papel de relator dos defeitos
encontrados. Cada equipe recebeu a atribuio de
inspecionar o DRS atravs de uma tcnica, ou seja, uma
equipe utilizou LBCh, outra utilizou LBCe e outra utilizou
LBPe.
As tcnicas de leitura LBCh, LBCe e LBPe basearamse em uma classificao de defeitos que abrangeu os
seguintes tipos:
Omisso, incluindo Funcionalidade Omitida,
Performance Omitida, Ambiente Omitido e
Interface Omitida;
Comisso, incluindo Informao Ambgua,
Informao Inconsistente, Funcionalidade Incorreta
e Seo Incorreta.
Esta classificao foi apresentada no Quadro 1.
A pesquisa props-se a responder as seguintes
perguntas: Qual tcnica de inspeo - LBCh, LBCe ou
LBPe, a mais eficiente em termos de deteco de defeitos
no DRS inspecionado pelos inspetores? Existe associao
entre o nvel de eficincia do mtodo e o nvel de
experincia dos inspetores como engenheiros de
software?
Como nvel de experincia dos inspetores, considerouse o nmero de meses que cada inspetor possua como
analistas de sistemas e/ou engenheiros de software.
A pesquisa baseou-se nas hipteses dadas a seguir,
cada qual definida em termos de suas respectivas H0 e H1.
Hiptese 1. Parte do pressuposto de que as trs
tcnicas de inspeo - LBCh, LBCe e LBPe,
possuem o mesmo nvel de eficincia no tocante
deteco de defeitos, obtida pelos inspetores,
atravs da inspeo do documento de requisitos de
software.

 Hiptese 2. Parte do pressuposto de que no existe

associao entre o nvel de eficincia da tcnica de
inspeo (LBCh, LBCe e LBPe) e o nvel de
experincia dos inspetores como engenheiros de
software.
Para a realizao da pesquisa, as tcnicas foram
estudadas, sendo preparados formulrios relativos
aplicao de cada tcnica. Foi preparado tambm um
questionrio para levantamento de informaes a respeito
da utilizao das tcnicas, que foi respondido pelos
participantes aps a realizao da inspeo.
A pesquisa foi conduzida nas dependncias da
Universidade Metodista de Piracicaba, em setembro de
2005, e compreendeu duas sesses. A primeira, que durou
uma hora, consistiu de uma explanao sobre o documento
de requisitos de software, o uso da inspeo e as trs
tcnicas de inspeo adotadas na pesquisa. A segunda
sesso, que teve um tempo mximo de trs horas, consistiu
da inspeo propriamente dita.
Para realizar a inspeo, cada participante recebeu os
seguintes documentos, que permitiram a inspeo:
DRS do Sistema PCMSO;
Formulrio de Descrio da Tcnica (LBCh, LBCe
ou LBPe);
Quadro de Classificao de Defeitos;
Formulrio de Anotao de Defeitos (Individual);
Adicionalmente, cada equipe recebeu o Formulrio de
Anotao de Defeitos para utilizao da equipe.
Aps o trmino da inspeo, cada participante recebeu
o Questionrio de Aspectos Gerais, cujo objetivo era obter
informaes sobre a atuao profissional e a experincia
dos participantes.

5. Anlise dos dados

5.1. Metodologia
Os dados foram coletados a partir do Formulrio de
Anotao de Defeitos, preenchido individualmente pelos
membros de cada equipe, e dos formulrios preenchidos
pelas trs equipes. Alm disso, foram coletados os dados
fornecidos pelos participantes atravs do Questionrio de
Aspectos Gerais.
Os dados obtidos nos Formulrios de Anotao de
Defeitos propiciaram o teste da hiptese 1. Estes dados,
juntamente com dados referentes experincia dos
participantes, obtidos no Questionrio de Aspectos Gerais,
permitiram o teste da hiptese 2.
A anlise dos dados utilizou tcnicas de anlise
exploratria, incluindo recursos da estatstica descritiva e
de testes de hipteses [11].
Para testar a hiptese 1, foi utilizado o teste de
Kruskal-Wallis para diferenas de medianas [11], [13],
com o objetivo de verificar se existiam diferenas
significativas entre o emprego das tcnicas LBCh, LBCe e

LBPe, no tocante ao nmero de defeitos detectados atravs

de cada tcnica. complementarmente, foi definido que,
caso o teste de Kruskal-Wallis apresentasse uma diferena
significativa na anlise das tcnicas, seria realizada uma
anlise posterior, atravs de comparaes mltiplas usando
o Teste de Tukey-Kramer [11]. As variveis utilizadas
para testar a hiptese foram NRO-DEFEITOS-LBCH,
NRO-DEFEITOS-LBCE e NRO-DEFEITOS-LBPE que
continham respectivamente o nmero de defeitos das
tcnicas de inspeo analisadas. O resultado foi analisado
a partir do nvel de significncia de 5%, comparado com o
valor p obtido a partir das medianas entre o NRODEFEITOS-LBCH, NRO-DEFEITOS-LBCE e NRODEFEITOS-LBPE.
Para testar a hiptese 2, foi utilizado o teste de
Correlao Linear de Pearson [11], [13], visando avaliar a
associao entre as variveis consideradas no estudo. As
variveis utilizadas para testar essa hiptese foram NRODEFEITOS-DETECT e TEMPO-EXPER, que continham,
respectivamente, o nmero de defeitos detectados pelos
participantes, atravs de uma tcnica, e o tempo de
experincia dos inspetores. O resultado foi analisado a
partir do nvel de significncia de 5%, comparado com o
valor p obtido a partir da associao entre as variveis
NRO-DEFEITOS-DETECT e TEMPO-EXPER.
As anlises foram realizadas com o auxlio do software
Statgraphics [14].

5.2. Teste das hipteses

5.2.1. Hiptese 1
Neste caso, foram consideradas as seguintes hipteses
H0 e H1, apresentadas a seguir.
H0. Parte do pressuposto de que no h diferena
na eficincia entre as tcnicas utilizadas para
inspeo do DRS, realizada pelos inspetores (que
utilizaram as tcnicas LBCh, LBCE e LBPe), no
que diz respeito quantidade de defeitos
detectados.
H1. Parte do pressuposto de que h diferena na
eficincia entre as tcnicas utilizadas para inspeo
do DRS, realizada pelos inspetores (que utilizaram
as tcnicas LBCh, LBCE e LBPe), no que diz
respeito quantidade de defeitos detectados.
A Tabela 1 apresenta os resultados do teste estatstico
Kruskal-Wallis, referente s medianas obtidas em relao
aos tipos de defeitos detectados pelos inspetores, seguindo
a classificao de defeitos empregada, atravs das tcnicas
de inspeo utilizadas.

Tabela 1. Resultado do teste de Kruskall-Wallis

na inspeo entre as equipes, por tcnica e tipo
de defeito
Tipos de
Defeitos/
Tcnicas
Comisso
Omisso
FO
PO
IO
AO
IA
II
FI
SE

LBCh
8
6,4
7
4
12

LBCe
6,8
6,5
5,8
10
6

LBPe
9,2
11,1
11,2
10
6

Valor p
0,692662
0,114092
0,035084*
0,006738*
0,006152*

6,3
11,2
6
6,1

7,7
6,2
9
7

10
6,6
9
10,9

0,33024
0,129126
0,116037
0,119496

A Tabela 1 indica que existem evidncias para a

rejeio de H0, para os tipos de defeitos FO, PO e IO, no
resultado obtido atravs do teste de Kruskal-Wallis. Neste
caso, conforme definido previamente, procedeu-se
anlise por comparaes mltiplas, usando o teste de
Tukey-Kramer, a fim de se verificar em quais tcnicas de
leitura, LBCh, LBCe e LBPe, elas se diferem.
A continuidade da anlise, atravs do teste de TukeyKramer, apresentada a seguir. As tabelas 2 a 8,
apresentadas a seguir, mostram a anlise dos defeitos da
classe Omisso, referentes aos tipos FO, PO e IO.
Tabela 2. Teste de Kruskall-Wallis para deteco
de defeitos do tipo FO por tcnicas
Tcnicas
LBCe
LBCh
LBPe

Tamanho da Amostra
5
5
5

Medianas
5,8
7,0
11,2

Estatstica do Teste = 6,7

Valor p = 0,0350844
A partir da Tabela 2, observou-se que existem
diferenas significativas entre as tcnicas LBCh, LBCe e
LBPe na deteco de defeitos do tipo FO. Com base nesse
resultado, procedeu-se anlise atravs do Mtodo de
Tukey-Kramer, mostrada na Tabela 3.

Tabela 3. Comparao pelo mtodo de Tukey

(HSD) ao nvel de 0,05 de significncia com o
valor absoluto das mdias dos defeitos FO
Tcnicas

Tamanho da
Amostra

Valor
Absoluto
Mdias

Grupos
Homogneos

LBCe
LBCh
LBPe

5
5
5

2,8
3,0
3,6

X
XX
X

Comparao
Diferenas - HSD Limites (+/-)
LBCe - LBCh
(2,8-3,0)= -0,2
0,690733
LBCe - LBPe
(2,8-3,6)= -0,8*
0,690733
LBCh - LBPe
(3,0-3,6)= -0,6
0,690733
* denota-se uma diferena estatisticamente significativa

Com base nos resultados mostrados na Tabela 3, podese concluir que a tcnica LBPe foi eficiente na deteco de
defeitos do tipo FO, comparando-se principalmente com a
tcnica LBCe, que demonstra evidncias de diferenas
entre essas tcnicas.
Tabela 4. Teste de Kruskall-Wallis para deteco
de defeitos do tipo PO por tcnicas
Tcnicas
LBCe
LBCh
LBPe

Tamanho da
Amostra
5
5
5

Medianas
10,0
4,0
10,0

Estatstica do Teste = 10,0

Valor p = 0,00673795
A partir da Tabela 4, observou-se que existem
diferenas significativas entre as tcnicas LBCh, LBCe e
LBPe na deteco de defeitos do tipo PO. Com base nesse
resultado, realizou-se a analise atravs do Mtodo de
Tukey-Kramer, mostrada na Tabela 5.

Tabela 5. Comparao pelo mtodo de Tukey

(HSD) ao nvel de 0,05 de significncia com o
valor absoluto das mdias dos dados do tipo PO
Tcnicas

Tamanho da
Amostra

LBCe
LBCh
LBPe

5
5
5

Valor
Absoluto
Mdias
2,0
1,0
2,0

Grupos
Homogneos
X
X
X

Comparao

Diferenas Limites (+/-)

HSD
LBCe - LBCh (2,0 1,0)= 1,0*
0,690733
LBCe - LBPe
(2,0 2,0)= 0,0
0,690733
LBCh - LBPe (1,0- 2,0)= -1,0*
0,690733
* denota-se uma diferena estatisticamente significativa

Com base nos resultados apresentados na Tabela 5,

observou-se que as tcnicas LBCe e LBPe mostraram-se
significativamente eficientes, em relao tcnica LBCh,
na deteco do tipo de defeito PO.
Tabela 6. Teste de Kruskall-Wallis para deteco
de defeitos do tipo IO por tcnicas
Tcnicas
LBCe
LBCh
LBPe

Tamanho da Amostra
5
5
5

Medianas
6,0
12,0
6,0

Estatstica do Teste = 10,1818

Valor p = 0,00615242
A partir da Tabela 6, observou-se que existem
diferenas significativas entre as tcnicas LBCh, LBCe e
LBPe na deteco de defeitos do tipo IO. Com base nesse
resultado, procedeu-se analise atravs do Mtodo de
Tukey-Kramer, mostrada na Tabela 7.
Tabela 7. Comparao pelo Mtodo de Tukey
(HSD) ao nvel de 0,05 de significncia com o
valor absoluto das mdias dos dados do tipo IO
Tcnicas

Tamanho da
Amostra

LBCe
LBPe
LBCh

5
5
5

Comparao

Diferenas - HSD

Valor
Absoluto
Mdias
0,0
0,0
0,8

Grupos
Homogneos
X
X
X

Limites
(+/-)
LBCe - LBCh
(0,0-0,8)= -0,8*
0,436858
LBCe - LBPe (0,0-0,0)= 0,0
0,436858
LBCh - LBPe
(0,8-0,0)= 0,8*
0,436858
* denota-se uma diferena estatisticamente significativa

Conforme mostrado na Tabela 7, dentre as tcnicas

analisadas e avaliadas, pode-se concluir que a tcnica
LBCh mostrou-se eficiente na deteco dos defeitos do
tipo IO, comparando-se com as tcnicas LBPe e LBCh.
Tabela 8. Teste de Kruskall-Wallis para deteco
de defeitos do tipo AO por tcnicas
Tcnicas
LBCe
LBCh
LBPe

Tamanho da
Amostra
5
5
5

Medianas
8,5
7,0
8,5

Estatstica do Teste = 2,0

Valor p = 0,367879
Conforme mostra a Tabela 8, observou-se que no
existem diferenas significativas entre as tcnicas LBCh,
LBCe e LBPe, na deteco de defeitos do tipo AO. Sendo
assim, no se procedeu anlise atravs do mtodo TukeyKramer.
Em suma, considerando-se os tipos de defeitos da
classe Omisso, conforme anlises realizadas atravs dos
mtodos Kruskall-Wallis e Tukey-Kramer, ficou
evidenciado que: a tcnica LBPe mostrou ser eficiente na
deteco de defeitos dos tipos FO e PO; a tcnica LBCh
mostrou ser eficiente na deteco de defeitos do tipo IO; e
a tcnica LBCe mostrou ser eficiente na deteco de
defeitos do tipo PO. Quanto deteco dos defeitos de
Omisso do tipo AO, os resultados dos testes indicaram
que no existem diferenas significativas entre o uso das
tcnicas LBCh, LBCe e LBPe.
5.2.2. Hiptese 2
Neste caso, foram consideradas as seguintes hipteses
H0 e H1:
H0. Parte do pressuposto de que a experincia dos
participantes no causa influncia na eficincia
entre as tcnicas utilizadas na inspeo individual
(LBCh, LBCe e LBPE), no que diz respeito
quantidade de defeitos detectados.
H1. Parte do pressuposto de que a experincia dos
participantes causa influncia na eficincia entre as
tcnicas utilizadas na inspeo individual (LBCh,
LBCe e LBPE), no que diz respeito quantidade de
defeitos detectados.
A anlise desta hiptese foi subsidiada pelos resultados
do teste de Correlao Linear de Pearson [11], [13],
analisado a partir das variveis NRO-DEFEITOSDETECT e TEMPO-EXPER (em meses) do inspetor. Os
resultados obtidos constam do Quadro 2, que mostra
quantos defeitos foram detectados e qual o tempo de
experincia (em meses), como analista de sistemas e/ou
engenheiro de software, de cada um dos cinco inspetores

que participaram de cada uma das trs equipes de

inspeo. O quadro mostra tambm os resultados do teste
de Correlao Linear de Pearson.
O resultado obtido no Coeficiente de Correlao Linear
sugere que no h evidncias para rejeio de H0, uma vez
que foi identificada uma fraca correlao entre o nmero
de defeitos detectados na inspeo, atravs das tcnicas

LBCh, LBCe e LBPe, e o tempo de experincia dos

inspetores como analistas de sistemas ou engenheiros de
software. Ou seja, o teste de correlao evidenciou que a
experincia dos inspetores no apresentou influncia na
quantidade de defeitos detectados pelas tcnicas LBCh,
LBCe e LBPe, utilizadas na inspeo.

Quadro 2. Teste de Correlao Linear de Pearson

Nmero de defeitos detectados X Tempo de experincia dos inspetores

Inspetor 1
Tempoexper.
(meses)
80

Nrodefeitos
detect.
12

Inspetor 1

Tempoexper.
(meses)

80

Nrodefeitos
detect.

11

Inspetor 1

Tempoexper.
(meses)
40

Nrodefeitos
detect.
17

Tcnica LBCh
Inspetor 3

Inspetor 2
Tempoexper.
(meses)
20

Nrodefeitos
detect.
14

Inspetor 2

Tempoexper.
(meses)

80

Nrodefeitos
detect.

12

Inspetor 2

Tempoexper.
(meses)
40

Nrodefeitos
detect.
13

Tempoexper.
(meses)
60

Nrodefeitos
detect.
9

Tcnica LBCe
Inspetor 3

Tempoexper.
(meses)

60

Nrodefeitos
detect.

14

Tcnica LBPe
Inspetor 3

Tempoexper.
(meses)
40

Nrodefeitos
detect.
10

Inspetor 4
Tempoexper.
(meses)
80

Inspetor 5

Nrodefeitos
detect.
18

Inspetor 4

Tempoexper.
(meses)

80

Nrodefeitos
detect.

13

Inspetor 4

Tempoexper.
(meses)
80

Nrodefeitos
detect.
15

Tempoexper.
(meses)
80

Nrodefeitos
detect.
11

Inspetor 5

Tempoexper.
(meses)

80

Nrodefeitos
detect.

12

Inspetor 5

Tempoexper.
(meses)
20

Nrodefeitos
detect.
16

Estatstica do Teste = 0,6097

Gl = 13
Valor p = 0,5526
Correlao = 0,1667329
Os dados relativos ao nmero de defeitos detectados e
ao tempo de experincia em especificao de requisitos,
referentes aos 15 inspetores, permitiram compor o
Diagrama de Disperso, apresentado na Figura 1. Nessa
figura, pode-se observar que os pontos do Diagrama de
Disperso no apresentam aspecto linear, ou seja, sugerem
que o Nmero de Defeitos Detectados pelos Inspetores e o
Tempo de Experincia dos Inspetores no esto
correlacionados. Tal fato evidencia que no existe
nenhuma correlao significativa entre a experincia dos
inspetores e os resultados obtidos em relao ao nmero
de defeitos detectados pelos inspetores, atravs das trs
tcnicas de leitura aplicadas inspeo do DRS.

80
tempo de 60
experincia
(em meses) 40

20
9 10 11 12 13 14 15 16 17 18
nmero de defeitos detectados

Figura 1. Diagrama de Disperso - Nmero de

Defeitos Detectados X Tempo de Experincia dos
Inspetores

6. Consideraes finais
Este trabalho teve como objetivo comparar a eficincia
entre as tcnicas LBCh, LBCe e LBPe, no que diz respeito
ao nmero de defeitos detectados atravs da inspeo de
documentos de requisitos. Neste sentido, foi realizado um
estudo emprico no qual foi inspecionado o DRS de um
sistema real, o sistema PCMSO [12], preparado de acordo
com o padro IEEE [1]. O PCMSO empregado para
avaliar se as exposies a determinados riscos esto
gerando algum tipo de leso ou doena em funcionrios de
empresas, alm de monitorar a ocorrncia de tais doenas.
O estudo emprico teve, como sujeitos, 15 analistas de
sistemas e/ou engenheiros de software, que atuam em
engenharia de requisitos e projeto de software, na regio
de Piracicaba, So Paulo.
Com base nos resultados obtidos atravs do teste das
hipteses propostas no estudo, pode-se destacar os
seguintes aspectos:
a) Quanto eficincia das tcnicas:
A tcnica LBPe mostrou superioridade, no que diz
respeito sua eficincia na deteco de defeitos dos
tipos PO (Performance Omitida) e FO
(Funcionalidade Omitida), pertencentes classe
Omisso.
A tcnica LBCe mostrou superioridade, no que diz
respeito sua eficincia na deteco do tipo de
defeito PO (Performance Omitida), pertencente
classe Omisso.
A tcnica LBCh mostrou superioridade, no que diz
respeito sua eficincia na deteco do tipo de
defeito IO (Interface Omitida), pertencente classe
Omisso.
b) Quanto experincia dos inspetores:
Observou-se uma fraca correlao entre o nmero
de defeitos detectados pelos inspetores, atravs das
tcnicas tcnicas LBCh, LBCe e LBPe, e o tempo
de experincia desses inspetores. Ou seja, de
maneira geral, os participantes com mais
experincia no executaram melhor a inspeo do
que os participantes com menos experincia
O fato de o estudo indicar que cada tcnica pode ser
mais eficiente na deteco de um tipo de defeito constante
no DRS, sugere a possibilidade de se investir na definio
de nova tcnica de leitura para se inspecionas documentos
de requisitos. Tal tcnica poderia, assim, ter caractersticas
provenientes da LBCh, da LBCe e LBPe.
A correlao no significativa entre a experincia dos
inspetores e a quantidade de defeitos detectados atravs
das tcnicas pode indicar um ponto de partida para a
realizao de novas pesquisas, que considerem outras
caractersticas dos participantes, como formao
acadmica, nvel de conhecimento sobre as tcnicas, etc.
De maneira geral, os resultados obtidos podem ser
teis para a elaborao de planos de treinamento de

profissionais de engenharia de requisitos, que venham a

atuar em inspeo de software.
Em relao a resultados obtidos em pesquisas
anteriores, pode-se destacar que o presente estudo
emprico avanou no sentido de indicar a eficincia de
cada tcnica na deteco de tipos especficos de defeitos.
Tal constatao pode ser til para o aprimoramento das
trs tcnicas de leitura (LBCh, LBCe e LBPe), para que
estas alcancem maior nvel de eficincia. Cabe destacar
tambm que o presente estudo envolveu a inspeo do
DRS de um sistema real, realizada por analistas de
sistemas e/ou engenheiros de software que atuam no
mercado profissional.
Finalmente, importante enfatizar a necessidade de
novas pesquisas, a fim de se refinar e estender os
resultados obtidos no presente estudo.

Referncias
[1] ANSI/IEEE Std 830-1994, IEEE Guide to Software
Requirements Specifications. IEEE Computer Society, 1998.
[2] V. Basili, F. Shull, and F. Lanubile, Building Knowledge
through Families of Experiments, IEEE Transactions on
Software Engineering, vol. 25, n. 4, July 1999, p. 456-473.
[3] T. Berling, and T. Thelin, A Case Study of Reading
Techniques in a Software Company, International Symposium
on Empirical Software Engineering, 2004, p. 25-35.
[4] L.A. Bertini, Avaliao de Tcnicas de Inspeo de
Documentos de Requisitos de Software. Dissertao de Mestrado,
Universidade Metodista de Piracicaba, 2006.
[5] B. Biffl, F. Bed, and O. Laitenberger, Investigating the CostEffectiveness of Reinspections in Software Development,
International Conference on Software Engineering, 2001, p. 155164.
[6] B. Boehm, and V. Basili, Software Defect Reduction Top 10
List, IEEE Software, vol. 34, n 1, January 2001, p.135-137.
[7] M. Ciolkowski, Evaluating the Effectiveness of Different
Inspection Techniques on Informal Requirements Documents.
Master Thesis, University of Kaiserslautern, Germany, 1999.
[8] M.E. Fagan, Design and Code inspections to Reduce Errors
in Program Development, IBM System Journal, vol. 15, n. 3,
1976, p. 219-248.
[9] T.G. Kirner, and J.C. Abib, Inspection of Software
Requirements Documents: A Pilot Study, XV International
Conference on System Documentation, 1998, p. 161-171.
[10] F. Lanuble, F. Shull, and V. Basili, Experimenting with
Error Abstraction in Requirements Documents, 5th
International Symposium on Software Metrics, 1998, p. 114-121.
[11] D.M. Levine, Estatstica: Teoria e Aplicaes. Rio de
Janeiro, LTC, 2000.
[12] PCMSO - Documento de Requisitos de Software do
Programa de Controle Mdico e Sade Ocupacional. 2004, 20 p.
[13] J.C. Pereira, Anlise de Dados Qualitativos. So Paulo,
Editora da USP, 2004.
[14] Statgraphics, 2005. http://www.statgraphics.com/