KIISE Transactions on Computing Practices (정보과학회 컴퓨팅의 실제 논문지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지
DOI QR코드

DOI QR Code

A Feasibility Study of Goal-based Testing with a Task-based Test Model for Collective Adaptive Systems

군집 적응형 시스템의 목표 기반 테스트를 위한 태스크 기반 테스트 모델 적용 타당성 연구

  • Received : 2016.03.23
  • Accepted : 2016.05.30
  • Published : 2016.08.15
⟨ Previous Next ⟩

Abstract

Collective Adaptive System is an adaptive multi-agent system which accomplishes its goal by collaborating various agents. Because the collective property of the Collective Adaptive System is accomplished by the goal of the system being based on collaboration, testing the goal accomplishment and their interactions among heterogeneous agents is important. This paper presents a feasibility study of applying a model-based testing approach using task-based test model to a Collective Adaptive System. This paper describes additional information to be applied for Collective Adaptive System for future studies. To analyze our approach, we applied the proposed approach to a smart home system as a case study; our results indicated that we can systematically derive test cases to check whether the Collective Adaptive System successfully achieved its goals by modifying and extending the existing task model.

군집 적응형 시스템(Collective Adaptive System, CAS)은 다수의 에이전트를 포함하는 적응형 시스템으로, 에이전트들 간의 헙업을 통해 목표를 수행한다. 협업을 기반으로 시스템의 목표를 수행하는 CAS는 복수의 에이전트들 간의 상호작용에 대한 테스트가 필수적이다. 본 연구에서는 CAS를 테스트하기 위한 하나의 방법으로 태스크 기반의 테스트 모델을 적용하여 모델 기반 테스팅을 하는 것에 대한 타당성을 분석한다. 분석을 위해 CAS의 한 사례로 스마트 홈 시스템을 적용하였고, 그 결과 태스크 모델을 수정 및 확장하면 CAS의 목표 달성 여부를 판별할 수 있는 체계적인 테스트 케이스 생성이 가능한 것을 확인하였다.

Keywords

Acknowledgement

Grant : (SW 스타랩) 모델 기반의 초대형 복잡 시스 템 분석 및 검증 SW 개발, 안전 필수 소프트웨어 FBD 모델 대상 자동화된 테스트 케이스 생성

Supported by : 정보통신기술진흥센터, 한국연구재단

References

  1. S. Anderson, N. Bredeche, A. Eiben, G. Kampis and M. V. Steen, Adaptive Collective Systems: Herding Black Sheep., pp. 72, BookSprings for ICT Research, Amsterdam, 2013.
  2. J. A. Botia, J. J. Gomez-Sanz and J. Pavon, "Intelligent Data Analysis for the Verification of Multi-Agent Systems Interactions," Proc. of the 7th Intelligent Data Engineering and Automated Learning, pp. 1207-1214, 2006.
  3. D. C. Nguyen, A. Perini, and P. Tonella, "A Goal-Oriented Software Testing Methodology," Proc. of the 8th International Workshop on Agent-Oriented Software Engineering, pp. 58-72, 2007.
  4. C. Lee, Y. J. Lim, E. Jee, and D.-H. Bae, "A Feasibility Study of Verification on a Task-based Test Model for Collective Adaptive Systems," Proc. of the 42nd KIISE Winter Conference, pp. 476-478, 2015. (in Korean)
  5. S. Benz, "Combining Test Case Generation for Component and Integration Testing," Proc. of the 3rd International Workshop on Advances in Modelbased Testing, pp. 23-33, 2007.
  6. F. Paterno, "ConcurTaskTrees: An Engineered Notation for Task Models," The Handbook of Task Analysis for Human-Computer Interaction, pp. 483-503, Sep. 2003.
  7. T. Edwards and S. Sankaranarayanan, "Intelligent Agent based Hospital Search & Appointment System," Proc. of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, pp. 561-567, 2009.
  8. G. Mori, F. Paterno, and C. Santoro, "CTTE: Support for Developing and Analyzing Task Models for Interactive System Design," IEEE Transactions on Software Engineering, Vol. 28, No. 8, pp. 797-813, Aug. 2002. https://doi.org/10.1109/TSE.2002.1027801
  9. S. A. DeLoach and J. C. Garcia-Ojeda, "O-MaSE: A Customisable Approach to Designing and Building Complex, Adaptive Multi-agent Systems," International Journal of Agent-Oriented Software Engineering, Vol. 4, No. 3, pp. 244-280, Nov. 2010. https://doi.org/10.1504/IJAOSE.2010.036984