Test Case Generation from Requirements

1965 Words8 Pages
Table 1: Identified Strengths and Limitations Author Behavior Models Problem Discussed Strength of work Limitations Vaysburg et al. /2002 EFSM Requirement based selective test case generation. • Cost of the approach is very less because system tests are often short. Therefore, test equivalency can be determined with low cost. • Efficient integration with testing • Support quality requirements of reliability. • Better technique for selective test case generation • The study needs further justification as it not implemented on large systems • There is need to investigate the degree of reduction in fault detection capability of reduced test suites when the presented approach of test reduction is used. • Require complex analysis which ultimately increases complexity. Tahat et al. /2002 EFSM The stress is on regression testing based on system requirements and automatic identification of new and original requirements. • Best suited selective requirement based test case generation. • Can efficiently handle large system requirements. • Not widely tested on large systems • Lacks in dealing system quality requirements. • In creation of Specification description language system model, different types of errors in system requirements can be detected for example incompleteness, inconsistencies and redundancies. • The approach doesn’t provide desired results in Path Coverage which may generate an unacceptable number of paths especially in the presences of cycles in the model Ajitha Rajan/ 2006 Formalization of requirements as temporal logic Automatic test case generation of black box tests from requirements specification. • best suited for safety critical system • following the standards of D0-17813 and the sys... ... middle of paper ... ...on, and Validation [14] R. Krishnamoorthi *, S.A. Sahaaya Arul Mary “Factor oriented requirement coverage based system test case prioritization of new and regression test cases” 2008 Elsevier B.V. [15] Sapna P.G. and Hrushikesha Mohanty “Prioritizing Use Cases to aid ordering of Scenarios” 2009 IEEE [16] Gang Liu, Shaobin Huang, Xiufeng Piao “Study On Requirement Testing Method Based On Alpha-Beta Cut-off Procedure” 2008 IEEE [17] Charles Pecheur, Franco Raimondi, Guillaume Brat “A Formal Analysis of Requirements-Based Testing” ISSTA’09, July 19–23, 2009, Chicago, Illinois, USA. [18] Amit Gupta, Rajesh Bhatia “Testing Functional Requirements using B Model Specifications” ACM SIGSOFT Software Engineering March 2010 [19] Pak-Lok Poon, sau-fun tang, t.h. tse, and t.y. chen “choc´Late a framework for specification based testing” communications of the acm 2010
Open Document