초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 정형적 명세를 이용하여 핵심적으로 나타내고 이를 이용하여 웹 프로그램의 실행 동작을 테스트할 수 있는 과정을 제안하고 실험하였다. 실험 대상은 웹 뱅킹 업무로 정하고 정형화 명세에서 상태 천이도를 구성하고 테스트 시나리오를 추출하는 방법을 기술하였다. 제안한 방법은 웹 프로그램의 사용 기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요란 요소가 될 수 있다.

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 정형적 명세를 이용하여 핵심적으로 나타내고 이를 이용하여 웹 프로그램의 실행 동작을 테스트할 수 있는 과정을 제안하고 실험하였다. 실험 대상은 웹 뱅킹 업무로 정하고 정형화 명세에서 상태 천이도를 구성하고 테스트 시나리오를 추출하는 방법을 기술하였다. 제안한 방법은 웹 프로그램의 사용 기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요란 요소가 될 수 있다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• 이 연구에서는 정형적 명세를 웹 소프트웨어의 테스트 과정에 도입하여 이와 같은 문제점을 해결하였다. 정형적 명세를 이용하여 테스트하려는 연구는 일반적인 모형 기반 테스트 프레임 워크를 제안한 연구[4]와 실시간 제약 사항과 Z 명세 언어를 결합하여 시스템을 테스트하는 과정을 제안한 연구[5], 객체지향 프로그램의 테스트에 명 세를 도입한 연구[6]가 있다.

제안 방법

• Object-Z 정형적 언어를 동원하여 웹 프로그램의 명세 를 표현하고 여기서 상태 다이어그램을 추츨한 후 테스트 시나리오를 작성하여 테스트하는 과정을 고안하였다. 실험 사례로 웹 뱅킹을 시험하였고 그 결과를 나타내었다.

대상 데이터

• Object-Z 정형적 언어를 동원하여 웹 프로그램의 명세 를 표현하고 여기서 상태 다이어그램을 추츨한 후 테스트 시나리오를 작성하여 테스트하는 과정을 고안하였다. 실험 사례로 웹 뱅킹을 시험하였고 그 결과를 나타내었다.

성능/효과

• 웹 사이트가 정형적으로 표현 가능하여 여기서 테스 트 시나리오를 얻을 수 있음을 보였다. 웹 사이트는 불 특정 다수의 사용자에 의하여 사용되며 계속 변경이 일 어나므로 사용 기반 테스트 방법과도 병행할 수 있다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기