Verifysoft Technology

NEWS

Pomiar złożoności kodu: nowa versja CMT++: poza metrykami LOC, McCabe i Halstead nowa wersja oblicza także Maintainability Index > dalsze informacje

CTC++ Code Coverage Analysis: Add-ons v2.0 dla Symbian dostępne > dalsze informacje

CTC++ zintegrowany także w CodeWarrior. Dotychczas pomiar pokrycia testu był już możliwy m.i. bezpośrednio z następujących IDE: Microsoft Visual Studio 5.0/6.0, Microsoft Visual Studio .NET, Borland C++ 5.0, Wind River Tornado. > dalsze informacje

CTC++ Coverage-Analyzer dla wszystkich produktow IPC@CHIP firmy Beck > dalsze informacje

Verifysoft dystrybuuje i wykonuje obslugę techniczną dla Conformiq Qtronic w niemieckim obszarze językowym: Conformiq Qtronic jest narzędziem do automatycznego generowania przypadków testowych na podstawie modelu testowanego systemu (model based testing). > dalsze informacje

Grupa ZF i Verifysoft Technology podpisały umowę ramową o wspolpracy: Grupa ZF Friedrichshafen AG, jeden z wiodących w świecie poddostawców dla przemysłu samochodowego, stawia na narzędzia Verifysoft Technology dla zabezpieczenia najwyższej jakości kodu oprogramowania > dalsze informacje

CTC++ Test Coverage Analysis dla C/C++

lepsze testy oprogramowania i więcej pewności dzięki analizie pokrycia testowanego kodu: Function, Decision, Statement, Condition, Multicondition oraz MC/DC Coverage - w użyciu m.i. w przemysle lotniczym (DO-178B) i przy certyfikowaniu przez TÜV.
przy systemach wbudowanych (embedded systems) zasadniczo dla wszystkich Targets > krótki przegląd > dalsze informacje

CMT++ pomiar złożoności kodu programów C/C++

Przeanalizuj złożoność twojego oprogramowania- łatwa obsługa, szybkie i przejrzyste wyniki, metryki McCabe, Halstead, LOC, Maintainability Index > krótki przegląd > dalsze informacje

Conformiq Qtronic - automatyczne generowanie przypadków testowych i wykonywanie testów

szybkie i lepsze przypadki testowe dla testów funkcjonalnych(Black-Box), systemu, regresyjnych przy pomocy Conformiq Qtronic. Automatyczne generowanie przypadków testowych na bazie modeli (UML, QML) > dalsze informacje

Narzędzia do testowania i analizy Java

analiza pokrycia kodu(code coverage), analiza evolucji kodu zródłowego, testowanie jednostek i testy integracyjne przez "invasive testing", syntax-test, analiza złożoności kodu > dalsze informacje