摘要
基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原算法和模型一致性检测方法.该测试建模方法,从软件构件的层次,实现了EJB静态结构和动态行为的建模,并通过模型一致性检测实现EJB代码的潜在缺陷检查.这一测试模型将为测试用例和测试数据的生成提供有力的支持.
Based on the study on Web-based systems,this paper presents a systematic testing framework for Web-based systerns.And focused on test modeling of business logic layers of Web-based systems,a FJB test model,one kind of platform specific test models(PSTM) according to model driven testing( MDT), is defined, as well as the approach of its model recovery and model checking are provided. The test modeling deals with the static structures and dynamic behaviors of FJB from the component level and describes a mechanism of code failure detection based on its model checking, which will provide a good support for test cases and test data generation.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2006年第B12期2467-2472,共6页
Acta Electronica Sinica
基金
国家863高技术研究发展计划重点项目(No.2004AA119030)
关键词
EJB
构件测试
测试建模
模型驱动测试
构件识别
平台相关测试模型
模型复原
模型检查
enterprise JavaBean (EJB)
component testing
test modeling
model driven testing (MDT)
platform specific testmModel (PSTM)
component identification
model recovery
model checking