Monthly Archives: September 2015

Probabilistic testing – rinse and repeat

This post is part of the SATF work.

One particular testing issue requires some special measures, but could also be addressed within the approach proposed in the “Solution” section. The issue is testing of the nondeterministic aspects of robotics systems, which are inherent and abundant within the field. If the outcome of a given test is nondeterministic i.e., every single run of the test, the initial configuration being the same, could end up with either a failure or a success, then neither of them would imply the definitive answer to the real question behind the test – an attempt to assess some nondeterministic process. There are two distinctive flavours of this problem. Continue reading

Solution – automated acceptance testing for robotics

This post is part of the SATF work.

Both problems stated in the “Problem” section, continuous change control and the laborious testing procedure, to me, burdened with agile bigotry, seemed familiar. It was no wonder, since similar questions were posed and solved as a part of eXtreme Programming software development methodology through wide testing automatization. Continue reading

MS Visual Studio add-in for DSS services debugging – the value of a tool

Programs in DSS environment are called services. They are not standard windows executables and could run only under DSS application server. They also differ significantly from conventional programs in terms of ideology. But still they are programs. And no matter how thorough you unit test them, or if three quarters of code is occupied with code contract assertions, you are to debug them. Continue reading


This post is part of the SATF work.

Robotics, just like other contemporary research fields, is inherently based on software. Although this type of software deviates considerably from a conventional one, it looks only reasonable for it to adopt and exploit the methods proved useful in traditional software development. This work presents one of such attempts – adaptation of automated acceptance testing to robotics software development. Continue reading