• 제목/요약/키워드: 기능적 일치성

검색결과 43건 처리시간 0.021초

소프트웨어 역공학에서 기능성 검증 기법 (A Functional Verification Techniques in Software Reverse Engineering)

  • 황선명;진영택
    • 한국정보처리학회논문지
    • /
    • 제5권10호
    • /
    • pp.2546-2555
    • /
    • 1998
  • 기존의 절차중심 패러다임으로 개발된 시스템들은 사용자들의 새로운 요구와 변화 그리고 개발 당시의 기술보다 뛰어난 새로운 기술이 개발됨에 따라 수정되어야할 필요가 있다. 특히 재공학 및 역공학 기술로부터 품질이 높은 기존 시스템이 객체지향 시스템으로 변환되었을 때 변화된 시스템의 기능이 변환이전의 시스템과 동일한지 여부의 평가가 필요하다. 본 논문에서는 함수 커버리지를 제안하여 절차 중심의 소프트웨어와 변화된 객체지향 소프트웨어간의 기능적 일치성을 검증하기 위한 방법과 도구를 개발하였다. 이때 동적 분석에 필요한 계측도구의 삽입과정과 검증절차를 통하여 함수 커버리지의 만족 여부를 판단하여 테스트 데이터를 선정하였다.

  • PDF

치료용 기능성 게임에서의 심리 치료적 요소 (Psycho-therapeutic Elements in Serious Game for Therapy)

  • 윤선정;류미영
    • 한국게임학회 논문지
    • /
    • 제12권2호
    • /
    • pp.31-41
    • /
    • 2012
  • 치료용 기능성 게임은 직접적인 치료보다는 환자의 심리적인 변화를 일으키고, 적극적인 치료 의지를 가지게 하는 것이 주된 목적이다. 본 연구에서는 선행 자료들을 분석하여 심리 치료를 위한 치료용 기능성게임을 설계할 때 고려할 요소로 5가지를 추출하였다. 추출한 요소들의 검증을 위해 이미 치료 효과가 입증된 '리미션', 현실의 일상생활에서 어려움을 겪을 수 있는 환자가 가상공간에서 선(先) 경험을 통해 치료 효과를 얻을 수 있도록 설계된 '심즈2'를 집중적으로 분석하였다. 그 결과, 캐릭터와의 일치성, 게임 소재의 안정성, 현실적 사실성, 게임 진행의 자기결정성은 전반적으로 적용되어 있었지만, 현실과의 상호작용성은 적용되어 있지 않았다. 그러나 현실과의 상호작용성은 선행 연구와 추출 요소에 대한 설문 검증으로 적합한 요소로 나타났다. 본 연구결과는 치료용 기능성게임을 설계하고자 할 때 고려할 중요한 참고 자료가 될 것으로 기대한다.

중국 소비자들의 스마트폰에 대한 재구매의도 결정요인: 죠링허우(90後)를 대상으로 (A Study on the Antecedents of Repurchase Intention on Smart Phone for Post-90th Generation in China)

  • 박현재
    • 무역학회지
    • /
    • 제42권1호
    • /
    • pp.125-139
    • /
    • 2017
  • 최근 세계 1위 시장인 중국 스마트폰 시장에서 급경한 변화의 바람이 불고 있다. 화웨이, 샤오미 등 중국 회사들이 빠른 속도로 부상 중이며, 괄목할만한 성장세를 보이고 있다. 본고는 이러한 중국에서 지금까지 연구가 미진한 죠링허우(90 後)를 대상으로 스마트폰 재구매의도에 영향을 미치는 선행요인과 자아이미지일치성(SIC)의 매개효과를 실증적으로 분석하고자 하였다. 연구결과, 첫째, 브랜드요인, 개인적경험요인은 재구매의도와 유의한 정(+)의 관계를 보였으나, 기타 다른 요인들(디자인요인, 가격요인, 기능적요인)은 유의한 관계를 보이지 않았다. 둘째, SIC는 브랜드요인과 재구매의도 사이에서 매개효과를 나타냈지만, 개인적경험요인과 디자인요인은 SIC의 간접효과가 없는 것으로 나타났다. 따라서 중국 죠링허우를 효과적으로 공략하기 위해서는 브랜드이미지를 강화하여 어떻게 명품브랜드로 육성할 것인지 그리고 개인적 경험요인을 어떻게 증강시킬 것인지 고려해야한다. 또한 SIC를 강하게 느낄수 있도록 브랜드 관련 다양한 마케팅 활동 및 이미지 제고에 노력해야한다.

  • PDF

무결성 유지 기능을 지원하는 공간 데이터베이스시스템의 설계 및 구현 (A Design and Implementation of Spatial Database System Supporting Integrity maintenance Facility)

  • 이영걸;배해영
    • 한국정보처리학회논문지
    • /
    • 제5권9호
    • /
    • pp.2224-2232
    • /
    • 1998
  • 본 논문은 공간데이터와 비공간 데이터를 연계 처리하는 공간 데이터베이스 시스템에서 데이터의 의미적 무결성을 보장하는 확장된 공간 질의 처리 시스템의 구현에 대해 기술한다. 다양한 실세계의 지형 및 공간 정보를 모델링해야하는 지리정보 시스템은 공간 데이터베이스 시스템을 기반으로 구현되고 있다. 이러한 공간 데이터베이스 시스템에서 다루는 데이터는 단순 객체가 아닌 추상화된 복합 객체로 다양한 유도 데이터에 대한 의미적 무결성을 데이터베이스 시스템 내부에서 효율적으로 유지해야 하며 공간 데이터의 의미적 특성을 제약 조건의 형태로 표현할 수 있어야 한다. 본 논문에서는 공간 질의 처리기를 확장하기 위해 공간 데이터에 대한 무결성 정보를 술어 논리 형태로 표현할 수 있는 공간 제약 언어를 제안한다. 제안된 공간 제약 언어는 축약된 질의 트리 형태로 메타-데이터베이스에 저장하며 저장된 공간 제약 언어는 사용자의 질의에 대해 공간 데이터베이스의 일치성을 보장하는 정보로 사용된다.

  • PDF

공유 자료의 일치성을 보장하는 사이버 쇼핑몰 구축 (Design and Implement of Cyber Shopping Mall to Provide Shared Data Consistency)

  • 변용덕;장승주
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
    • /
    • pp.525-527
    • /
    • 1999
  • 본 논문은 사이버 쇼핑몰의 일반적인 제약사항으로 모든 사용자들이 ID 등록을 해야만 물품 구매를 할 수 있는 불편을 해소하였다. 본 논문은 이러한 불편을 해소하고자 사이버 쇼핑몰 사용자 ID 등록 절차 대신에 각 사용자를 구분하는 카운트를 사용한다. 이 카운트를 상호 배타적으로 할당하는 것을 보장하기 위한 분산 상호 배제 록 알고리즘(Distributed Mutual Exclusion Lock Algorithm)을 사용한다. 록 알고리즘의 정확한 구현으로 사용자들이 모든 사이버 쇼핑몰에 자신의 ID 등록을 통해서 물품 구매를 하는 불편함을 해결할 수 있다. 록 알고리즘은 사용자가 웹 페이지에 접속하게 되면 각 사용자를 구분하는 카운트 값을 배타적으로 할당하게 된다. 이러한 기능을 실제 웹 환경에서 설계 및 구현되었다. 또한 실제 웹 환경에서 설계 및 구현된 내용을 실험하였다. 실험 결과 각 사용자들에 대한 배타적인 카운트 값이 할당됨을 확인할 수 있었다.

  • PDF

CASE Tool을 이용한 Safety Critical 소프트웨어 개발 방법론

  • 김장열;권기춘
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1996년도 춘계학술발표회논문집(1)
    • /
    • pp.446-450
    • /
    • 1996
  • 본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

  • PDF

VOD 스트리밍 서버 데이터를 위한 일치성 보장 알고리즘 개발 (Development of Consistency Algorithm for VOD Streaming Server Data)

  • 장승주
    • 전자공학회논문지CI
    • /
    • 제43권5호
    • /
    • pp.8-16
    • /
    • 2006
  • 본 논문에서는 VOD에서 스트리밍 데이터를 효율적으로 서비스할 수 있는 Consistency 알고리즘을 제시하고 개발한다. 미디어 데이터 서비스를 위해 하나의 미디어 데이터를 라운드 로빈 방식으로 스트라이핑하여 각 호스트의 저장 노드에 저장한다. 본 논문에서는 일반적인 계산 용도로 사용되는 매커니즘을 미디어 플레이 최소 단위인 (SH, GOP) 미디어 데이터에 서비스할 수 있도록 한다. VOD 시스템에서 RTP 패킷 데이터는 빠른 미디어 서비스 제공을 위하여 본 논문에서 제시한 consistency 알고리즘을 설계 및 구현하였다. 또한 이 알고리즘에 추가 기능으로 동기화에 따라 공유메모리에 존재하는 멀티미디어 데이터의 순서화된 서비스를 보장하는 것이다. 그리고 예상 페이징 기법을 적용하여 효율적인 버퍼링 기능을 보장하는 것이다. 그리고 본 논문에서 제시한 알고리즘에 대한 성능 평가를 실시하였다. 실험 결과 마지막 시점에 적용되는 베리어 알고리즘으로 인해 성능이 우수함을 알 수 있다.

그래픽 환경을 이용한 CSCM 수치해석 코드에서의 후처리 과정 개발 (Implementation of Postprocessor for CSCM Code by Using Graphic User Interface)

  • 쥬래바 막슈다;송동주
    • 한국전산유체공학회:학술대회논문집
    • /
    • 한국전산유체공학회 2003년도 추계 학술대회논문집
    • /
    • pp.76-81
    • /
    • 2003
  • 전산유체공학에서 그래픽 인터페이스를 이용한 후처리 기법은 수렴된 해의 물리적 구조 및 특성을 이해하는데 있어 매우 중요하다. 따라서 본 연구에서는 그래픽 환경을 이용하여 압축성 유동 해석 코드인 CSCM 수치해석 코드의 후처리 과정을 개발함으로서 코드전체의 완전성을 높이고자 하였다. Visual C++프로그램을 이용하여 Mesh plot, XY plot, 벡터 plot 및 contour plot이 가능한 후처리 프로그램을 개발하였으며 실시간으로 수치해석의 수렴정도를 파악할 수 있는 잔류항에 대한 그래픽 기능을 제공하게 하였다. 개발된 후처리 과정을 2차원 Compression ramp 및 Bump 문제의 해석결과에 대해 본 연구결과와 현재 유체해석의 후처리 프로그램으로 많은 사용자를 확보하고 있는 AMTEC사의 Tecplot 8.0 버전의 결과를 서로 비교해 본 결과 좋은 일치성을 보여주었다.

  • PDF

대기보정된 Landsat TM 영상으로부터 모의영상 제작 (Generation of Simulated Image from Atmospheric Corrected Landsat TM Images)

  • 이수봉;라푸히엔;어양담;편무욱
    • 한국측량학회지
    • /
    • 제33권1호
    • /
    • pp.1-9
    • /
    • 2015
  • 원격탐사영상의 기상조건과 계절에 따른 모의는 영상 전처리 단계 중 대기보정 알고리즘의 역방향 구현을 통해 수행될 수 있다. 본 연구는 상용 원격탐사영상처리 프로그램에서 제공되는 대기보정기능으로 보정된 Landsat영상을 특정기상조건이 고려된 대기보정 이전 상태로 모의하는 방법을 실험하였다. 실험에 적용한 방법은 Forster 알고리즘(1984)과 6S RTM (Radiative Transfer Model) 이고, 모의된 결과영상을 특정기상조건의 원영상과 비교하여 일치성을 분석하였다. 6S RTM을 적용한 결과가 Forster 알고리즘보다 일치성이 높았고, 결과연구대상지역 영상으로 모의영상을 제작한 결과, 원영상과의 평균 RMSE of DN difference가 9.35이고, 평균 $R^2$는 0.7이였다. 결과적으로 참조 영상과 계절이 동일하고 시기가 유사한 모의영상 생성 시 실용적 활용 가능성을 입증하였다.

FIM도구 및 지침서 번역과 타탕도 검증 연구 (Translation and Validity test of the FIM instrument and Guide)

  • 황옥남;조갑출
    • 재활간호학회지
    • /
    • 제4권2호
    • /
    • pp.232-239
    • /
    • 2001
  • 이 논문의 목적은 재활기능을 측정하는 FIM 도구(영문)를 한국어로 번역하고 한국 한국문화에 적합한지를 문화적 타당도를 검증하기 위함이다. 이를 위해 FIM 도구를 소개하고 타당도 검증을 위해 Flaherty et al.(1988) 등이 소개한 횡문화적 일치성 검증을 위한 5가지 단계 중 2가지 단계 즉 전문가 집단의 내용타당도 검증과 역번역 절차를 사용하였다. 연구 결과 FIM 도구는 사회 심리적 도구가 아닌 재활환자의 기능을 측정하기 위해 사용된 도구여서 여기에 사용된 용어나 문장들은 비교적 간결하고 번역에 혼동을 초래할 수 있는 형용사나 은유법은 거의 사용되지 않아서 의미는 일치한 수준으로 나타났다. 그러나 47쪽에 해당되는 방대한 도구를 번역함에 있어 연구자가 5문장을 해석하지 않은 것이 나타나 재해석을 하였고, 의미를 더 정확하게 전하게 하기 위해 '사고 없음'의 문장을 '옷이나 침요에 실금하여 적시는 사고가 없음'으로 풀어서 설명하였고, '배뇨 사고 없음' 혹은 '배변 사고 없음'으로 번역하였다. 생활양식의 차이로 인해 크게 2가지 차이가 나타나 한국에서 이 도구를 사용하고자 할 때는 신뢰도 검증은 물론 다소의 변형이 불가피 한 것으로 나타났다. 2가지의 생활양식의 차이는 식습관의 차이와 온돌과 침대 문화의 차이였다. 첫째, 한국에서는 식사시에 포크 대신 젓가락을 사용한다. 그러나 손을 잘 사용하지 못하는 장애인의 경우 젓가락 대신 포크를 사용하게 되므로 이 때 포크 사용은 보조기로 고려되어서 측정 점수는 7점이 아닌 6점으로 측정되어야 할 것을 제안한다. 둘째, 한국 사람들은 온돌문화를 갖고 있어 전통 양식의 가옥에 거주하는 장애인의 경우 개조된 가옥에서는 휠체어를 사용 할 수 있지만 그렇지 않은 경우 휠체어 없이 앉아서 침대나 욕실 및 변기로 이동이 가능하다. 이런 경우 앉아서 이동할 수있는 환자들의 기능 정도를 정밀하게 검토하여 측정 가능한 점수로 환원해서 사용할 것을 제안한다.

  • PDF