Helmi

1. Atomicity(원자성) - 트랙잭션의 연산은 데이터베이스에 모두 반영되도록 완료(Commit)되든지 아니면 전혀 반영되지 않도록 복구(Rollback)되어야 한다. - 트랜잭션 내의 모든 명령은 반드시 완벽히 수행되어야 하며, 모두가 완벽히 수행되지 않고 어느 하나라도 오류가 발생하면 트랜잭션 전부가 취소되어야 한다 2. Consistency(일관성) - 트랜잭션이 그 실행을 성공적으로 완료하면 언제나 일관성 있는 데이터베이스 상태로 변환한다. - 시스템이 가지고 있는 고정 요소는 트랜잭션 수행 전과 트랜잭션 수행 완료 후의 상태가 같아야 한다. 3. Isolation(독립성, 격리성, 순차성) - 둘 이상의 트랜잭션이 동시에 병행 실행되는 경우 어느 하나의 트랜잭션 실행 중에 다른 트랜잭션의 ..

데이터 베이스 무결성 - 개체 무결성 : 한 릴레이션의 기본키를 구성하는 어떠한 속성값도 널(NULL) 값이나 중복 값을 가질 수 없음 규정하는 것 - 참조 무결성 : 외래키 값은 Null이거나 참조 릴레이션의 기본키 값과 동일해야 하고, 릴레이션은 참조할 수 없는 외래키 값을 가질 수 없다는 규정 - 도메인 무결성 : 속성 값들이 사용자가 정의한 제약 조건에 만족해야 한다. - 사용자 정의 무결성 : 속성 값들이 사용자가 정의한 제약조건에 만족해야 한다.

형상 관리(SCM; Software Configuration Management) - 소프트웨어의 개발 과정에서 소프트웨어의 변경 사항 관리 위해 개발된 일련의 활동 - 소프트웨어 변경의 원인 알아내고 제어하며, 적절히 변경되고 있는지 확인하여 해당 담당자에게 통보 함 - 형상 관리는 소프트웨어 개발의 전 단계에 적용된 활동, 유지보수 단계에서도 수행 됨 - 형상 관리는 소프트웨어 개발의 전체 비용을 줄이고, 개발 과정의 여러 방해 요인이 최소화 되도록 보증하는 것을 목적으로 함 - 관리 항목에는 소스 코드뿐만 아니라 프로젝트 계획, 분석서, 설계서, 프로그램, 테스트 케이스 등 포함 - 형상 관리 통해 가시성과 추적성 보장함으로써 소프트웨어의 생산성과 품질 높일 수 있음 - 대표적인 형상 관리 도우게는..

기초경로 (Base Path = Basis Path) : 수행 가능한 모든 경로 블랙박스 테스트(Black Box Test) - 소프트웨어가 수행할 특정 기능을 알기 위해 각 기능이 완전히 작동되는 것을 입증하는 테스트. 기능 테스트라고도 함 - 프로그램의 구조를 고려하지 않기 때문에 테스트 케이스는 프로그램 또는 모듈의 요구나 명세를 기초로 결정 - 소프트웨어 인터페이스에서 실시되는 테스트 - 부정확하거나 누락된 기능, 인터페이스 오류, 자료 구조나 외부 데이터베이스 접근에 따른 오류, 행위나 성능 오류, 초기화의 종료 오류 등을 발견하기 위해 사용되며, 테스트 과정의 후반부에 적용 됨 종류 동지 분할 검사, 경계값 분석, 원인-효과 그래프 검사, 오류 예측 검사, 비교 검사 등 화이트박스 테스트(Wh..