构件功能行为测试的研究  

Research on the Testing of Component Functional Behavior

作　　者：李良明[1] 王志坚[2] 唐龙业[2,3] 

机构地区：[1]南京航空航天大学信息科学与技术学院,江苏南京210016 [2]河海大学计算机及信息工程学院,江苏南京210098 [3]山东农业大学信息学院,山东泰安271000

出　　处：《小型微型计算机系统》2010年第4期686-690,共5页Journal of Chinese Computer Systems

基　　金：国家"八六三"高技术研究发展计划项目(2007AA01Z178)资助;国家"九七三"重点基础研究发展计划项目(2002CB312002)资助

摘　　要：由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试.The component features such as information encapsulating and high evolution bring great challenges to component user when validating if the component function is consistent with user requirement.We use interface automata to model the behavior of component and to study the testing of functional behavior.First,the test criteria based on simple operation is defined,and then the generation algorithm of simple operation sequences is introduced for deriving behavior sequences,after that,the approach is illustrated by an example and compared with the related methods.With the proposed approach we could test the whole behavior of component at system level,moreover,the testing sequences can be generated automatically,therefore facilitate component validation and testing.

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

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