Inspektor SofCheck - SofCheck Inspector - Wikipedia
 | Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace. (Srpna 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
The Inspektor SofCheck[1] je statická analýza nástroj pro Jáva a Ada. Staticky určuje a dokumentuje před a dodatečné podmínky z Jáva metody nebo Ada podprogramy a tyto informace využívá k identifikaci logických nedostatků,[2] podmínky závodu, a nadbytečný kód v jednotlivé třídě Java nebo balíčku Ada, subsystému nebo úplném programu. Inspekci SofCheck vyrábí společnost SofCheck, Inc., softwarový produkt ve městě Burlington, Massachusetts.
Inspektor SofCheck statická analýza engine se používá v rámci CodePeer[3] statická analýza výrobek z AdaCore.
Viz také
- Statická analýza kódu
- Testování softwaru
- Zabezpečení zabezpečení softwaru
- Seznam nástrojů pro statickou analýzu kódu
Reference
- ^ „Archivovaná kopie“. Archivovány od originál dne 28. 9. 2007. Citováno 2009-02-23.CS1 maint: archivovaná kopie jako titul (odkaz)
- ^ „Archivovaná kopie“. Archivovány od originál dne 19. 05. 2007. Citováno 2007-04-26.CS1 maint: archivovaná kopie jako titul (odkaz)
- ^ "CodePeer". AdaCore.com. Archivovány od originál dne 2012-02-23. Citováno 2016-08-10.