PropIt - a test environment for Spin/PASM objects
Kaio
Posts: 253
Hi all,
I had the need for automated testing of a complex coding. So I have programmed a test environment according to JUnit. It can be used for testing Spin objects, also if it contains PASM. It is easy to use and uses PropTerminal by default to display the test results. A documentation of usage is contained in the Spin file of PropIt and also a demo is included.
I will look forward to your comments and suggestions.
Thomas
You will find the lastest version always here.
Post Edited (Kaio) : 1/24/2008 12:12:28 AM GMT
I had the need for automated testing of a complex coding. So I have programmed a test environment according to JUnit. It can be used for testing Spin objects, also if it contains PASM. It is easy to use and uses PropTerminal by default to display the test results. A documentation of usage is contained in the Spin file of PropIt and also a demo is included.
I will look forward to your comments and suggestions.
Thomas
You will find the lastest version always here.
Post Edited (Kaio) : 1/24/2008 12:12:28 AM GMT
zip
11K
Comments
I was using '!' instead of 'not' to negate a condition. This is now fixed. You can find the changes in the post above.
Thomas
Now it provides measurement of the execution time for each test case. So you can use PropIt also to compare the runtime performance of different implementations of your code.
Perhaps it is now a tool what you would like.
Thomas