[发明专利]验证系统及用于验证系统的验证方法

说明书

一种验证方法，用于验证系统。验证系统包含本地服务器、多个验证平台及主服务器。验证方法包含本地服务器接收程序代码以将程序代码编译为验证映像文件，本地服务器依据程序代码的类型从该多个验证平台中选定验证平台，本地服务器将验证映像文件写入选定的验证平台，选定的验证平台对验证映像文件进行一组测试以产生验证报告，及主服务器依据验证报告产生更新的映像文件。

技术领域

本发明申请是关于软件验证，特别是一种软件验证的验证系统及用于验证系统的验证方法。

背景技术

软件验证为软件工程中用于确保程序代码质量及功能的程序。软件开发者在完成程序代码后需要提交程序代码就各种不同的验证种类撰写对应的测试程序代码及/或处理编译程序参数。诸如程序代码格式验证、程序代码质量验证、编译验证、基本功能验证等各种不同的验证种类往往需要以人工方式单独个别检验，也需要在多个套件中手动执行与设定，造成验证效率低落。

发明内容

本发明申请提供了一种验证方法，用于验证系统。该验证系统包含本地服务器、多个验证平台及主服务器。该验证方法包含本地服务器接收程序代码以将程序代码编译为验证映像文件，本地服务器依据程序代码的类型从该多个验证平台中选定验证平台，本地服务器将验证映像文件写入选定的验证平台，选定的验证平台对验证映像文件进行一组测试以产生验证报告，及主服务器依据验证报告产生更新的映像文件。

本发明实施例提供一种验证系统，包含本地服务器、多个验证平台及主服务器。该多个验证平台中的一个验证平台用来对验证映像文件进行一组测试以产生验证报告。本地服务器耦接于该多个验证平台，用以接收程序代码以将程序代码编译为验证映像文件，依据程序代码的类型从该多个验证平台中选定该验证平台，及将验证映像文件写入该验证平台。主服务器耦接于该多个验证平台，用来依据验证报告产生更新的映像文件。

附图说明

图1为本发明实施例中的一种验证系统的方块图。

图2为图1中的验证平台的方块图。

图3为图1中的本地服务器的一种实施例的方块图。

图4为图1中的本地服务器的另一种实施例的方块图。

图5为适用于图1中的验证系统的一种验证方法的流程图。

图6为适用于图1中的验证系统的另一种验证方法的流程图。

符号说明：

11：验证系统

10：本地服务器

121～12N、12n：验证平台

14：主服务器

16：程序代码

18：更新的映像文件

20：非挥发性内存

22：控制器

20：输入输出装置

100：静态分析工具

102：编译器

104：平台分配工具

106：编程工具

500、600：验证方法

S502～S510、S602～S616：步骤

具体实施方式

下文将结合附图对实施例进行详细说明，但所描述的具体实施例仅用以解释本发明，并不用来限定本发明申请，而操作的描述并非用以限制其执行的顺序，任何重新组合，所产生具有同等功效的方法或系统，都属于本发明申请内容所涵盖的范围。