面向嵌入式软件开发的C语言程序设计课程改革探索

从嵌入式系统软件开发的角度出发,探讨在嵌入式系统开发方向上C语言程序设计课程的改进思路,首先阐述嵌入式软件开发对C语言的知识和技能需求,指出现有C语言课程针对嵌入式系统开发存在的不足;在此基础上,从课程设置、教学内容划分、实验设置及教学方法与手段等方面讨论C语言程序设计课程的改革思路。     

基于UML的管理信息系统开发

以一个管理信息系统为背景,探讨了利用统一建模语言对系统进行面向对象分析、设计以及实现问题,顺利实现了对象模型向关系数据库模型的转换。     

基于UML的嵌入式软件开发

在3C融合趋势下,中国嵌入式软件市场快速发展,并受到政府的高度重视。2006年中国嵌入式软件市场规模达到1461．6亿元,2006—2010年复合增长率将达27．6％。     

使用C语言编写高效嵌入式软件的教学探讨

“嵌入式应用技术”课程的一个教学难点是培养学生编写高效嵌入式C语言程序的能力,本文从教学角度讲述了如何让学生理解嵌入式软件时空要求的苛刻性、编写高质量代码所需的基础知识以及C语言代码的常用优化方法。     

一个用C语言开发嵌入式软件的实例

本文论述了用C语言开发无DOS支持的嵌入式应用软件时会碰到的问题及相应的对策，并以BorlandC＋＋3．1开发环境为例，具体说明为生成可团化运行的程序，应如何修改起动代码和选择编译环境，及如何将生成的EXE文件作必要的修改后进行固化。     

用UML建模开发嵌入式软件

针对面向对象开发与C语言的优缺点,提出一种新的方案,用面向对象的思想与开发工具进行软件的设计,用C语言进行编码,给出新方案应用实例,并在此基础上提出几种进一步优化程序性能的方法。新的方案增强了用C语言开发系统软件的可理解性、可移植性和稳定性,同时又保持了C语言高性能与低二进制代码长度的优点。     

基于Object—Z的UML对象模型的形式化

1 引言 UML作为面向对象的可视化建模语言,己被对象管理集团(OMG)作为面向对象分析和设计的标准,获得了众多工具的支持。UML提供了不同抽象层次的描述以支持面向对象的分析、设计和实施,它从不同的视图描述软件系统,减少了建模的复杂度,更为重要的是建立了基于元模型的体系结构,提供了较为灵活的扩充机制,使开发人员可以根据不同的领域需求定制UML,也易于加入新的建模概念。     

基于UML的对象关系数据库设计

对象关系数据库是数据库发展的新趋势,UML作为现在比较流行的面向对象分析,设计标准语言,在数据库建模方面有其独特的优势,本文介绍了对象关系型数据库的特点以及数据库建模的方法,并结合户籍管理系统的实例介绍了运用UML进行对象关系型数据库建模的方法和技巧。     

基于UML状态机与B方法的高可信嵌入式软件开发

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案：以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高尚可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。     

基于UML的嵌入式软件建模研究

本文以某型嵌入式控制系统软件的设计建模为例,证明了以可视化面向对象的UML建模工具,能够有效克服传统嵌入式系统软件设计中出现的问题,为嵌入式系统软件开发人员提供了一种新的设计开发方法。     

基于UML的C3I系统软件建模

UML是一种通过面向对象分析确定由类图和行为图表述的逻辑体系结构和通过面向对象设计确定由构件图和配置图表述的物理体系结构的方法,目前已经成为面向对象分析与设计建模事实上的标准;首先介绍了UML技术及其在开发应用程序中的一般框架,并以此为依据,使用UML结合光电干扰武器系统C3I的建模应用实例对其进行了具体论述。     

基于UML的软件度量

针对现有软件度量估算困难、精确度不高的问题,在预测性对象点基础上改进并提出基于UML的软件度量方法,可以从用例、序列图、类图度量软件。结果证明,与预测性对象点相比,该方法的精度提高了5%左右,其子系统偏差方向一致。     

基于模型的嵌入式系统软件工程语言AADL与UML的比较

随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级,模型驱动体系结构成为嵌入式系统开发的主流。统一建模语言(UML)和结构分析和设计语言(AADL)是模型驱动系统工程的标准,从方法、扩展机制和应用领域三个方面对两者进行研究和比较,讨论模型分析、模型转换等相关技术。最后,探讨了UML和AADL的发展与研究方向     

基于UML的迭代式软件开发过程

UML（Unified Modeling Language）作为第三代面向对象开发方法,它是一种定义良好,易于表达,功能强大,且适应广泛的建模语言。Rational Unified Process（RUP）是一种软件工程方法,它提供了一种严谨的途径来分派开发组织的任务和职责。它的目标是确保在预定的时间和预算内得到一套的最终用户所需要的高质量的软件产品。文章讨论了依据RUP利用UML建立应用系统模的方法。     

基于UML的面向对象软件静态测试方法的研究

测试用例的数量和质量决定软件测试的成本和有效性。文中提出了一种基于UML面向对象软件静态测试的方法，论述了软件测试方法的分类、静态分析方法的基本测试框架及具体实现流程。针对面向对象软件的特点，静态测试主要是通过分析源程序得到类关系图，使测试人员能快速而清晰地了解程序结构，有效地设计测试用例。探讨了在对源程序进行充分的词法分析与语法分析的基础上，提取程序中类的有关信息，利用了数据库技术和UML图形模型，从而保证了分析结果的准确有效和标准化。     

基于UML的软硬件协同设计方法

嵌入式系统软硬件协同设计中关键步骤之一是软硬件划分。文中通过介绍现有嵌入式系统的协同设计方法,如:VULCAN,COSYMA和POLIS,指出了现有方法的缺点,提出了一种改进的基于UML的新方法。使用UML建立系统模型,根据UML的图例,采用二叉树的结构,计算出每个步骤的成本;采用改进的遗传算法,加快收敛的速度,提高解的质量。在算法库和成本库中对系统的软硬件进行划分,通过协同综合,达到协同仿真和验证的目的。     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。