基于模型的自动化测试工具的实现.docxVIP

基于模型的自动化测试工具的实现摘要基于模型的测试是本文首先介绍了Atmel-View框架以及菜单系统UI在其中所将扮演的角色、与各个功能模块间的关系。其次讲解了Atmel-View内存映射窗口结合OSD应用的UI设计思想，涉及了多图层表现的想法，硬件OSD与伪OSD的比较使用。然后详细阐述了基于Atmel-View的菜单系统方案和框架结构，针对最重要的MenuMode菜单构建函数分析其数据抽象、界面绘制和事件响应处理过程。其后介绍Nucleus Plus，给出进程通信、进程同步在菜单系统中支持蓝牙模块的应用方法。本方案的实现提供了一套层次化、结构化、可扩展的电子相框菜单系统，并有效支持了蓝牙模块的应用。关键词：OSD，内存映射窗口，菜单系统，UIFULFILL UI OF DIGITAL PHOTO FRAMEBASED ON ATMEL-VIEWABSTRACTAtmel Corporations Atmel-View is the application for board AT76C120, it has already provided low level realization for digital photo frame, and it could be an extendable and mature solution. Based on current functions of Atmel-View, we will design and fulfill the Menu System.Firstly the framework of Atmel-View, which role Menu System UI acts and how it relates with other function modules were introduced in this paper. Then the concept ofSDRAM-Mapping Window with OSDs usage was proposed. It referred to the idea of multiple image layer interface and the comparison the usage of hardware OSD and Pseudo OSD. Then the details of Menu Systems framework were illustrated. The process of data abstraction, interface drawing and event handling were analyzed for the most important Menu building function MenuMode. After that Nucleus Plus was introduced and the method to use process communication, process synchronization for supporting Bluetooth module in Menu System was given.The UI solution provides a layered, structural and extendable Menu System for digital photo frame. And it effectively supports Bluetooth module.Key words:OSD, SDRAM-Mapping Window, Menu System, UI目 录第一章绪论21.1.软件测试简介21.2.软件测试工具发展现状21.3.项目背景和论文结构21.3.1.项目背景21.3.2.论文结构2第二章基于模型的测试22.1.MBT一般操作流程22.2.MBT模型表现形式22.3.MBT测试用例生成22.4.MBT预期输出生成2第三章系统架构23.1.功能概述及流程23.2.系统架构2第四章系统各功能实现2第五章实例分析：ATM系统2第六章结论及展望2参考文献2第一章 绪论软件测试简介随着电子信息化的飞速发展，计算机软件已经遍布于人类社会的各个角落，远至月球探测卫星的发射系统，近至个人携带的MP3音乐播放器。但是软件带来巨大便利的同时，软件中的任何微小缺陷也可能带来难以估量的损失。据美国国家标准技术研究院（NIST）2002年公布的一份研究报告显示，软件故障平均每年对美国经济造成的损失约为595亿美元，占其国民生产总值的0.6% [1] 。因此，如何保证软件的质量显得尤为关键。软件测试能够有效地帮助软件开发人员找出系统