基于用户需求的构件行为测试  

Component behavior testing based on user requirements

作　　者：李良明[1] 王志坚[2] 刘磊[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,南京210016 [2]河海大学计算机及信息工程学院,南京210098

出　　处：《高技术通讯》2010年第7期727-732,共6页Chinese High Technology Letters

基　　金：863计划(2007AA01Z178);973计划(2002CB312002)资助项目

摘　　要：针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题,提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模,研究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析,确定出构件中不同接口之间的关系,进而用一组相关的接口序列来表示构件的动态行为;然后再根据用户在使用时的具体要求,确定出实际要运行的测试序列。文中介绍的方法能够从整体上检验构件的行为并且可以根据构件模型和使用要求自动生成测试序列,便于用户对构件的验证和测试。In view of the problem that in component based software development it is difficult to validate the component＇ s dynamic behavior, the paper presents a novel approach for component behavior test. The component behavior is modeled using the interface automata to study the problem of how to test component behavior according to the model and user requirements. The relationships among component interfaces are first detected after analyzing the component model, and then the component behavior is expressed with a set of sequences of relevant interfaces. Subsequently, the testing sequences are derived according to the user requirements. The experimental results show that the approach proposed can verify the component behavior at the system level and generate testing sequences automatically, thus facilitating the component validation and test.

关 键 词：构件测试 构件行为 测试序列 基于模型的测试 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]