상태 전이 테스팅 이벤트, 액션, 상태, 가드, 상태전이 사이의 관계를 검증 시스템/SW의 상태 기반 행위가 명세화된 내용과 일치함을 검증 상태기반 시스템의 결함은 사태, 상태전이, 가드, 이벤트 결함 등으로 분류 "구현이 잘못된 경우"와 "명세가 잘못된 경우"의 결함으로 구분 가드 : 상태가 전이될때의 조건 모델(명세)상의 결함 -> 인스펙션, 정적 분석으로 결함 발견 초기상태 누락 전이 또는 액션의 누락 가드를 "전이" 대신 상태에 표기 가드의 중복 또는 불일치 구현상의 결함 -> 테스트를 통해 결함 발견 여분/누락/훼손 상태 (extra/missing/corrupt state) 액션이 틀리거나 누락됨 스니크 패스(sneak paths), 트랩도어(trap doors) 설계할때 의도하지 않았으나 발생..

videoCapture.py : 영상에서 한장을 캡쳐해서 화면에 보여줌 -> 사진찍기 import cv2 # videocapture객체를 생성 cap = cv2.VideoCapture(0) # 카메라로부터 이미지 한장 가져옴 ret,img_color = cap.read() # 캡처된 이미지를 화면에 보여줌 cv2.imshow("Color", img_color) # 아무키나 누르기 전까지 대기 cv2.waitKey(0) # 메모리해제 cap.release() cv2.destroyAllWindows() color_movie.py : 컬러 영상 찍기 import cv2 # videocapture객체를 생성 cap = cv2.VideoCapture(0) # 영상은 이미지의 반복이다 while True : # 카..

openCV : 영상, 이미지 처리와 컴퓨터 비전을 위한 라이브러리 openCV는 RGB가 아닌 BGR을 사용한다. 이미지 읽기 : cv2.imread(file_name, flag) - file_name : 읽고자 하는 이미지 파일 - flag cv2.IMREAD_COLOR : 이미지를 color로 읽고 투명한 부분 무시 cv2.IMREAD_GRAYSCALE : 이미지를 Grayscale로 읽기 cv2.IMREAD_UNCHANGED : 이미지를 color로 읽고 투명한 부분도 읽기(Alpha) return : numpy 객체 이미지 색 변환 : cv2.cvtColor(image, flag) - image : 이미지 객체 - flag cv2.COLOR_BGR2GRAY : BGR색상을 gray로 변경 이미지..

1. listener와 thsnames 경로 찾아가기 cd $ORACLE_HOME/network/admin listener.ora와 thsnames.ora를 수정해야한다. 2. 리스너 파일 수정 listener.ora # listener.ora Network Configuration File: SID_LIST_LISTENER = (SID_LIST = (SID_DESC = (SID_NAME = PLSExtProc) (ORACLE_HOME = /u01/app/oracle/product/11.2.0/xe) (PROGRAM = extproc) ) ) LISTENER = (DESCRIPTION_LIST = (DESCRIPTION = (ADDRESS = (PROTOCOL = IPC)(KEY = EXTPROC_FOR..

테이블 스페이스 생성 create tablespace datafile '/u01/app/oracle/oradata/XE/.dbf' SIZE reuse autoextend ON; - 예시 create tablespace javaclass datafile '/u01/app/oracle/oradata/XE/javaclass.dbf' SIZE 500M reuse autoextend ON; 계정 생성 CREATE USER IDENTIFIED BY DEFAULT TABLESPACE TEMPORARY TABLESPACE TEMP; 계정 확인 select username from ALL_users; 계정에 권한(Role) 등록 CONNECT : 접속 RESOURCE : 테이블 작업 DBA : DDL, DML처리 가능한..