지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 한국정보처리학회 JIPS(Journal of Information Processing Systems) JIPS(Journal of Information Processing Systems) 제8권 제2호
- 발행연도
- 2012.1
- 수록면
- 213 - 240 (28page)
이용수
초록· 키워드
오류제보하기
Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems
목차
등록된 정보가 없습니다.
참고문헌 (23)
참고문헌 신청
Alan S. Abrahams / 2004 / An Event-Based Paradigm for E-Commerce Application Specification and Execution / Proc. of 7th International Conference on Electronic Commerce Research, D
Alessandra Russo / 2002 / An Abductive Approach for Analysing Event-Based Requirements Specifications / Proceedings of the 18th International Conference on Logic Programming : 22
Atif M. / 2007 / Memon, An Event-flow model of GUI-based applications for testing: Research Articles / Software Testing, Verification & Reliability 17 (3) : 137 ~ 157
Atif M. Memon / 2001 / Coverage criteria for GUI testing / Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposiu
Belli, F. / 2006 / Event-based Modeling, Analysis and Testing of User Interactions: Approach and Case Study / The Journal of Software Testing, Verification and Reliability 1
Alessandra Russo / 2002 / An Abductive Approach for Analysing Event-Based Requirements Specifications / Proceedings of the 18th International Conference on Logic Programming : 22
Atif M. / 2007 / Memon, An Event-flow model of GUI-based applications for testing: Research Articles / Software Testing, Verification & Reliability 17 (3) : 137 ~ 157
Atif M. Memon / 2001 / Coverage criteria for GUI testing / Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposiu
Belli, F. / 2006 / Event-based Modeling, Analysis and Testing of User Interactions: Approach and Case Study / The Journal of Software Testing, Verification and Reliability 1
이 논문의 저자 정보
최근 본 자료
댓글(0)
0