Verification of bug fixes

Rodrigo Rocha Gomes e Souza <[email protected]> Tue, 1 Oct 2013 06:28:48 -0300
Newsgroups gmane.comp.java.netbeans.general
Message-ID <CABve3ZyZOFmmruUMxVYw0hyF7oY-zVKXQRymzfPUnYyyhX8JGA@mail.gmail.com>
--047d7b450a42aa070e04e7aa95d9
Content-Type: text/plain; charset=ISO-8859-1

Hi,

I'm a PhD student at the Federal University of Bahia, Brazil. As part of my
research, I'm analyzing NetBeans Platform bug reports to try to understand
how software verification/testing can be made more effective.

However, it's hard to reach meaningful conclusions only looking at bug
reports; I need some feedback from the community to understand what happens
behind the scenes. For example:

* when someone marks a bug as VERIFIED, does it mean that the bug fix was
manually tested? Or that the source code was reviewed? Or it depends?
* do you use automated tests? If so, when are they run?

I really appreciate any information you can provide to help me understand
the verification process in NetBeans Platform.

Best regards,
Rodrigo

--047d7b450a42aa070e04e7aa95d9
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi,<div><br></div><div>I&#39;m a PhD student at the Federa=
l University of Bahia, Brazil. As part of my research, I&#39;m analyzing Ne=
tBeans Platform bug reports to try to understand how software verification/=
testing can be made more effective.</div>

<div><br></div><div>However, it&#39;s hard to reach meaningful conclusions =
only looking at bug reports; I need some feedback from the community to und=
erstand what happens behind the scenes. For example:</div><div><br></div>

<div>* when someone marks a bug as VERIFIED, does it mean that the bug fix =
was manually tested? Or that the source code was reviewed? Or it depends?</=
div><div>* do you use automated tests? If so, when are they run?</div>
<div>
<br></div><div>I really appreciate any information you can provide to help =
me understand the verification process in NetBeans Platform.</div><div><br>=
</div><div>Best regards,</div><div>Rodrigo</div></div>

--047d7b450a42aa070e04e7aa95d9--