Computer Science Canada formal verification and testing(help) |
| Author: | zeft23 [ 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 |
|
| Author: | rdrake [ 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. |
|
| Author: | OneOffDriveByPoster [ 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 |
|
| Author: | Tony [ 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. |
|