Static Code Analysis 를 아시나요?프로그램을 실행하지 않고 프로그램의 잠재적 문제점을 찾아주는 툴입니다.예를 들어서, null 체크를 하지 않았다던가, 배열의 크기를 넘어서 접근하고 있다던가, 변수를 초기화 하지 않고 사용하는 문제점들을 찾아주는 것입니다......
[edit] Open-source products Bandera ? analyser for Java Checkstyle ? analyse Java and apply coding standard ClassCycle ? analyse Java class cycles and class and package dependencies (Layers) CQual ? A tool for adding type qualifiers i.....
자칭 타칭 '소프트웨어 개발자'인 나에게 있어 프로그래밍은 관심의 대상이 아닐 수 없다. 또한 대학원에서 '소프트웨어 공학(Software Engineering)'을 전공한 나에게 프로젝트의 성공적인 수행, 문제가 적은 소프트웨어의 개발 등은 최대의 관심사가 되곤 한다. 최.....
본 포스트는 개인 스터디 용으로 작성된 Ian Sommerville의 Software Engineering, 8/E의 요약본입니다.1. S/W inspections - These involve people examining the source representation with the aim of discovering anomalies and defects - no.....
규칙 클래스 이름: DoNotExposeGenericList규칙 ID: CA1002분류: 디자인 규칙메시지 레벨: 에러확실도: 95%원인: System.Collections.Generic.List 타입을 외부로 노출시켰거나, 리턴 타입으로 사용하거나, 혹은 파라미터로 사용했을 때 이 규칙에 위반된다.규.....
디자인 규칙은 클래스 라이브러리 디자인 가이드라인에 따르는 지를 검사하는 규칙들의 모음이다. 닷넷의 기본적인 사상에 부합되는 클래스, 인터페이스, 예외 처리 등의 디자인이 되었는지(예:CA1020 형식이 부족한 네임스페이스를 사용하지 마십시오), .NET Cla.....
이번에 회사에서 소스 코드 검사 도구를 하나 구입하는데 이것저것 비교해본 결과 Coverity Prevent라는 툴이 가장 좋아 이걸로 결정했다고 하더군요. 간단히 말하자면 Lint 처럼 소스 코드에 대해 static analysis를 하는 도구입니다. 그래서 시험삼아 돌려본 결과를.....