servizi

Verificatori di codice personalizzati

Sviluppo di moduli ECLAIR per la verifica automatica della conformità del codice rispetto alle regole e ai criteri definiti da e per il cliente.

Integrazione di processo

Assistenza on-line/on-site per l’installazione di ECLAIR e la sua integrazione con l’ambiente di sviluppo del cliente.

Formazione

Formazione on-site per sviluppatori, responsabili del processo di compilazione, addetti al controllo di qualità e amministratori degli strumenti di sviluppo.

Audit analitico-propositivo del software

Valutazione dei difetti nel codice del cliente e dei suoi fornitori rispetto agli standard di codifica; assistenza alla definizione di un piano di lavoro per conseguire, in modo graduale, la conformità dei programmi e delle librerie.

Servizi legati alla Parma Polyhedra Library

Lavorano per BUGSENG gli architetti della Parma Polyhedra Library e coloro i quali, dal 2001, ne costituiscono il principale team di sviluppo. La PPL è usata, in tutto il mondo, in numerose applicazioni che devono eseguire inferenze corrette e precise circa i valori di quantità numeriche qualsiasi. Queste applicazioni includono i compilatori (come GCC, la GNU Compiler Collection), i model checker, i più disparati analizzatori e verificatori di proprietà dei programmi e dei dispositivi, sia digitali che analogici. Offriamo tutto lo spettro dei servizi collegati alla PPL: manutenzione, supporto, installazione, integrazione, sviluppo dettato dalle esigenze dei clienti, formazione.