基于行为协议的构件软件静态测试研究.PDFVIP

维普资讯 第 18卷 第3期 计 算 机 技 术 与 发 展 V01．18 【)_3 2008年 3月 (、()MPUTER IECt{N()I』_)(Y AND DEVEI()PNW NT Mar． 2008 基于行为协议的构件软件静态测试研究 于素萍，杨循杰 (河南大学 计算机与信息工程学院，河南 开封 475004) 摘 要：系统的静态分析能在设计开发阶段发现错误，从而避免了在运行时错误检测技术在系统执行期间带来的负面影 响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用 通信模型对数据库服务构件系统进行抽象建模，并结合用于描述构件系统中构件之间交互的形式化方法行为协议，通过 对构件系统构件行为协议的一致性验证，从而测试构件交互的正确性。 关键词：行为协议 ；静态测试 ；构件技术 中圈分类号：TP311．5 文献标识码 ：A 文章编号 ：1673—629X(2008)03—0128～04 ResearchofComponentStaticTestingBasedonBehaviorProtocols YU Su—ping，YANGXun-jie (CollegeofComputerandInformationEngineering，HenanUniversity，Kaifeng475004，China) Abstract：Staticanalysisofsystemsallowsdiscoveringerforsatdesigntimeandtoavoidrtln—timeerrordetectiontechniquesthatnega． tivelyimpactperformanceofthesystems．Thearticleisbasedontheextentpossible，toavoidpassivecomponenttestingthewrongstrate一 forthebasicideologyofapairofcomponent—basedsoftwareforthestatictestmethods、Inthispaper，L1sethecommunicationmodel ofdatabaseservicesocmponentsysten~toabstractmodeling，na dintegrateocmponents10describethesystem ofinteractionbetweencom． portentsformalmethodsactsagreement．ItCna formallyvalidatetheprotocolocnformanceinocmponnetsystem．． Keywords：behaviorprotocols；statictesting；componenttechnology O 引 言 软件系统的应用。 如今 ，构件技术已经成为软件技术中重要的一部 分。构件测试技术也 日趋成熟，但是构件测试可能是 1 通信模型 构件技术中要求最为苛刻的一个方面。所以构件测试 文中抽象出一种特殊构件模型和ADLDj的依赖 的方法，技术比较多，涉及的范围比较广，这些构件测 细节如命名空间、类型规则等。为了关注基本原则 ，模 试技术可以分为两大类，一是：构件化软件的静态测 型是基于一agent概念的抽象构件，在这些构件中它们 试；二是：构件化软件的动态测试。 的接 口变为agent之间的连接，接 口上方法的调用转