Journal of KIISE (정보과학회 논문지)

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

DOI QR Code

Study of State Machine Diagram Robustness Testing using Casual Relation of Events

이벤트 의존성을 이용한 상태 머신 다이어그램의 강건성 테스팅 연구

  • 이선열 (부산대학교 컴퓨터공학과) ;
  • 채흥석 (부산대학교 정보컴퓨터공학부)
  • Received : 2014.03.27
  • Accepted : 2014.08.13
  • Published : 2014.10.15
⟨ Previous Next ⟩

Abstract

Studies of fault-injection into state machine diagram have been studied for generating robustness test cases. Conventional studies have, however, tended to inject too many faults into diagrams because they only have considered structural aspects of diagrams. In this paper, we propose a method that aims to reduce the number of injected fault without a decrease in effectivenss of robustness test. A proposed method is demonstrated using a microwave oven sate machine diagram and evaluated using a hash table state machine diagram. The result of the evaluation shows that the number of injected faults is decreased by 43% and the number of test cases is decreased by 63% without a decrease in effectiveness of hash table robustness test.

상태 머신 다이어그램 결함 주입을 통하여 강건성 테스트 케이스를 생성하기 위한 연구가 수행되고 있다. 그러나 기존의 연구들은 상태 머신 다이어그램의 구조적인 측면만을 단순 고려하고 있기 때문에 작은 크기의 모델임에도 불구하고 많은 결함이 주입될 수 있다. 본 논문에서는 강건성 테스트의 효과성은 유지한 채, 주입될 결함의 수를 줄이기 위한 결함 주입 방법을 제안한다. 제안 방법은 전자레인지 상태 머신 다이어그램을 이용하여 설명되었으며, 유효성을 검증하기 위하여 해쉬 테이블 상태 머신 다이어그램에 제안 방법을 적용하였다. 해쉬 테이블에 적용된 실험 결과, 제안 연구는 강건성 테스트의 효과성은 유지하였으며, 주입된 결함의 수는 43%, 생성한 테스트 케이스의 수는 63% 감소시킨 것을 확인할 수 있었다.

Keywords

Acknowledgement

Supported by : 한국연구재단

References

  1. "IEEE Standard Glossary of Software Engineering Terminology," IEEE Std 610.12-1990, pp. 1-84, 1990.
  2. A. Shahrokni and R. Feldt, "A systematic review of software robustness," Information and Software Technology, Vol. 55, No. 1, Jan. 2013.
  3. R. Barbosa, N. Silva, J. Duraes, and H. Madeira, "Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques," presented at the ICCBSS '07: Proceedings of the Sixth International IEEE Conference on Commercial-offthe-Shelf (COTS)-Based Software Systems, 2007, pp. 233-242.
  4. K. Z. Zamli, M. D. A. Hassan, N. A. M. Isa, and S. N. Azizan, "An automated software fault injection tool for robustness assessment of java COTs," presented at the Computing & Informatics, 2006. ICOCI '06. International Conference on, 2006, pp. 1-6.
  5. C. Sarbu, A. Johansson, F. Fraikin, and N. Suri, "Improving robustness testing of COTS OS extensions," presented at the ISAS'06: Proceedings of the Third international conference on Service Availability, Berlin, Heidelberg, 2006, Vol. 4328, No. 9, pp. 120-139.
  6. S. H. Kuk and H. S. Kim, "Robustness testing framework for Web services composition," presented at the Services Computing Conference, 2009. APSCC 2009. IEEE Asia-Pacific, 2009, pp. 319-324.
  7. C. Fu, A. Milanova, B. G. Ryder, and D. G. Wonnacott, "Robustness testing of Java server applications," Software Engineering, IEEE Transactions on, Vol. 31, No. 4, pp. 292-311, Apr. 2005. https://doi.org/10.1109/TSE.2005.51
  8. Bin Lei, Z. Liu, C. Morisset, and X. Li, "State Based Robustness Testing for Components," Electronic Notes in Theoretical Computer Science, Vol. 260, No. C, pp. 173-188, Jan. 2010. https://doi.org/10.1016/j.entcs.2009.12.037
  9. Bin Lei, X. Li, Z. Liu, C. Morisset, and V. Stolz, "Robustness testing for software components," Science of Computer Programming, Vol. 75, No. 10, Oct. 2010.
  10. P. Heckeler, H. Eichelberger, T. Kropf, J. Ruf, S. Huster, S. Burg, W. Rosenstiel, and B. Schlich, "Accelerated model-based robustness testing of state machine implementations," SIGAPP Applied Computing Review, Vol. 13, No. 3, Sep. 2013.
  11. R. Cytron, M. Hind, and W. Hsieh, "Automatic generation of DAG parallelism," presented at the PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, New York, New York, USA, 1989, pp. 54-68.
  12. H. Gomaa, "Designing software product lines with UML 2.0: from use cases to pattern-based software architectures," presented at the ICSR'06: Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components, 2006.
  13. SEONYEOL LEE, Heung-Seok Chae, "Study of Constructing a State Machine Diagram for Generating Robustness Test Cases," Journal of KIISE : Software and Applications, Vol. 41, No. 1, pp. 9-22, Jan. 2014. (in Korean)