一种基于以MGCF系统的软件生成方法与流程

文档序号:12270948阅读:263来源:国知局

本发明属于软件开发技术领域,特别是涉及一种基于以MGCF系统的软件生成方法。



背景技术:

在通信软件的开发中,协议的消息和一般流程有明确的定义和语法格式。但是,当我们采用自然语言描述协议的时候,就会给协议的实现带来了很多问题。为了给协议设计提供坚实的基础,使用数学的方法不但能够提供无二义性的描述,而且能够对描述进行形式分析。协议形式化是指使用形式描述技术(FDT:Formal Description Technique)贯穿于协议开发的各个阶段,使得协议的研究开发可以独立于非形式的自然语言文本和最终实现代码,避免协议验证测试的复杂性。因此形式化方法在通信软件的开发当中占有重要地位。形式化方法与协议开发应用的结合,始于20世纪60年代末期,首先开展的是协议的各种形式化技术的研究工作,如有限状态机、Petri网、形式语言等,在此某础上,建立了协议的形式化描述语言,如ESTELEL,SDL等。

在信软件的开发中,另一个重要的问题是通信软件测试问题。目前软件的测试问题已成为人们共同关注的焦点。实际上,对于软件来讲,不论采用什么样的技术和方法,软件中都会有故障存在。采用新的编程语言、先进的开发方式、完菩的开发过程,可以减少故障的引入,但是不可能完全杜绝软件中故障的存在。

在IMS体系结构中,MGCTF(媒体网关控制功能)是主要的互联设备之一,是IMS网络同CS等网络互通的网络实体。从2000年开始,IP多媒体子系统(IMS,IP Multimedia Subsystem)—直受到广泛的关注。IMS可以扩展新的3G业务,提供更强的业务控制和管理能力;融合尚足接入网络和移动接入网络,向网络融合和下一代网络迈进。随着IMS标准的不断完菩,2006年开始,大部分运营商都在着手进行IMS实验,少部分运营商已经开始进行IMS尚用部署。在IMS的发展中,与其他通信网络的互连是一个非常重要的问题。



技术实现要素:

本发明的目的在于提供一种基于以MGCF系统的软件生成方法,通过以MGCF系统,基于SDL描述的通信系统生成C/C++的可执行代码,提高软件开发通信协议的开发质量。

本发明是通过以下技术方案实现的:

本发明为一种基于以MGCF系统的软件生成方法,包括如下步骤:

步骤一,将SDL描述的通信系统自动生成C/C++的可执行代码;

步骤二,当外部的人机接口与SDL的C编译器结合使用时,如果主机和目标系统之间采用TCP/IP通信;

步骤三,通过工具对SDL进行编辑、模拟和编译。

优选地,所述步骤一,将SDL描述的通信系统自动生成C/C++的可执行代码,具体步骤为:

开始域:在进程开始执行的地方,当进程实例被创建,就开始执行;

状态域:系统的描述一扩展有限状态自动机为模型,表示为状态域;

输入符:输入表示状态机接受并消耗信号;

输出域:通过信道将信号发送到一进程实例;

任务域:用于执行与变量有关的动作;

过程调用:执行一遍先前已经定义好的过程描述功能;

分支域:分支操作结束迁移过程,然后根据一表达式的产值来产生多个迁移过程。

优选地,所述步骤二中的通信协议通过Telelogic Tau工具进行实时软件通信的开发。

优选地,所述SDL系统结构包括系统:系统是最外层的、直接与外部环境交互的代理;模块:模块是包含进程或有限状态机的代理;进程:进程包含扩展的有限状态机,也包含进程;过程。

本发明具有以下有益效果:

本发明通过以MGCF系统,基于SDL描述的通信系统生成C/C++的可执行代码,加快了软件开发的过程,能有效的避免编程错误,提高软件开发通信协议的开发质量,降低开发和维护成本。

当然,实施本发明的任一产品并不一定需要同时达到以上所述的所有优点。

附图说明

为了更清楚地说明本发明实施例的技术方案,下面将对实施例描述所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。

图1为本发明的一种基于以MGCF系统的软件生成方法流程图。

具体实施方式

下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其它实施例,都属于本发明保护的范围。

请参阅图1所示,本发明为一种基于以MGCF系统的软件生成方法,包括如下步骤:

步骤一,将SDL描述的通信系统自动生成C/C++的可执行代码;

步骤二,当外部的人机接口与SDL的C编译器结合使用时,如果主机和目标系统之间采用TCP/IP通信;

步骤三,通过工具对SDL进行编辑、模拟和编译。

其中,步骤一,将SDL描述的通信系统自动生成C/C++的可执行代码,具体步骤为:

开始域:在进程开始执行的地方,当进程实例被创建,就开始执行;

状态域:系统的描述一扩展有限状态自动机为模型,表示为状态域;

输入符:输入表示状态机接受并消耗信号;

输出域:通过信道将信号发送到一进程实例;

任务域:用于执行与变量有关的动作;

过程调用:执行一遍先前已经定义好的过程描述功能;

分支域:分支操作结束迁移过程,然后根据一表达式的产值来产生多个迁移过程。

其中,步骤二中的通信协议通过Telelogic Tau工具进行实时软件通信的开发。

其中,SDL系统结构包括系统:系统是最外层的、直接与外部环境交互的代理;模块:模块是包含进程或有限状态机的代理;进程:进程包含扩展的有限状态机,也包含进程;过程。

值得注意的是,上述系统实施例中,所包括的各个单元只是按照功能逻辑进行划分的,但并不局限于上述的划分,只要能够实现相应的功能即可;另外,各功能单元的具体名称也只是为了便于相互区分,并不用于限制本发明的保护范围。

另外,本领域普通技术人员可以理解实现上述各实施例方法中的全部或部分步骤是可以通过程序来指令相关的硬件来完成,相应的程序可以存储于一计算机可读取存储介质中,所述的存储介质,如ROM/RAM、磁盘或光盘等。

以上公开的本发明优选实施例只是用于帮助阐述本发明。优选实施例并没有详尽叙述所有的细节,也不限制该发明仅为所述的具体实施方式。显然,根据本说明书的内容,可作很多的修改和变化。本说明书选取并具体描述这些实施例,是为了更好地解释本发明的原理和实际应用,从而使所属技术领域技术人员能很好地理解和利用本发明。本发明仅受权利要求书及其全部范围和等效物的限制。

当前第1页1 2 3 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1