Model-Based Test Code Generation

ISTA: Integration and System Test Automation

We are developing ISTA for automated generation of executable test code from contracts, Predicate/Transition (PrT) nets, finite state machines. The target languages of test code include Java, C#, C++/C, VB, html/Selenium.

MACT: Model-based Aspect/Class Checking and Testing: MACT1.30 Beta Version.

A tool for generation of Java/AspectJ test code from finite state models of classes and aspects. 

  1. Dianxiang Xu, Omar El Ariss, Weifeng Xu, Linzhang Wang, Aspect-Oriented Modeling and Verification with Finite State Machines, Journal of Computer Science and Technology, 24(5): 949-961, Sept. 2009.
  2. Dianxiang Xu, Weifeng Xu, and W. Eric Wong, Automated Test Code Generation from Class State Models, International Journal of Software Engineering and Knowledge Engineering, 19(4): 599-623, June 2009.

  3. Dianxiang Xu, Izzat Alsmadi, and Weifeng Xu, Model Checking Aspect-Oriented Design Specification, Proc. of the 31st IEEE International Computer Software and Applications Conference (COMPSAC'07), Beijing, July 2007.

  4. Dianxiang Xu, Weifeng Xu, and W. Eric Wong. Automated Test Code Generation from UML Protocol State Machines, Proc. of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE'07), Boston, July 2007.

  5. Dianxiang Xu and Weifeng Xu. State-Based Incremental Testing of Aspect-Oriented Programs. Proc. of the 5th International Conference on Aspect-Oriented Software Development (AOSD’ 2006), March 20-24, 2006. Bonn, Germany.

  6. Weifeng Xu and Dianxiang Xu. State-Based Testing of Integration Aspects. Proc. of the Second Workshop on Testing of Aspect-Oriented Programs (WTAOP’06). In conjunction with ISSTA’06, July 2006, USA.

  7. Dianxiang Xu, Weifeng Xu, and Kendall Nygard. A State-Based Approach to Testing Aspect-Oriented Programs. Proc. of the 17th International Conference on Software Engineering and Knowledge Engineering, Taiwan, July 2005.

Last update: October 2009