uml在空调嵌入式系统开发中应用的研究

《uml在空调嵌入式系统开发中应用的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、论文题目：UML在空调嵌入式系统开发中的应用研究作者姓名：禚百田入学时间：2007年9月专业名称：计算机软件与理论研究方向：软件工程指导教师：郑永果职称：教授赵卫东副教授论文提交日期：2010年5月论文答辩日期：2010年6月12日授予学位日期：RESEARCHANDAPPLICATIONOFUMLINAIRCONDITIONINGEMBEDDEDSYSTEMDEVELOPMENTADissertationsubmittedinfulfillmentoftherequirementsofthedegreeofMASTEROFPHILOSOPHYfromShandongUniversityofS

2、cienceandTechnologybyZhuoBaitianSupervisor:ProfessorZhengYongguoCollegeofInformationScienceandEngineeringMay2010声明本人呈交给山东科技大学的这篇硕士学位论文，除了所列参考文献和世所公认的文献外，全部是本人在导师指导下的研究成果。该论文资料尚没有呈交于其它任何学术机关作鉴定。硕士生签名：日期：AFFIRMATIONIdeclarethatthisdissertation,submittedinfulfillmentoftherequirementsfortheawardofMaster

3、ofPhilosophyinShandongUniversityofScienceandTechnology,iswhollymyownworkunlessreferencedofacknowledge.Thedocumenthasnotbeensubmittedforqualificationatanyotheracademicinstitute.Signature:Date:山东科技大学硕士学位论文摘要摘要近年来，嵌入式系统在工业控制、信息家电、汽车等领域得到了广泛地应用。嵌入式系统对功能、可靠性、实时性、成本、体积和功耗等方面有严格要求，大大增加了其开发的复杂和困难。空调嵌入式系统还要考

4、虑节约资源保护生态环境，进一步增加了开发的难度。基于面向对象技术的统一建模语言UML可用于表达复杂系统的逻辑和物理结构。如何基于UML技术来提高嵌入式系统开发的效率和质量，是本文研究的主要内容。本文以多联式空调机组系统为例，按照嵌入式系统快速面向对象过程ROPES开发过程，使用基于UML的Rhapsody建模工具建立了系统各种模型，描述了系统功能需求。根据系统结构和功能，对系统静态结构和动态行为进行了分析与设计。考虑到嵌入式系统设计中的各种约束，利用UML约束扩展机制，表示了各种约束关系。系统动态行为模型描述了系统行为实时性和并发性，并强制实施所需的前置条件和后置条件，表达了系统如何正确处理异

5、常和错误。使用模型测试技术，能够尽早发现高层次的缺陷，有效降低系统的开发风险和成本，提高软件的重用率和代码质量。本文针对传统的测试方法和基于Rhapsody工具的模型测试方法存在的问题，用VC编程语言设计了可视化图形模型测试系统。通过对模型视图的测试，验证了模型视图及代码的正确性。模拟实验表明，根据ROPES开发过程，使用基于UML技术的Rhapsody工具，将UML技术应用于空调嵌入式系统开发能够尽早地发现系统的设计错误或缺陷，提高软件开发的效率和质量。关键词：嵌入式系统，空调系统，统一建模语言，模型测试山东科技大学硕士学位论文摘要AbstractEmbeddedsystemshavebee

6、nusedwidelyinindustrycontrol,informationappliance,automotiveandotherfieldsinthelastyears.Becauseembeddedsystemshavestrictrequirementsforfunctionality,reliability,real-time,cost,sizeandpowerconsumption,itgreatlyincreasedcomplexityanddifficultyofdevelopment.Consideringsavingresourcesandprotectingecolo

7、gicalenvironment,thedevelopmentofairconditioningembeddedsystemwillbemoredifficult.UnifiedModelingLanguage(UML)basedonobject-orientedtechnologycanbeusedtoexpresslogicalandphysicalstructureofcomplexsyst