基于AUTOSTAR的智能电视仿真平台设计与实现

摘要

智能电视相比传统电视由于增加上网浏览、音视频文件播放、下载各种应用软件等多种功能，系统软硬件变得异常复杂，用户使用也相对繁琐，如何确保系统UI设计具有人性化，使产品受用户欢迎，同时保证软件本身没有错误是目前智能电视厂家面临的主要问题。开发智能电视仿真平台希望解决上述两个问题，一是将系统需求在仿真系统上仿真使用，尽早发现用户可能使用不方便的问题，二是后期软件可进一步仿真，发现软件逻辑问题。
　　采用扩充有限状态机对智能电视需求分析进行建模、仿真，用户通过虚拟遥控器、键盘、鼠标操控虚拟的智能电视，以发现UI存在的问题以及使用不够人性的问题。提出采用状态变迁矩阵(STM)对扩充的有限状态自动机进行建模，STM是一个二维矩阵，横向为系统处于的状态，纵向为来自于外界或系统产生的各种事件，中间单元表示在某一状态下针对某一事件的处理过程。由于STM支持嵌套简化了系统建模的难度。最后采用AUTOSTAR实现虚拟的智能电视系统，AUTOSTAR提供VIP接口，显示部分采用VB实现。
　　虚拟遥控器和虚拟键盘采用C#实现，智能电视虚拟仿真系统采用AUTOSTAR开发，AUTOSTAR是一款面向嵌入式软件开发的CASE工具，方便了智能电视复杂逻辑建模，提高了建模速度和效率，整个系统运行在windows7平台上。最后对系统进行了黑盒测试，选取了近百个测试用例测试采用虚拟遥控器、虚拟键盘、虚拟鼠标操控智能电视。系统在国内几个智能电视机厂家得到应用，一是可尽早发现智能电视UI设计的非人性化问题，减少了设计的盲目性，用户可前期参与产品设计，二是有助于发现需求分析文档漏洞。

目录

声明

摘要

1 绪论

1．1 课题的研究意义

1．2 背景介绍

1．2．1 智能电视简介

1．2．2 智能电视的一般硬件系统方案

1．2．3 CASE工具简介

1．2．4 AUTOSTAR简介

1．2．5 AUTOSTAR中状态迁移表的表示简述

1．2．6 AUTOSTAR中VIP环境及Visual Basic简述

1．3 论文的组织结构

2 系统需求分析

2．1 智能电视UI分析

2．2 仿真平台的状态和事件的分析

2．2．1 状态概述

2．2．2 事件概述

2．2．3 处理概述

2．2．4 转移状态概述

3 系统设计

3．1 状态迁移表设计

3．1．1 STM(State Transition Matrix)设定

3．1．2 状态(State)设定

3．1．3 事件(Event)设定

3．1．4 动作(Action)设定

3．1．5 转移(Transition)设定

3．2 AUTOSTAR中状态迁移表和主要文档设计

3．3 Visual Basic程序实现

3．4 VIP仿真模块设计

4 功能模块实现

4．1 模拟键盘功能的实现

4．1．1 发送端的设置

4．1．2 接收端的设置

4．1．3 根据消息做出相应的动作

4．2 模拟鼠标功能的实现

4．2．1 发送端的设置

4．2．2 接收端的设置

4．2．3 鼠标点击功能的模拟

4．3 显示屏幕内容实现

4．3．1 发送端的设置

4．3．2 接收端的设置

5 系统测试

5．1 状态迁移表测试

5．2 VB程序测试

5．3 VIP模块测试

结论

参考文献

攻读硕士学位期间发表学术论文情况

致谢