The combination of model-based verification and test automation has helped reduce cost, provide early identification of requirement defects, and improve test coverage [RROO; KSSB01; BBNKK01; BBNO1d; Sta00; Sta01]. This paper extends prior work in model-based verification and describes an interface-driven analysis approach that combines requirement modeling to support automated test generation of Java test scripts for executing against a database. The paper describes the concepts of models and test driver mappings using examples for testing security functionality of an Oracle database using Java and standard Structured Query Language (SQL) test drivers. Recommendations are provided for performing the modeling of textual requirements in conjunction with interface analysis to support reuse of models and their associated test driver mappings. These recommendations were derived while extending an early experimental model of one small set of related requirements to several other groups of interrelated requirements. The resulting insights are useful for understanding how to scale models and the associated test driver mappings to an industry-sized verification project. Although the modeling and testing is focused on security capabilities of a database, the results and recommended approaches are general for testing any application.
展开▼