摘要
由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试.
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.
出处
《小型微型计算机系统》
CSCD
北大核心
2010年第4期686-690,共5页
Journal of Chinese Computer Systems
基金
国家"八六三"高技术研究发展计划项目(2007AA01Z178)资助
国家"九七三"重点基础研究发展计划项目(2002CB312002)资助
关键词
构件测试
构件行为
测试序列
基于模型的测试
component testing
component behavior
testing sequence
model-based testing