소프트웨어공학

SW 검사- 품질 판단, 오류 검출 / 방법에는 화이트박스 블랙박스 화이트박스- 설계된 절차로 테스트 초기과정에 적용 / 논리결정이 적어도 한번 씩 수행 - 종류에는 기초경로검사 제어구조검사( 조건 루프 데이터흐름) 기초경로검사- McCabe 제안/ 논리적 복잡성 측정 , 순환복잡도 = V-E+2 조건검사- 모듈 내 논리적 조건 검사 , 루프검사- 반복검사 , 데이터흐름검사(DFT)- 변수의 정의와 사용 위치 검사 블랙박스- 기능이 작동하는지 확인하는 테스트 후반부 검사 / 데이터 & 입출력 검사 - 종류에는 동치 분할검사 경계값분석 원인결과그래프 오류예측검사 단계별 SW 검사- 단위(윈시코드, 화이트박스검사) -> 통합 (상호작용 상의 오류 발견, 개발자) -> 검증(요구사항 충족확인, 종류로 형상,알..

SW 특징- 상품성,견고성,복잡성,비마모성,비제조성,순응성 SDLC(생명주기)- 정의되고 사용이 끝나 폐기 될떄 까지 전 제작공정 - 전통모델- 분석->설계-> 구현-> 검사-> 유지보수 - waterfall 모델 : 타당성->계획->설계(개략,상세)->코딩->검사->실행->유지보수/ 단계별 정의 , 명확하게 제시 - prototyping 모델: 요구사항-> 설계 -> 개발 -> 평가 -> 프로토타입 정제 -> 반복 / 점진적 개발, 시제품 - spiral 모델 : 계획-> 위험성분석 -> 공학화-> 평가-> 반복/ 규모큰것에 적합 -------------------------------------------------------------------------------------------------..