Software Testing Tools Guide
Description
UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages. Our advanced mathematical algorithms enable automated generation of test sequences from specifications, that ensure reliable testing of system behavior with required coverage.
We developed specification extensions for C, C++, C#, and Java programming languages, and tools that support UniTESK technology for the mentioned languages.
Details
- Listing categories Test design / Unit test
- Licence Open Source
- Status Inactive
- Supported Technology Java, C/C++, C#
- User Interface Command line
Contact
- Website http://www.unitesk.com
Post New Review
You must be logged in to post a comment.