본문 바로가기 주메뉴 바로가기
22대 대한민국 국회 국회정보길라잡이 국회의원검색
회원가입 로그인
HOME

정보검색

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색
결과 내 검색 동의어 포함
결과 내 검색 동의어 포함

-

목차보기

목차

클라우드 서비스의 제어흐름 테스팅을 위한 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 Barnatt Christopher, 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_Process_Execution_Language (downloaded 2013, Apr. 26) 미소장
4 Mayer Philip., Daniel Lübke, "Towards a BPEL unit testing framework," Proc. of the 2006 workshop on Testing, analysis, and verification of web services and applications, ACM, pp.33-42, 2006. 미소장
5 Maalej., Afef Jmal., Moez Krichen., Mohamed Jmaiel, "Model-Based Conformance Testing of WS- BPEL Compositions," Computer Software and Applications Conference, IEEE 36th Annual., pp.452- 457, 2012. 미소장
6 Chang-ai Sun, et al., "Scenario-Oriented Testing for Web Service Compositions Using BPEL," Quality Software (QSIC), 12th International Conference on. IEEE, pp.171-174, 2012. 미소장
7 Domínguez-Jiménez., Juan José, et al., "GAmera: an automatic mutant generation system for WS- BPEL compositions," ECOWS'09. Seventh IEEE European Conference on Web Services, pp.97-106, 2009. 미소장
8 Boonyakulsrirung Panya., Taratip Suwannasart, "A weak mutation testing framework for WS- BPEL," 2011 8th International Joint Conference on Computer Science and Software Engineering (JCSSE), IEEE, pp.313-318, 2011. 미소장
9 Boonyakulsrirung Panya., Taratip Suwannasart, "WeMuTe - A Weak Mutation Testing Tool for WS-BPEL," Proc. of the International Multi- Conference of Engineers and Computer Scientists, vol.1, pp.810-815, 2012. 미소장
10 Estero-Botaro, Antonia., Francisco Palomo-Lozano., Inmaculada Medina-Bulo, "Mutation operators for WS-BPEL 2.0," Proceedings of XXI International Conference on Software & Systems Engineering and their Applications, 2008. 미소장
11 Antony Miguel, "WS-BPEL 2.0 Tutorial," Eclipse available: http://www.eclipse.org/tptp/platform/ documents/design/choreography_html/tutorials/wsbpel_tut.html (downloaded 2005, Oct. 13) 미소장
12 Boubeta-Puig, J., Medina-Bulo, I., García-Domínguez, A., "Analogies and Differences between Mutation operators for WS-BPEL 2.0 and Other Languages," IEEE 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.398-407, 2011. 미소장
13 Chao., Kuo-Ming, et al., "Fuzzy matchmaking for web services," 19th International Conference on Advanced Information Networking and Applications, vol.2. IEEE, pp.721-726, 2005. 미소장
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 Natthapol Thaisakonpun., Taratip Suwannasart, "Mutation Testing for Expression Modification Operator of BPEL," TR, Software Engineering Laboratory, Chulalongkorn University, Bangkok, Thailand,0000. 미소장
18 JinSoo Park., JangEui Hong, "BPEL Mutant Generation Rules for Mutation Testing of Cloud Service," Proc. of the 15th Korea Conference on Software Engineering, pp.41-42, 2013. 미소장
19 Alexandre Alves, et al., "Web Services Business Process Execution Language 2.0," [Online]. Available: http://docs.oasisopen.org/wsbpel/2.0/OS/wsbpel- v2.0-OS.html (downloaded 2007, Apr. 11) 미소장
20 White, Stephen., "Using BPMN to model a BPEL process," BPTrends, vol.3, no.3, pp.1-18, 2005. 미소장

추천서가 (다양한 추천 자료를 만나보세요)

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차