基于扩展层次自动机的UML状态图完备性和一致性检验

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。     

花生壳/仁的吸附等温线与热力学特性

为了解花生壳与花生仁的含水率、水分活度(a_w)与温度的关系,提高花生的贮藏稳定性。研究花生壳与花生仁在10、20、30℃时的吸附等温线;探讨花生壳与花生仁的净等量吸附热(q_(st))、微分熵(S_d)、扩张压力、积分熵、积分焓、熵-焓互补、玻璃化转变温度(T_g)等热力学特性。结果表明,花生壳与花生仁的水分吸附呈Ⅲ型等温线。温度一定时,花生壳与花生仁的干基含水率随a_w增加而增加。描述花生壳与花生仁吸附特性的最适模型为GAB模型。花生壳与花生仁的q_(st)与S_d均随含水率增加而降低。扩张压力随a_w增加而升高,但随温度升高而降低。积分焓随含水率增加而降低,而积分熵随含水率增加而升高。花生壳的q_(st)和S_d均高于花生仁,而同一温度条件下花生仁的扩张压力高于花生壳。含水率相同时,花生仁积分焓低于花生壳,而花生仁的积分熵则高于花生壳。花生壳与花生仁水分吸附过程均为焓驱动、自发过程。花生壳与花生仁的T_g随含水率增加而降低,相同含水率时,花生壳的T_g值高于花生仁。根据状态图得到温度为10℃时,花生壳与花生仁的临界水分活度与临界含水率分别为0.80、0.175 4 g/g与0.68、0.095 5 g/g。研究结果可为花生干制工艺及其干制品贮藏稳定性提供理论依据。     

注塑塑料制品的收缩特性

论述了注塑塑料制品的收缩机理和收缩过程,讨论了影响塑料收缩率与制品后收缩的主要因素,通过P-V-T状态图描述了塑料在注塑过程中的收缩特性。     

UML状态图在回归测试中的应用

基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。     

基于ASP.NET的高校报修系统的设计与实现

在高校的后勤管理过程中,设施设备的维修是日常管理的重要工作之一,传统的报修方式是以纸质申请的方法,通过层层审批,无法保证维修的及时性,也无法对维修人员进行监督、反馈和评价。目前,这样的工作方式已无法满足高校后勤设施设备维修的要求。文章分析、设计并使用了ASP.NET和SQL Server技术实现了报修管理系统,能够转变传统工作方法,提高维修的及时性,解决报修过程的难点和痛点。     

基于COM原理的UML模型信息提取技术

提出了一种提取UML模型信息的方法.UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便.同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试.因此,研究如何从UML图中提取相应的模型信息有其现实意义.利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息.     

用PLC内部辅助继电器实现顺序控制的应用

本文提出用用PLC内部辅助继电器实现顺序控制的方法,并用实例进行说明,可提高PLC程序设计速度和质量.     

基于UML状态图的类测试用例实现的研究和设计

UML状态图能有效的表现系统的并发控制和类的嵌套,但用其实现的类测试用例复杂.研究了UML状态图和扩展有限状态机这两种方法在软件测试中状态转换的特点,利用扩展有限状态机状态转换单一线索化的特点降低UML状态图在类测试用例生成中的复杂性.以一个坐标图形显示类的测试用例生成为例,详细讨论了结合扩展有限状态机状态转换特点的UML状态图在面向对象测试技术中的应用.     

基于进程代数的服务业务流程价值分析

服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现程度,进而定量计算服务业务流程模型对顾客需求的满足情况,为后续面向价值的服务模型优化提供依据.     

基于UML集成测试用例的算法研究

对基于状态图生成集成测试用例的方法进行了研究,通过构造集成测试模型,重点描述了两个对象或组件的状态图进行合并的方法,并给出了状态图的形式化描述,以及如何对组合状态图进行展开用于集成测试用例的生成.为了验证该方法的实用性,又以实际项目研究为例,实现了基于状态图集成测试用例的生成工具,对该方法进行了验证,并给出了算法的部分实现代码.该方法将系统设计和测试用例的设计统一起采,是软件测试自动化的一个探索.