Traditionally, test cases are used to check whether a system conforms to its requirements. However, to achieve good quality and coverage, large amounts of test cases are needed, and thus huge efforts have to be put in...
详细信息
ISBN:
(纸本)9780769542416
Traditionally, test cases are used to check whether a system conforms to its requirements. However, to achieve good quality and coverage, large amounts of test cases are needed, and thus huge efforts have to be put into test generation and maintenance. We propose a methodology, called abstracttesting, in which test cases are replaced by verification scenarios. Such verification scenarios are more abstract than test cases, thus fewer of them are needed and they are easier to create and maintain. checkingverification scenarios against the source code is done automatically using a software model checker. In this paper we describe the general idea of abstracttesting, and demonstrate its feasibility by a case study from the automotive systems domain.
暂无评论