PyTESK is a technology of software testing based on formal specifications. PyTESK is an Python language implementation of the UniTESK technology and some additional testing tools. PyTESK allows compact description of long test sequences in Python, implicit and explicit functions specification and methods for automatic verdict of the correctness of the observed behavior of implementation, tools for the automatic creation of codecs for telecommunication protocols and binary data structures, pattern matching. PyTESK allows to quickly develop models and test of complex protocols and APIs, not requiring knowledge of complex programming languages, such as Java, C or C ++.
Back to the list of technologies of ISP RAS