-----------------------------------

zeft23

Tue Oct 30, 2007 5:49 am


formal verification and testing(help)

-----------------------------------

hello every body
i need any thing about formal verification and testing of software please help


-----------------------------------

rdrake

Tue Oct 30, 2007 9:20 am


RE:formal verification and testing(help)

-----------------------------------

What kind of project?  For .NET there's Nunit which is wonderful.


-----------------------------------

OneOffDriveByPoster

Tue Oct 30, 2007 1:18 pm


Re: formal verification and testing(help)

-----------------------------------

Seriously, what do you need to know this for?

I hope you are _not_ trying to do it on real software.  Formal verification is not something that is usually done AFAIK.

http://en.wikipedia.org/wiki/Formal_verification


-----------------------------------

Tony

Tue Oct 30, 2007 2:41 pm


RE:formal verification and testing(help)

-----------------------------------

It's often done at school. Whitebox/blackbox testing, etc.