csTESTOO

Products & Services

csTESTOO is an Open Source tool to perform programming language rule checking in order to improve the quality and reusability of software. csTESTOO's development was aimed at researching and demonstrating the testability of Object-Oriented (OO) space software, by analyzing modelling methods, presenting a complementary OO coding standard, and developing a coding rules checker.

Notwithstanding, the OOP concepts going towards enhanced software quality, reusability and productivity, the adoption of OO technologies - namely programming languages - for critical systems faces considerable barriers. Certain characteristics (inheritance, encapsulation, polymorphism, abstraction, modularity, concurrency and persistence) of Object-Oriented Programming, and how to effectively use them in critical software systems, have been a key obstacle for its practical deployment.

Appling standard checking tools separately of the software development process leads to non-compliances going unnoticed for longer periods of time. To avoid developers to rework already developed code, only to correct standards violations, and therefore reduce development costs, csTESTOO encompasses real-time compliance checking, due to the inclusion of OO and Real Time Critical Rules.

Key Features

Programming languages: Ada95 and Java;
Testability and verifiability of object-oriented software through modelling methods;
Encompasses real-time compliance checking.
Coding Rule Checker
Supports Coding Rules Set for the ESA BSSC(98) 3 Coding Standards and ESA BSSC(2005)2