The paper presents a method of test generation for Web applications based on model partition. Compared with the method of test tree for test generation, our approach ensures the effectiveness of test paths generated from the model of Web applications. In this paper, we first employ the Kripke structure to modeling the navigation behavior of a Web application. Then the theory for model partition is proposed to solve the problem of inefficiency test paths. Next a frame of test generation based on model partition is designed to support test generation and redundancy reduction of test paths. Finally, we take the student course system as an example to illustrate our approach.
목차
Abstract 1. Introduction 2. Navigation Model of Web Applications 3. CLT Formula of Safety Property 4. Theories for Model Partition 5. Test Generations and Redundancy Reduction 6. Related Work 7. Conclusion Acknowledgements References
키워드
test generationmodel partition theoryeffective test pathsthe frame of test generationWeb application
저자
Pan Liu [ College of Computer Engineering and Science, Shanghai Business School, Shanghai Key Laboratory of Computer Software Testing & Evaluating ]
Huaikou Miao [ School of Computer Engineering and Science, Shanghai University ]
Hongwei Zeng [ School of Computer Engineering and Science, Shanghai University ]
Lizhi Cai [ Shanghai Key Laboratory of Computer Software Testing & Evaluating ]
보안공학연구지원센터(IJUNESST) [Science & Engineering Research Support Center, Republic of Korea(IJUNESST)]
설립연도
2006
분야
공학>컴퓨터학
소개
1. 보안공학에 대한 각종 조사 및 연구
2. 보안공학에 대한 응용기술 연구 및 발표
3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최
4. 보안공학 기술의 상호 협조 및 정보교환
5. 보안공학에 관한 표준화 사업 및 규격의 제정
6. 보안공학에 관한 산학연 협동의 증진
7. 국제적 학술 교류 및 기술 협력
8. 보안공학에 관한 논문지 발간
9. 기타 본 회 목적 달성에 필요한 사업
간행물
간행물명
International Journal of u- and e- Service, Science and Technology
간기
격월간
pISSN
2005-4246
수록기간
2008~2016
십진분류
KDC 505DDC 605
이 권호 내 다른 논문 / International Journal of u- and e- Service, Science and Technology Vol.6 No.1