柴艳欣
- 作品数：5 被引量：16H指数：2
- 供职机构：重庆大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OCL约束的状态图测试方法的研究
- 随着计算机应用的普及,软件质量成为软件工程最为关心的问题之一,软件测试作为软件质量的有效保障而备受关注。统一建模语言/(UML/)以其可全方位描述软件系统蓝图的优势,在众多软件测试技术中脱颖而出。但由于UML只是半形式化...
- 柴艳欣
- 关键词：统一建模语言对象约束语言状态图测试用例
- 文献传递
- 在带OCL约束的状态图下测试线索的自动生成
- 2011年
- 提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。
- 曾一徐攀登柴艳欣邹明丁娜
- 关键词：对象约束语言可扩展标记语言类图状态图
- 一种基于UML的多态性测试线索生成方法被引量：1
- 2009年
- 首先分析了多态性的成因及形式化表示;然后借用控制流图的思想分析协作图,将类图中的信息结合到协作图中,对传统的函数间受限控制流图IRCFG进行多态性扩展并带上类图的基本信息;最后分析了测试覆盖准则并给出测试线索的生成方法。
- 陈连平曾一柴艳欣覃钊璇龚艺王艳丽
- 关键词：多态性类图协作图
- 面向对象类的复杂性的度量方法被引量：4
- 2010年
- 简要分析了已有的几种面向对象软件复杂性度量方法,指出了这些方法在反映类复杂性方面存在的不足,运用软件复杂性分解的思想,提出了一种新的类复杂性度量方法。该方法将类复杂性分解为类成员复杂性、类成员关系复杂性和封装复杂性三个复杂性分量,对各分量分别度量,进而得出总复杂性。其中,类成员复杂性采用类所实现的成员的复杂性SIMC、类接口复杂性之和SCIC反映;类成员关系复杂性通过对文中提出的伪二部图进行分析反映;封装复杂性采用成员可见率反映。最后,通过实例验证了该方法的有效性和可行性。
- 曾一柴艳欣吴光金程全良王艳丽李娟
- 关键词：面向对象软件
- 基于UML活动图的多态性测试用例生成被引量：10
- 2010年
- 目前对于活动图的研究没有考虑到面向对象软件的多态性特点,无法在活动图中对多态消息进行测试。基于此,结合面向对象多态性的特点,根据UML类图对活动图中含有多态信息的节点进行加权扩展,利用所提出的优化算法对其进行遍历并得出数量少但覆盖率高的测试用例序列。通过实例说明该方法的实现过程,证明该方法的有效性。
- 覃钊璇曾一柴艳欣徐攀登
- 关键词：多态性活动图类图测试用例
