과제정보
연구 과제번호 : (SW 스타랩) 모델 기반의 초대형 복잡 시스 템 분석 및 검증 SW 개발, 안전 필수 소프트웨어 FBD 모델 대상 자동화된 테스트 케이스 생성
연구 과제 주관 기관 : 정보통신기술진흥센터, 한국연구재단
참고문헌
- 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.
- 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.
- 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.
- 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)
- 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.
- F. Paterno, "ConcurTaskTrees: An Engineered Notation for Task Models," The Handbook of Task Analysis for Human-Computer Interaction, pp. 483-503, Sep. 2003.
- 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.
- 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
- 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