Tools and Techniques for Model Based Testing

Software development is a human intensive activity and over the years the need for a disciplined approach for development of better quality and reliable software has led to the evolving field of Software Engineering. The software community continually attempts to develop technologies and methodologies to enable easier, faster and cheaper ways to build high quality software. One of the principal elements of software quality assurance aBstract

[1]  Jean-Claude Royer,et al.  Checking the Consistency of UML Class Diagrams Using Larch Prover , 2000, Rigorous Object-Oriented Methods.

[2]  David A. Carrington,et al.  A formal object-oriented approach to defining consistency constraints for UML models , 2004, 2004 Australian Software Engineering Conference. Proceedings..

[3]  Martin Wolf,et al.  UML Tool Support: Utilization of Object-Oriented Models , 2000, TOOLS.

[4]  Ananya Kanjilal,et al.  Metrics-based Analysis of Requirements for Object-Oriented systems: An empirical approach , 2008 .

[5]  Alexander Egyed,et al.  A Scenario-Driven Approach to Trace Dependency Analysis , 2003, IEEE Trans. Software Eng..

[6]  Alex Groce,et al.  VeriAgent: an Approach to Integrating UML and Formal Verification Tools , 2004, WMF.

[7]  Jong-Yih Kuo,et al.  Verifying scenarios with time Petri-nets , 2001, Inf. Softw. Technol..

[8]  Ashraf Salem,et al.  UML-L: a UML based design description language , 2001, Proceedings ACS/IEEE International Conference on Computer Systems and Applications.

[9]  Sabnam Sengupta,et al.  Functional Specifications of Object Oriented Systems: A Model Driven Framework , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[10]  Ileana Ober.  More meaningful UML models , 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.

[11]  Margus Veanes,et al.  Generating finite state machines from abstract state machines , 2002, ISSTA '02.

[12]  Ananya Kanjilal,et al.  Code Based Analysis for Object-Oriented Systems , 2006, Journal of Computer Science and Technology.

[13]  Leesa Murray,et al.  Translating Object-Z specifications to object-oriented test oracles , 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

[14]  Michael L. Fredman,et al.  The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..

[15]  D.M. Cohen,et al.  The Combinatorial Design Approach to Automatic Test Generation , 1996, IEEE Softw..

[16]  Robert B. France,et al.  Rigorous Testing by Merging Structural and Behavioral UML Representations , 2003, UML.

[17]  Antonia Bertolino,et al.  Using Spanning Sets for Coverage Testing , 2003, IEEE Trans. Software Eng..

[18]  James A. Whittaker,et al.  Markov Chain-based Test Data Adequacy Criteria: a Complete Family , 2002 .

[19]  Elvinia Riccobene,et al.  On formalizing UML state machines using ASM , 2004, Inf. Softw. Technol..

[20]  Ashish Jain,et al.  Model-based testing of a highly programmable system , 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

[21]  Alexander Pretschner,et al.  Model based testing in evolutionary software development , 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.

[22]  Gernot Richter,et al.  Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language , 1993, IEEE Trans. Software Eng..

[23]  Reiko Heckel,et al.  TESTING THE CONSISTENCY OF DYNAMIC UML DIAGRAMS , 2002 .

[24]  Michael Goldstein,et al.  Bayesian Graphical Models for Software Testing , 2002, IEEE Trans. Software Eng..

[25]  Paul Strooper,et al.  From Object‐Z specifications to ClassBench test suites , 2000 .

[26]  Alexander Egyed,et al.  Scalable consistency checking between diagrams - the VIEWINTEGRA approach , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[27]  Betty H. C. Cheng,et al.  Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling , 2002, IEEE Trans. Software Eng..

[28]  Bernhard K. Aichernig,et al.  Automated Black-Box Testing with Abstract VDM Oracles , 1999, SAFECOMP.

[29]  Amiram Yehudai,et al.  Behavioral consistency validation of UML diagrams , 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..

[30]  S. Sengupta,et al.  Automated Translation of behavioral models using OCL and XML , 2005, TENCON 2005 - 2005 IEEE Region 10 Conference.

[31]  Ananya Kanjilal,et al.  Static analysis of object oriented systems using extended control flow graph , 2004, 2004 IEEE Region 10 Conference TENCON 2004..

[32]  Ina Schieferdecker,et al.  The Graphical Format of TTCN-3 in the Context of MSC and UML , 2002, SAM.

[33]  Paul D. Seymour,et al.  AETG/sup SM/ Web: a Web based service for automatic efficient test generation from functional requirements , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.

[34]  Eda Marchetti,et al.  Introducing a Reasonably Complete and Coherent Approach for Model-based Testing , 2005, TACoS.

[35]  Hong Zhu,et al.  A methodology of testing high-level Petri nets , 2002, Inf. Softw. Technol..

[36]  Andrea Zisman,et al.  Knowledge base approach to consistency management of UML specifications , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[37]  Ludovic Apvrille,et al.  TURTLE: a real-time UML profile supported by a formal validation toolkit , 2004, IEEE Transactions on Software Engineering.

[38]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[39]  Anthony J. H. Simons.  On the Compositional Properties of UML Statechart Diagrams , 2000, Rigorous Object-Oriented Methods.

[40]  Shaoying Liu,et al.  Generating test data from SOFL specifications , 1999, J. Syst. Softw..

[41]  Jesse H. Poore,et al.  Measuring complexity and coverage of software specifications , 2000, Inf. Softw. Technol..

[42]  Ina Schieferdecker,et al.  The UML 2.0 Testing Profile and Its Relation to TTCN-3 , 2003, TestCom.

[43]  Tianjing Jiang,et al.  System level testability analysis using Petri nets , 2000, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).

[44]  Gregg Rothermel,et al.  Performing data flow testing on classes , 1994, SIGSOFT '94.

[45]  Amit M. Paradkar.  Towards model-based generation of self-priming and self-checking conformance tests for interactive systems , 2003, SAC '03.

[46]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[47]  Stacy J. Prowell,et al.  JUMBL: a tool for model-based statistical testing , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[48]  Bernhard K. Aichernig,et al.  Combining Algebraic and Model-Based Test Case Generation , 2004, ICTAC.

[49]  Jochen Malte Küster,et al.  Consistent design of embedded real-time systems with UML-RT , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[50]  Ananya Kanjilal,et al.  Integration of Design in Distributed Development Using D-Scenario Graph , 2008, 2008 IEEE International Conference on Global Software Engineering.

[51]  Jim Davies,et al.  A method for the automatic generation of test suites from object models , 2004, Inf. Softw. Technol..

[52]  Stacy J. Prowell.  Using Markov Chain Usage Models to Test Complex Systems , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[53]  Alexander Pretschner.  Model-based testing , 2005, ICSE '05.

[54]  Faizan Javed,et al.  A Grammar-Based Approach to Class Diagram Validation , 2005 .

[55]  Alan Hartman,et al.  Using a model-based test generator to test for standard conformance , 2002, IBM Syst. J..

[56]  Margus Veanes,et al.  Model-Based Testing with AsmL .NET , 2003 .

[57]  Siddhartha R. Dalal,et al.  Model-based testing in practice , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[58]  Alexander F. Egyed.  Automatically Validating Model Consistency during Refinement , 2001 .

[59]  Antonia Bertolino,et al.  Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs , 1994, IEEE Trans. Software Eng..

[60]  Doo-Hwan Bae,et al.  Test cases generation from UML state diagrams , 1999, IEE Proc. Softw..

[61]  Ulrich Schiel,et al.  Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams , 2004, Electron. Notes Theor. Comput. Sci..

[62]  S. Sengupta,et al.  Formalization of UML use case diagram-a Z notation based approach , 2006, 2006 International Conference on Computing & Informatics.

[63]  Yong Rae Kwon,et al.  Testing of object-oriented programs based on finite state machines , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[64]  Henry Muccini,et al.  Using software architecture for code testing , 2004, IEEE Transactions on Software Engineering.

[65]  Raymond A. Marie,et al.  Reliability estimation for statistical usage testing using Markov chains , 2004, 15th International Symposium on Software Reliability Engineering.

[66]  Rik Eshuis,et al.  Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.

[67]  A. S. M. Sajeev,et al.  A Framework for Testing Object-Oriented Software Using Formal Specifications , 1996, Ada-Europe.

[68]  Issa Traoré,et al.  Enhancing structured review with model-based verification , 2004, IEEE Transactions on Software Engineering.

[69]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[70]  Margus Veanes,et al.  Towards a Tool Environment for Model-Based Testing with AsmL , 2003, FATES.

[71]  Wolfgang Grieskamp,et al.  Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems , 1997, ASIAN.

[72]  Daniel Lamch.  Verification and analysis of properties of dynamic systems based on Petri nets , 2002, Proceedings. International Conference on Parallel Computing in Electrical Engineering.

[73]  Leesa Murray,et al.  Specification-based class testing: a case study , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).