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

《基于模型自动化测试工具实现》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、.基于模型的自动化测试工具的实现摘要基于模型的测试是本文首先介绍了Atmel-View框架以及菜单系统UI在其中所将扮演的角色、与各个功能模块间的关系。其次讲解了Atmel-View内存映射窗口结合OSD应用的UI设计思想，涉及了多图层表现的想法，硬件OSD与伪OSD的比较使用。然后详细阐述了基于Atmel-View的菜单系统方案和框架结构，针对最重要的MenuMode菜单构建函数分析其数据抽象、界面绘制和事件响应处理过程。其后介绍NucleusPlus，给出进程通信、进程同步在菜单系统中支持蓝牙模块

2、的应用方法。本方案的实现提供了一套层次化、结构化、可扩展的电子相框菜单系统，并有效支持了蓝牙模块的应用。关键词：OSD，内存映射窗口，菜单系统，UI......FULFILLUIOFDIGITALPHOTOFRAMEBASEDONATMEL-VIEWABSTRACTAtmelCorporation'sAtmel-ViewistheapplicationforboardAT76C120,ithasalreadyprovidedlowlevelrealizationfordigitalphotoframe

3、,anditcouldbeanextendableandmaturesolution.BasedoncurrentfunctionsofAtmel-View,wewilldesignandfulfilltheMenuSystem.FirstlytheframeworkofAtmel-View,whichroleMenuSystemUIactsandhowitrelateswithotherfunctionmoduleswereintroducedinthispaper.Thentheconceptof

4、SDRAM-MappingWindowwithOSD'susagewasproposed.ItreferredtotheideaofmultipleimagelayerinterfaceandthecomparisontheusageofhardwareOSDandPseudoOSD.ThenthedetailsofMenuSystem'sframeworkwereillustrated.Theprocessofdataabstraction,interfacedrawingandeventhandl

5、ingwereanalyzedforthemostimportantMenubuildingfunctionMenuMode.AfterthatNucleusPluswasintroducedandthemethodtouseprocesscommunication,processsynchronizationforsupportingBluetoothmoduleinMenuSystemwasgiven.TheUIsolutionprovidesalayered,structuralandexten

6、dableMenuSystemfordigitalphotoframe.AnditeffectivelysupportsBluetoothmodule.Keywords:OSD,SDRAM-MappingWindow,MenuSystem,UI......目录第一章绪论21.1.软件测试简介21.2.软件测试工具发展现状21.3.项目背景和论文结构21.3.1.项目背景21.3.2.论文结构2第二章基于模型的测试22.1.MBT一般操作流程22.2.MBT模型表现形式22.3.MBT测试用例生成22.

7、4.MBT预期输出生成2第三章系统架构23.1.功能概述及流程23.2.系统架构2第四章系统各功能实现2第五章实例分析：ATM系统2第六章结论及展望2参考文献2......第一章绪论1.1.软件测试简介随着电子信息化的飞速发展，计算机软件已经遍布于人类社会的各个角落，远至月球探测卫星的发射系统，近至个人携带的MP3音乐播放器。但是软件带来巨大便利的同时，软件中的任何微小缺陷也可能带来难以估量的损失。据美国国家标准技术研究院（NIST）2002年公布的一份研究报告显示，软件故障平均每年对美国经济造成的损

8、失约为595亿美元，占其国民生产总值的0.6%[1]。因此，如何保证软件的质量显得尤为关键。软件测试能够有效地帮助软件开发人员找出系统中存在的错误，从而在很大程度上保证软件的质量。现代软件工程理论将软件测试作为软件开发过程的重要组成部分，软件开发过程中有一半以上的资源都花费在软件测试上。早期的软件测试等同于程序调试，1957年CharlesBaker才正式将两者区别开来，他认为调试侧重于保证程序运行，而测试侧重于保证程序解决问题[2]。1979年Myer