基于公理设计的用例模型构造特征模型的方法

在软件设计中,由用例模型构造特征模型的方法有多种,有正交化的方法、有在基于UML用例模型基础上经过变换得到特征模型的方法.本文提出了基于公理设计的构造方法,利用公理设计矩阵来分析用例模型中的功能,利用功能的耦合来构造特征模型,并结合图书馆管理系统的实例,介绍这种方法的实施过程.     

基于矩阵属性变换的机械传动系统多方案产生

通过分析机械工程系统的功能关系确立待设计系统的物理变量 ,利用键合图的基础元件建立基本功能转换矩阵 ,根据机械系统中能量传递建立系统矩阵模型 ,采用矩阵属性变换 ,产生多个机械传动系统设计方案。并结合实例说明其应用     

基于Android平台的移动个人助手设计与实现

为了满足人们随时随地通过互联网进行日常交流和信息共享的目的,采用移动终端设备Android操作平台的系统功能,开发出MVC模式的移动个人助手系统。服务器端由SSH框架搭建而成,负责系统的后台管理及数据的存储;在实验中数据库通过hibernate实现了对象的持久化操作;Spring的控制反转机制控制对象之间的依赖关系,避免硬编码所造成的过度程序耦合。客户端界面友好,操作简洁,便于携带。该系统具有各个层面相互独立,便于后续开发及维护等特点。     

一种结合IPSO-BP神经网络的备件供应模型研究

备件供应是制造业服务价值链协同中的重要组成,也是企业制定销售计划和生产计划的重要依据.本文将备件供应过程中的备件消耗考虑在内,以最小化总成本为目标,以订货时的备件需求量为核心参数,提出一种基于神经网络的备件供应需求预测模型.在现有标准粒子群算法的基础上,通过将惯性权重的改进、环境检测策略和自适应最优解跳跃策略结合,提出...     

UML与I2DEF(Integrated IDEF)建模方法及相关建模工具评述

介绍了一种新的建模方法——I2DEF.I2DEF方法吸取了IDEF、OMT、UML、OOSE、OOA/OOD等优秀建模方法的优点,是一种综合性的方法.并将其与UML建模方法进行比较,充分分析了这两种方法的优缺点.并以RationalRose作为UML建模工具的代表,与I2DEF方法的建模工具PlayCASE在功能、性能方面进行比较.最后对两种方法进行总结,提出将来建模工具发展的方向以及对开发人员的建议.     

工控软件的安全性分析

通过讨论工控软件中的安全性的可靠性的关系，提出了工控软件的安全性和可靠性在实际应用中都是评价其性能的很重要的标准，并在研究IEC标准的基础上，给出了安全相关软件的开发过程及安全性分析。     

基于公理设计的面向对象设计方法研究

从软件需求模型到软件设计模型映射是软件工程领域研究难点之一.为提高软件设计质量,增强面向对象软件系统的模块独立性,减少类与类之间的耦合,研究了基于公理设计的面向对象设计方法过程模型,分析并统一公理设计过程与面向对象设计过程相关概念.将公理设计中的"之字形"映射方法及独立设计公理应用于用例模型,特征模型和属性模型之间的映射,从而控制映射过程中软件设计的耦合程度.     

基于领域Use Case需求模型的测试用例生成

传统的Use case模型已经被扩展用于建立领域需求模型,但该模型并不支持领域测试用例的复用和自动生成.给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念.扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中.依据用例的动态模型,可以直接产生测试用例,同时获取测试数据,从而实现领域软件需求与领域测试用例的裁剪过程一致性和同步性.     

混杂系统的扩展时间自动机模型及验证研究

混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。