丁锋
- 作品数：6 被引量：1H指数：1
- 供职机构：南京理工大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于蕴含关系的场景测试法路径优化方法研究
- 2015年
- 针对场景测试法中多场景切换代价优化问题,在复合状态分析、逻辑蕴含概念基础上,从测试场景结构分解的角度,给出状态蕴含和场景蕴含关系的定义及推论,由场景蕴含形成场景蕴含图SIG,然后采用图论方法求解优化路径。给出系统化处理方法,并与其他方法比较。最后实例验证该方法的有效性。
- 严悍许昌年朱文丁锋王宇
- 基于二分图的满足时序约束的迭代增量式的最大派工方法
- 本发明公开了一种基于二分图的满足时序约束的迭代增量式的最大派工方法。首先对一组等待派工的任务进行排序，计算两两之间的冲突或时序关系，得到一个冲突矩阵；对每一个任务，根据能力和时间的约束，分别计算出一个可选人员子集，再合并...
- 严悍朱文丁锋王宇许昌年黄翔姜雨蒙俞兴华
- 文献传递
- 语境判定树建模与工作流设计验证被引量：1
- 2015年
- 针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题,提出语境判定树CDT模型。采用元模型建模方法给出CDT建模规范,利用令牌建立动态计算规则,并讨论比较CDT和其他模型的特点,分析语境判定树模型的优势。实例分析表明,该模型能够满足安全性验证需求,具有良好的规范性、适用性和可扩展性。
- 严悍王宇丁锋朱文许昌年
- 关键词：工作流系统元模型
- 一种模型驱动和模式导向相结合的复杂Web系统重构方法
- Web系统作为一种主流的应用程序被广泛的使用。大型复杂Web系统在演化过程中出现多种臭味而需重构。Web系统的复杂性主要体现为：多语言和多框架。现在的大部分软件重构方法都是基于面向对象语言程序,而往往忽略了Web系统的重...
- 丁锋
- 关键词：设计模式协议状态机WEB构件
- 文献传递
- 基于二分图的满足时序约束的迭代增量式的最大派工方法
- 本发明公开了一种基于二分图的满足时序约束的迭代增量式的最大派工方法。首先对一组等待派工的任务进行排序，计算两两之间的冲突或时序关系，得到一个冲突矩阵；对每一个任务，根据能力和时间的约束，分别计算出一个可选人员子集，再合并...
- 严悍朱文丁锋王宇许昌年黄翔姜雨蒙俞兴华
- 文献传递
- 复杂Web系统的模型驱动重构方法研究
- 2014年
- 大型复杂Web系统在演化过程中出现多种臭味而需重构。在分析重构需求基础上,给出一种模型驱动重构方法。针对Web构件跳转逻辑的重构需求,主张采用协议状态机建模方法,以此建立项目范围的跳转模式并给出推理方法。与传统方法相比,该方法具有可伸缩性、并能保持和增强安全性,适合复杂Web系统的重构。
- 严悍丁锋朱文
- 关键词：WEB系统协议状态机WEB构件
