• 제목/요약/키워드: user state transition

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

정형 명세를 이용한 웹 기반 은행 어플리케이션의 테스트 기법 (A Testing Method for Web-Based Banking Applications Using Formal Specification)

  • 안영희;최은만
    • 정보처리학회논문지D
    • /
    • 제11D권4호
    • /
    • pp.855-864
    • /
    • 2004
  • 정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

선진학교 교육현황 분석을 통한 디지털 교육매체 디자인 국외 사례 연구 (A Case Study On Digital Education Design In Foreign Countries By Analysis Education Condition)

  • 김정희
    • 만화애니메이션 연구
    • /
    • 통권30호
    • /
    • pp.201-219
    • /
    • 2013
  • 미국, 영국, 일본 등 선진국을 중심으로 디지털 매체의 발달을 교육에 접목하려는 움직임이 꾸준히 증가하였고 이는 디지털 교육 디바이스의 발전을 가져왔다. 국가적 차원에서 발전을 하고 있는 일본과 교육 분야에 막대한 국가 예산을 사용해 디지털 교육의 선진국으로 자리 잡고 있는 영국 그리고 복지국가의 기반 위에 적극적인 디지털 교육을 이끌고 있는 스웨덴이 디지털 교육 매체분야의 선진국이다. 특히 영국과 스웨덴은 디지털 교과서 등 디지털 교육 매체시장이 포화상태이며 시장의 경쟁으로 양보다는 질을 추구하는 시점에 이르렀다. 즉 빠르게 발전을 추구하는 과정을 지나 디자인적인 질을 중요시하면서 디지털 교육 매체를 선별 적용하고 있다. 국내에서는 2007년 초등학교 5학년 수학 디지털 교과서를 시작으로 국내 디지털 교과서의 시장이 열렸고 IT 선진국답게 짧은 시간 안에 과학, 영어 등 다양한 분야에 적용하는 등 커다란 발전을 보여줬다. 이에 디지털 교육 매체 분야의 디자인 적용의 빠르고 효율적인 가이드 설립을 위하여 디지털 교육 선진국의 디지털 교육매체 및 설문을 기반으로 한 적용 사례 분석을 통해 한국디지털 교육 매체 디자인의 나아갈 방향 잡는 기초 자료가 필요하다. 이에 본 연구는 LG 유럽 디자인 센터를 중심으로 디지털 교육 매체의 선진국인 영국과 복지사회 기반의 탄탄한 교육 정책을 보여주는 스웨덴을 사례 연구 대상국가로 선정하며 4개 학교의 전교생을 대상으로 설문, 휴리스틱 분석, KJ법을 통해 분석한다. 분석결과 양적인 증가뿐만아니라 디지털 소셜라이징 안에서 보다 현실적이고 다양한 시뮬레이션 경험을 추구하는 등 콘텐츠의 질 향상을 원하고 있으며, 아날로그의 단점을 보완하면서 상호 보완적으로 언제 어디서든 편하게 접할 수 있는 환경 및 편한 GUI 디자인이 요구되고 있었다. 이에 향후 교육 플랫폼과 교육 관리 시스템, 커뮤니케이션 시스템간의 유기적이고 상호 보완적인 통합 솔루션디자인을 중심으로 질 높은 교육 시뮬레이션 및 GUI 디자인을 기획해야하며 이는 교육 주체뿐만 아니라 교육 환경을 포함한 분야를 통합한 사전 조사 및 설문 분석을 통해 모든 교육 특성을 고려하여 디지털 교육 매체 의 디자인의 질을 높인 기획을 해야 한다. 본 연구 결과는 디지털 교육 해외 선진국의 발전 된 현황을 파악하여 국내 디지털 교육산업의 디자인 기획시 기초 자료로 활용하는데 의의가 있다.

FSM을 이용한 해양안전정보시스템의 고도화 구조모델 연구 (A Study on the Advancement Structure Model of Maritime Safety Information System(GICOMS) using FSM)

  • 류영하;박계각;김화영
    • 한국지능시스템학회논문지
    • /
    • 제24권3호
    • /
    • pp.337-342
    • /
    • 2014
  • 국제해사기구(IMO)는 해상에서의 안전과 보안, 환경의 보호를 위해 선박의 출항에서 입항에 이르기까지 항해와 관련된 정보를 전자 적인 방법으로 조화롭게 공유 통합 표현 분석하기 위해 e-Navigation 이라는 전략적 추진체계를 수립, 채택, 실행을 진행하고 있다. 본 논문에서는 e-Navigation의 실효적 시행에 대비하여 국내에서 운영 중인 GICOMS에 요구되는 개선방안 및 추가 시스템을 식별하기 위한 구조모델을 수립하는데 목적이 있다. 이를 위해서 GICOMS의 문제점을 조사하고, 전문가그룹의 브레인스토밍(brainstorming) 과정을 통해 GICOMS 개선을 위한 9개의 추진과제를 도출하였다. 이들 과제에 대하여 퍼지구조모델(FSM, Fuzzy Structural Modeling)을 이용하여 의식구조를 분석하고 요소 간 상호관계를 파악할 수 있는 구조모델을 제시하였다. 그 결과 GICOMS 개선방안 으로 "GICOMS 고도화"가 최상위층레벨 요소로 파악되었고, 최하층레벨은 "정보생산체제 개선", "정보제공방안 개선", "GICOMS와 VTS 상호연동"과 "글로벌 안전협력 네트워크 구축"으로 나타났다. 중간층레벨은 "e-Navigation 대응체계 구축", "해양사고예방체계 강화", "VMS 기능 고도화"와 "이용 활성화"로 파악되었다. 특히 최종목표인 "GICOMS 고도화"는 "VMS 기능 고도화"와 "이용 활성 화" 항목으로부터 많은 영향을 받고 있음을 알 수 있었다. 본 연구에서 구축한 GICOMS 고도화 구조모델을 기반으로 최첨단 IT를 활용한 시설 장비 전문인력의 개선 및 보강과 해양종사자 중심의 이용자 전환 등의 고도화 방안을 제시하였다.