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

高技术通讯圆园员园年第圆园卷第苑期：苑圆苑 耀苑猿圆摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 凿燥蚤：员园援猿苑苑圆辕 躁援蚤泽泽灶援员园园圆鄄园源苑园援圆园员园援园苑援园员圆 基于用户需求的构件行为测试① ②    李良明 摇 王志坚 摇 刘摇 磊  （ 南京航空航天大学信息科学与技术学院摇 南京圆员园园员远）  （ 河海大学计算机及信息工程学院摇 南京圆员园园怨愿） 摘摇 要摇 针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问 题，提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模，研 究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析，确定 出构件中不同接口之间的关 ，进而用一组相关的接口序列来表示构件的动态