题目: Testing Aspect-Oriented Programs with State Models 报告人： Dr. Dianxiang Xu (Department of Computer Science, North Dakota State
University, USA) 时间: 3:00 PM on July 8th,2008 地点: Room 504, Building Meng Minwei Introduction to the Lecture: Aspect-Oriented Programming (AOP) is a new paradigm that modularizes
crosscutt ing concerns into aspects. However, aspects can be used in a harmful
way that invalidates desired properties and even destroys the conceptual
integrity of programs. The new AOP constructs also yield new types of
programming faults such as incorrect pointcuts, advice, or aspect precedence.
Therefore, new strategies, techniques, and practices are much needed for
quality assurance of aspect-oriented programs. This talk presents a state
based approach to automated generation of aspect tests for verifying whether
or not an aspect-oriented program meets its requirements. The approach allows
for testable modeling of aspect-oriented systems with finite state machines.
Executable test code can be generated automatically from aspect-oriented state
models for various structure-based (e.g., state coverage, transition coverage,
transition pair coverage, and round-trip) and property-based coverage criteria
(trap properties and model mutation). Aspect-specific faults can be determined
through an incremental testing process, where classes are first tested before
aspects. In this incremental testing process, hand-crafted test data for
classes can be reused for aspects if they are still valid. Mutation analysis
for evaluating cost-effectiveness of different test generation strategies is
also briefly discussed. About Dr. Dianxiang Xu (http://www.cs.ndsu.nodak.edu/~dxu/): Dr. Dianxiang Xu received the B.S., M.S., and Ph.D. degrees all in Computer
Science from Nanjing University, China. He is assistant professor of computer
science at North Dakota State University. He was associate professor at Nanjing
University before he was on leave in 1999. From May 1999 to August 2000, he
was a postdoctoral research associate at Florida International University, USA.
From August 2000 to July 2003, he was research assistant professor and
engineer in the Computer Science Department at Texas A&M University. His
research interests are in the areas of software testing, aspect-oriented
software development, software security, applied formal methods, and software
agents. He is a senior member of the IEEE.
|
