An Active Testing Tool for Security Testing of Distributed Systems

This paper describes the TestGen-IF tool, that allows the automatic generation of test cases based on model based active testing techniques. This paper describes the overall functionality and architecture of the tool, discusses its strengths and weaknesses, and reports our experience with using the tool on a case study, the Dynamic Route Planning (DRP) service of Vehicular Networks. This case study demonstrates how to use our testing tool to verify the system implementation against its security requirements. This paper also proposes improvements to this tool in the form of a GUI interface to facilitate its use and an approach which permits a gain in time and efficiency by generating test objectives.

[1]  A. Cavalli,et al.  Transforming BPEL into Intermediate Format Language for Web Services Composition Testing , 2008, 2008 4th International Conference on Next Generation Web Services Practices.

[2]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures , 2005 .

[3]  Dieter Hogrefe,et al.  An introduction to the testing and test control notation (TTCN-3) , 2003, Comput. Networks.

[4]  Joseph Sifakis,et al.  The IF Toolset , 2004, SFM.

[5]  Alain Kerbrat,et al.  CADP - A Protocol Validation and Verification Toolbox , 1996, CAV.

[6]  Ana R. Cavalli,et al.  Applying formal methods to PCEP: an industrial case study from modeling to test generation , 2012, Softw. Test. Verification Reliab..

[7]  Ana R. Cavalli,et al.  Modeling, Validation, and Verification of PCEP Using the IF Language , 2009, FMOODS/FORTE.

[8]  Ana R. Cavalli,et al.  Automatic Timed Test Case Generation for Web Services Composition , 2008, 2008 Sixth European Conference on Web Services.

[9]  Zhaohui Wu,et al.  Intelligent Transportation Systems , 2006, IEEE Pervasive Computing.

[10]  Fei-Yue Wang,et al.  Data-Driven Intelligent Transportation Systems: A Survey , 2011, IEEE Transactions on Intelligent Transportation Systems.

[11]  Ana R. Cavalli,et al.  Application of Two Test Generation Tools to an Industrial Case Study , 2006, TestCom.

[12]  Joseph Sifakis,et al.  IF: An intermediate representation for SDL and its applications , 1999, SDL Forum.

[13]  Ana R. Cavalli,et al.  Hit-or-Jump: An algorithm for embedded testing with applications to IN services , 1999, FORTE.