论文部分内容阅读
基于对Web系统的特点研究，提出了一个全面测试Web系统的框架．并基于模型驱动的软件测试思想（MDT），重点研究了此框架中的中间业务逻辑层的测试建模方法：定义了一个平台相关的测试模型（硎）——EJB构件测试模型；并给出了对它的模型复原算法和模型一致性检测方法．该测试建模方法，从软件构件的层次，实现了EJB静态结构和动态行为的建模，并通过模型一致性检测实现EJB代码的潜在缺陷检查．这一测试模型将为测试用例和测试数据的生成提供有力的支持．