胡小威
- 作品数:3 被引量:3H指数:1
- 供职机构:重庆大学更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于投影寻踪的Web软件复杂性度量被引量:2
- 2012年
- 传统的软件复杂性度量方法主要是针对C/C++、Ada等语言开发的非Web应用。以面向对象的基于Struts框架的Web软件为研究对象,提出了适合于Web-Struts软件的3个方面的复杂性度量指标,并提出了一种基于带交叉算子人工鱼群和投影寻踪(PP)算法的Web应用软件复杂性度量方法。把Web软件多个复杂性度量指标综合成一维综合投影值,利用样本数据求解最佳投影方向,确定评价等级的综合投影值区间,根据测试样本综合投影值与区间值比较,获得综合评价结果。实例评价结果表明,所提方法具有较强的适用性和应用性。
- 曾一胡小威李鹃
- 关键词:软件复杂性度量STRUTS框架投影寻踪交叉算子人工鱼群算法
- 一种状态图到B规格说明的自动转换方法研究实现被引量:1
- 2011年
- 状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。
- 曾一孙政周吉胡小威
- 关键词:形式化方法元模型UML状态图B方法
- MarkII方法在面向对象系统中的应用研究
- 随着软件行业快速的发展,国内外的软件企业对软件的管理日趋成熟。软件成本估算越来越受到这些企业的重视。从软件自身的因素考虑,软件规模是软件成本最重要的组成部分。因此正确地估算软件规模对软件管理有着至关重要的作用。软件的规模...
- 胡小威
- 关键词:面向对象系统UML建模功能点度量
- 文献传递