蒋建民
- 作品数：13 被引量：15H指数：3
- 供职机构：福建师范大学更多>>
- 发文基金：国家自然科学基金福建省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 云计算中服务虚拟的形式依赖分析
- 2015年
- 建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
- 杨启帆吴亚洲蒋建民张仕
- 关键词：形式化
- 对象之间连接器的设计与实现
- 面向对象的程序设计语言为对象之间传递消息提供了各种手段,但对象间的消息传递都是通过类之间的静态耦合实现,无法实现对象间的动态耦合。文中利用组件装配的思想来建立一种对象外部的连接器,并通过一个简单的例子实现。这种装配式的对...
- 肖颖蒋建民朱恒亮
- 关键词：连接器
- 文献传递
- 基于程序频谱的缺陷定位方法被引量：3
- 2019年
- 软件测试是生产可靠软件的重要保障,对测试所发现缺陷的解决可以分为缺陷定位和缺陷修改两个步骤[1],其中的缺陷定位是最耗时的.通常情况下,测试套件中成功执行的测试用例都占绝大多数,对基于程序频谱的缺陷定位方法,应该具备自主调节成功测试用例覆盖比重的能力,以提高方法的可用性.即,随着语句被成功测试用例覆盖的次数增多,该语句的覆盖次数对怀疑率的贡献度应逐渐减小,成功测试用例数的有效处理能提高缺陷定位方法的效果.基于此,本文提出EPStar(EP*)缺陷定位方法,该方法可以有效调整成功执行用例数的影响,以避免成功用例数量对缺陷定位效果的过度影响,从而提高缺陷定位的准确性,通过实验对比,说明了EP*方法比现有的几种缺陷定位方法具有更高的缺陷定位精度.
- 蔡蕊张仕张仕蒋建民
- 关键词：测试用例
- 一种高效的业务过程的合规性监控框架被引量：2
- 2017年
- 为了对业务过程的合规性进行监控,提出业务过程合规性监控框架bpCMon,包括合规性规则描述语言ECL和事件响应系统ERS。ECL建立在事件和事件关系模式上,能描述具有多业务视角的合规性规则。ERS是一个基于规则系统的监控器,包括规则系统和工作结构,工作结构中的索引能支持ERS监控器对事件的高效响应。使用真实医疗数据证实了bpCMon的实用性,通过与其他相关监控器的比较验证了ERS监控器的高效性。
- 龚平冯在文蒋建民
- 对象之间连接器的设计与实现
- 面向对象的程序设计语言为对象之间传递消息提供了各种手段,但对象问的消息传递都是通过类之间的静态耦合实现,无法实现对象间的动态耦合。文中利用组件装配的思想来建立一种对象外部的连接器,并通过一个简单的例子实现。这种装配式的对...
- 肖颖蒋建民朱恒亮
- 关键词：连接器程序设计语言可维护性
- 文献传递
- 面向对象的需求规格说明文档研究被引量：4
- 2020年
- 需求分析是软件开发过程中最重要的阶段,包括需求获取、分析、验证、需求规格说明等部分,其中需求规格说明是需求获取、分析、验证最终得到的结果描述,也是需求工程师、用户及系统设计师分析与理解软件系统的文档。统一建模语言(UML)是面向对象的标准建模语言,可利用其对系统进行需求分析。由于许多软件工程师和研究者对该语言有不同认识,导致采用UML建模的需求规格说明文档存在不同结构和内容,从而使相互交流变得困难。为避免该问题出现,提出面向对象的需求规格说明文档结构应遵从问题分析的逻辑性,并给出具体分析步骤及文档模板,解释了该模板中的每部分内容。最后利用提出的方法,以物流系统项目为例,详细说明了物流软件需求规格文档结构。
- 陈杨杨蒋建民
- 关键词：面向对象需求规格说明文档模板UML软件工程
- 并发系统中基于优先级的调度分析被引量：2
- 2016年
- 当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系统,从而设计出正确和有效的调度策略,以达到正确分解系统的目的。
- 朱振宇张仕蒋建民吴亚洲杨启帆
- 关键词：调度策略
- 业务过程的自动配置与管理
- 可配置的业务过程模型可以通过配置来满足组织的特定要求配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性，然而很少有方法能够解决此问题，文中提出一种新方法,该方法先将可配置的过程模型自动分离成原子...
- 吴亚洲杨启帆蒋建民张仕
- 关键词：计算机软件配置管理原子
