| Author |
Message |
zeft23
|
 Posted: Tue Oct 30, 2007 5:49 am Post subject: formal verification and testing(help) |
|
|
hello every body
i need any thing about formal verification and testing of software please help |
|
|
|
|
 |
Sponsor
Sponsor
|
|
|
rdrake
|
| Posted: Tue Oct 30, 2007 9:20 am Post subject: RE:formal verification and testing(help) |
|
|
| What kind of project? For .NET there's Nunit which is wonderful. |
|
|
|
|
|
OneOffDriveByPoster
|
| Posted: Tue Oct 30, 2007 1:18 pm Post subject: 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
|
| Posted: Tue Oct 30, 2007 2:41 pm Post subject: RE:formal verification and testing(help) |
|
|
| It's often done at school. Whitebox/blackbox testing, etc. |
Tony's programming blog. DWITE - a programming contest. |
|
|
|
|
|
Register
Wiki
Blog
Search
Turing
Chat Room
Members
