嵌入式软件界面设计.docx

程序界面设计
主界面设计
图1 界面：把项目导入平台，在编辑区域左边显示一个项目清单列表、右上部分显示与项目清单 .doc文件相对应的图形化结构（图1）、把测试用例下的测试函数用编程文本显 示出来且能够对其进的关系表示出来如头 文件与源文件的关系。对这些操作进行执行时，要及时更新与之相关的内容如对源代码修改 后要保证它的结构图也相应得到更新，这里就要对更新操作实现。见图4
右上界面设计
把在项目清单上的相应操作在右上部分表示出来。见下图

显示相应操作的控制台信息和程序的运行信息。
2 用户登录与退出
在进入平台时先要求输入用户名和密码进行验证后，才能进行后续的平台运行。如果输入
出现错误，则提供帮助信息和返回到登录状态。这里选用基于Preferences的用户登录。
登录的流程：用户双击图标运行程序，在基本配置完后，进入主界面之前。要求用户输入 用户名和密码在实现时要对用户的信息进行加密处理，进入系统时要把设定的主界面显示出 来；退出系统时，把当前打开的各个对象关闭后才完全退出程序。同时在平台中要提供用户
的管理。类似登录界面如下图5
图5
3 各个菜单的功能分析
文件菜单
新建与新建项目重叠，要删除一个。
打开子菜单项功能：能够打开 word,txt 等格式的文件。有一个向导窗口来寻找需要打开 文件的位置。
导入项目子菜单功能：是导入一个已经存在的项目（ 格式的文件，选择这个文件即可）
导出项目子菜单功能：是对新建的项目经过下图的处理后，生成一个独立的文件以便于
保存
属性子菜单功能：显示整个系统的配置情况，可以参见Eclipse平台的属性菜单项。

源代码加载子菜单：源程序经过C编译器编译后会产生相应的源文件，把此处所有的源 代码加载到平台中。并以树型方式将其呈现，并提供对这些文件的操作功能，主要操作功能 可以包括：在平台上打开文件、静态分析文件、查看文件的结构流图、查看文件函数、查看 与其它代码文件的静态关联关系等等。
静态代码分析子菜单：是指对被测源代码进行词法语法分析，对关键路径节点进行标 识，已完成下一步对其插桩的过程。静态分析要从源程序中提取必要的数据(比如函数名、 用面向对象语言编写的类名、行号等信息)，对源程序的控制流进行分析，为源程序划分块， 然后把得到的数据都保存到以XML格式的数据文件中。这些数据文件为实现图形化呈现作好 了准备。这一步主要是生成程序的 DD 图。以便后续进行寻找关键分支。
源代码插桩子菜单：是在源程序的适当位置插上编码人员需要知道的信息，由于编码人 员需要的信息千变万化，要想完全做到自动化是不现实的。插装模块主要是根据用户的需要， 把用户的需要变成模板化的插装代码，通过预编译条件控制语句来控制调试版本和发行版本 间的切换。用户需要告知程序插装模块需要做什么样的服务，比如需要知道某个变量在运行 中的值的变化，某个函数在某处被调用时的返回值和传入值等，程序插装模块在相应的位置 上插入相应的代码，并通过相关的机制把用户所需要的功能信息通知给用户。程序插装就是 要往源程序的特定位置中插入自己的代码，当插装后的可执行程序运行时就可以获取动态数 据。插装后的可执行程序为实现覆盖分析自动化和动态跟踪自动化作好了准备。此模块主要 实现对源代码在标记分析的基础上进行对关键路径，关键程序结点的插桩，完成程序在运行 过程中对动态测试数据的获取和监控，生成测试结果数据。
对程序的关键路径的计算(参考陈恩慧大论文)：由源程序生成的DD图，找出图形中的 支配树DT,蕴含树IT。通过UE(G)=DTL(G)DITL(G), KB(G)= KB(G) U UE(G)找出非 约束关键分支，通过算法for (each e{DTL(G)-UE(G)})
{if (e在支配树中与父结点非连续)
continue; /* 排除与父结点非连续的叶子结点 */
获取e在DT(G)中祖先集合DTAncestor(e);
if (DTAncestor(e)CITL(G)丰® )
KB(G)=KB(G)U{e};
}
找出图形中约束分支中的关键分支。所以通过上述的计算可以找到要测试程
序的关键分支为：KB（G）。
找到关键分支后，根据关键分支的不同特点，利用插桩库函数对关键分支进 行标记。 （参考于全喜插桩方法）这里还关系到要建立一个基于 C 语言的插桩库（参见 ： 略）。
文档菜单
文档加载子菜单