Browse > Article

모델 기반 테스트 - 개념과 이슈  

Chae, Heung-Seok (부산대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.32, no.4, 2014 , pp. 59-71 More about this Journal
Keywords
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 Jones, C. B., Systematic Software Development Using VMD, Prentice-Hall, 1990.
2 ISO/IEC 13568, Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics, ISO/IEC, 2002.
3 Warmer, J. and Kleppe, A., The Object Constraint Language: Getting Your Models Ready for MDA, Addison-Wesley, 2003.
4 Whittle, J. and Jayaraman, P. K., "Generating Hierarchical State Machines From Use Case Charts," Requirements Engineering, 14th IEEE International Conference. IEEE, 2006
5 배정호, 채흥석, "계약 기반 정형 명세로부터 이해도 높은 상태 기계 자동 구축 기법," 정보과학회논문지: 소프트웨어 및 응용, 제39권 제9호, 2012.9, 734-749.
6 Mayerhofer, T., "Testing and Debugging UML Models Based on fUML," Software Engineering (lCSE), 2012 34th International Conference on. IEEE, 2012.
7 Clarke, E. M., Grumberg, O. and Peled, D., Model Checking. MIT Press, 1999.
8 Freedman, R.S., "Testability of Software Components," IEEE Trans. Software Eng., Vol. 17, No.6, pp.553-564, 1991 .   DOI   ScienceOn
9 Binder, R. V., "Testability in Object-Oriented Systems," ACM Comm., Vol.37, No.9, pp.87-101, 1994.
10 배정호, 채흥석, "제어 용이성 향상을 위한 상태 머신변환 기법," 정보과학회논문지: 소프트웨어 및 응용, 제40권 제11호, pp. 645-656, 2013.
11 Pargas, R. P., Harrold, M. J., and Peck, R. R. Test-data Generation Using Genetic Algorithms, Software Testing, Verification and Reliability, Vol. 9, No. 4, pp. 263-282, 1999.   DOI
12 Moura, L. and Bjorner, N., "Z3: An Efficient SMT solver," In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, 2008.
13 Hong H., Lee, I., Sokolsky, O., and Cha, S., "Automatic Test Generation From Statecharts Using Model Checking," Workshop on Formal Approaches to Testing of Software, 2001.
14 윤영동, 배정호, 채흥석, "코드 커버리지 향상을 위한 상태 기계 변환 방법," 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, pp. 530-532, 2013.
15 ISO, ISO 26262-6:2011 Road vehicles - Functional safety - Part 6: Product development at the software level, 2011.
16 RTCA, RTCA/DO-178C Software Considerations in Airborne Systems and Equipment Certification, RTCA, 2011 .
17 방위사업청, 무기체계 내장형 소프트웨어 획득 및 관리 실무 지침서, 방위사업청, 2011.
18 Zander, J., Scheiferdecker, I. and Mosterman P. J., Model-based Testing for Embedded Systems, CRC Press, 2012.
19 Utting, M. and Legeard, B., Practical Model-based Testing: A Tools Approach, Morgan Kaufmann, 2007.
20 Poole, J. D., "Model-driven Architecture: Vision, Standards and Emerging Technologies," Workshop on Metamodeling and Adaptive Object Models, ECOOP. 2001.