본문바로가기

자료 카테고리

소장자료소장자료 공공정책정보공공정책정보 외부기관 자료외부기관 자료
전체 1
도서자료 0
학위논문 0
연속간행물·학술기사 1
멀티미디어 0
동영상 0
국회자료 0
특화자료 0

도서 앰블럼

전체 (0)
일반도서 (0)
E-BOOK (0)
고서 (0)
세미나자료 (0)
웹자료 (0)
전체 (0)
학위논문 (0)
전체 (1)
국내기사 (1)
국외기사 (0)
학술지·잡지 (0)
신문 (0)
전자저널 (0)
전체 (0)
오디오자료 (0)
전자매체 (0)
마이크로폼자료 (0)
지도/기타자료 (0)
전체 (0)
동영상자료 (0)
전체 (0)
외국법률번역DB (0)
국회회의록 (0)
국회의안정보 (0)
전체 (0)
표·그림DB (0)
지식공유 (0)

도서 앰블럼

전체 1
국내공공정책정보
국외공공정책정보
국회자료
전체 ()
정부기관 ()
지방자치단체 ()
공공기관 ()
싱크탱크 ()
국제기구 ()
전체 ()
정부기관 ()
의회기관 ()
싱크탱크 ()
국제기구 ()
전체 ()
국회의원정책자료 ()
입법기관자료 ()

검색결과

검색결과 (전체 1건)

검색결과제한

열기
내서재담기 야간이용신청목록담기(서울관) 한자 한글변환 목록으로 알림톡 발송 우편복사 목록담기 프린트
이 자료 추천하기 오류신고
MARC
기사명/저자명
클라우드 서비스의 제어흐름 테스팅을 위한 BPEL 뮤턴트 생성 규칙 / 박진수, 홍장의 인기도
발행사항
서울 : 한국정보과학회, 2013.07.15
수록지명
정보과학회논문지 = Journal of KIISE : software and applications : 소프트웨어 및 응용. 제40권 제7호 (2013년 7월), pp.357-368
자료실
[서울관] 정기간행물실(524호)
외부기관 원문
외부기관 원문
제어번호
KINX2013082510
원문
외부기관 원문
KISTI

목차보기더보기

목차

클라우드 서비스의 제어흐름 테스팅을 위한 BPEL 뮤턴트 생성 규칙 / 박진수 ; 홍장의 1

요약 1

Abstract 1

1. 서론 1

2. 관련 연구 2

3. BPEL 뮤턴트 2

3.1. 연구의 주안점 2

3.2. BPEL의 그래프 변환 3

3.3. 뮤턴트 생성 규칙 3

4. 사례 연구 6

4.1. 예제 시스템 6

4.2. 뮤턴트 생성 6

4.3. 테스트 적용 8

4.4. 제안 기법 적용 실험 8

5. 결론 및 향후 연구 10

참고문헌 11

[저자소개] 12

초록보기 더보기

클라우드 서비스는 다양한 단위 서비스들의 조합을 통해 구성되는 조합 서비스로써, 인터넷과 네트워크 환경을 통해 제공되는 서비스를 말한다. 클라우드 서비스가 사용자의 업무를 지원하기 위해서는 정확한 단위 서비스들의 조합이 필요하다. 즉, 서비스 조합의 오류로 인해 사용자의 서비스 이용에 중단이 없어야 하며, 요구하는 결과를 정확하게 제공해야 한다. 따라서 클라우드 서비스의 정확성을 보장하기 위해서는 조합된 서비스가 사용자의 비즈니스 프로세스에 따라 올바르게 동작하는지를 검증해야 한다. 본 논문은 클라우드 환경에서 제공하는 단위 서비스들의 조합에 대한 오류를 찾기 위한 뮤턴트 생성 규칙을 제안한다. 제안하는 내용은 서비스의 조합을 표현하는 Web Service Business Process Execution Language를 대상으로 구조적 액티비티의 뮤턴트 생성 규칙이며, 뮤턴트 생성 대상을 줄여 비용을 감소시킬 수 있는 장점을 제공한다.

The cloud services are composite services that consist of web services provided by service providers in internet or network environment. To provide accurate results of the services, cloud services have to ensure the accuracy of service composition as well as accurate execution of unit services. Especially, the errors caused by service composition can lead serious problems related with accuracy even if the unit services are operated correctly. Therefore, a testing technique which can verify operational correctness of service composition based on business process is required. In this paper, we propose a mutant deduction rules to discover errors inherent to the composition of services. Our proposing rules are structure based rules aiming Web Service BPEL(Business Process Execution Language) and can reduce mutant deduction cost.

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차
클라우드 서비스의 제어흐름 테스팅을 위한 BPEL 뮤턴트 생성 규칙 박진수, 홍장의 pp.357-368 원문보기 (음성지원, 협정기관 방문 후 이용 가능 ) 보기
소프트웨어 산업체 피드백을 반영한 자동화된 인력 할당 화지민, 박지훈, 신동환, 홍광의, 서영석, 배기곤, 배두환 pp.369-380 원문보기 (음성지원, 협정기관 방문 후 이용 가능 ) 보기
빅데이터 기반 의사결정 지원을 위한 이슈이벤트 검색시스템 : 소셜위즈덤 허정, 류법모, 최윤재, 김현기, 옥철영 pp.381-394 원문보기 (음성지원, 협정기관 방문 후 이용 가능 ) 보기
웹 마이닝을 활용한 법령정보검색 지원 시스템 백종범, 이수원 pp.395-404 원문보기 (음성지원, 협정기관 방문 후 이용 가능 ) 보기
협력적 자질 유사도 분석 기반 트윗 인기도 예측 배용진, 류법모, 김현기 pp.405-416 원문보기 (음성지원, 협정기관 방문 후 이용 가능 ) 보기
품사 태거와 빈도 정보를 활용한 세종 형태 분석 말뭉치 오류 수정 홍진표, 차정원 pp.417-428 원문보기 (음성지원, 협정기관 방문 후 이용 가능 ) 보기

참고문헌 (20건) : 자료제공( 네이버학술정보 )더보기

참고문헌 목록에 대한 테이블로 번호, 참고문헌, 국회도서관 소장유무로 구성되어 있습니다.
번호 참고문헌 국회도서관 소장유무
1 A Brief Guide to Cloud Computing: An Essential Guide to the Next Computing Revolution, Constable & Robinson, 2010. 미소장
2 A Robustness Test Method and Test Framework for the Services Composition in the Service Oriented Architecture 소장
3 "Business Process Execution Language," Wikipedia [Online]. Available: http://en.wikipedia.org/wiki/Business_... 미소장
4 "Towards a BPEL unit testing framework," Proc. of the 2006 workshop on Testing, analysis, and verification of web services and... 미소장
5 "Model-Based Conformance Testing of WSBPEL Compositions," Computer Software and Applications Conference, IEEE 36th Annual.,... 미소장
6 "Scenario-Oriented Testing for Web Service Compositions Using BPEL," Quality Software (QSIC), 12th International Conference on.... 미소장
7 "GAmera: an automatic mutant generation system for WSBPEL compositions," ECOWS'09. Seventh IEEE European Conference on Web... 미소장
8 "A weak mutation testing framework for WSBPEL," 2011 8th International Joint Conference on Computer Science and Software... 미소장
9 "WeMuTe - A Weak Mutation Testing Tool for WS-BPEL," Proc. of the International Multi- Conference of Engineers and Computer... 미소장
10 "Mutation operators for WS-BPEL 2.0," Proceedings of XXI International Conference on Software & Systems Engineering and their... 미소장
11 "WS-BPEL 2.0 Tutorial," Eclipse available: http://www.eclipse.org/tptp/platform/ documents/... 미소장
12 "Analogies and Differences between Mutation operators for WS-BPEL 2.0 and Other Languages," IEEE 4th International Conference... 미소장
13 Fuzzy matchmaking for Web services 네이버 미소장
14 A model for web services discovery with QoS 네이버 미소장
15 An evidence-based scheme for web service selection 네이버 미소장
16 A Service Selection Method using Trust Evaluation in QoS based Web Services Composition 소장
17 "Mutation Testing for Expression Modification Operator of BPEL," TR, Software Engineering Laboratory, Chulalongkorn University,... 미소장
18 "BPEL Mutant Generation Rules for Mutation Testing of Cloud Service," Proc. of the 15th Korea Conference on Software... 미소장
19 "Web Services Business Process Execution Language 2.0," [Online]. Available:... 미소장
20 "Using BPMN to model a BPEL process," BPTrends, vol.3, no.3, pp.1-18, 2005. 미소장
내서재담기 야간이용신청목록담기(서울관) 한자 한글변환 목록으로 알림톡 발송 우편복사 목록담기 프린트

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차
연속간행물 팝업 열기 연속간행물 팝업 열기