公开(公告)号：US08464210B1

公开(公告)日：2013-06-11

申请号：US11316268

申请日：2005-12-22

申请人： Peter George Tarle ,  Troy Mark Gonsalves ,  Maneesha Sahasrabudhe ,  Grant Weddell

发明人： Peter George Tarle ,  Troy Mark Gonsalves ,  Maneesha Sahasrabudhe ,  Grant Weddell

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F11/3664 ,  G06F8/70

摘要： The invention is directed to method of generating database encoded software for controlling operation of a data processing device. The method comprises providing a formal language specification representative of source code for the software, translating said formal language specification into data suitable for storing in database structures and in a form suitable for being queried by a database query language and storing said data in database structures of a database. The method includes using a software development tool in a software development and testing environment to manipulate the database encoded software using a database query language such as SQL and XQuery to develop new software features. The query language can also be used to control replication and/or synchronization of the database encoded software with the contents of a data processing device control program database by way of installing said control program on said device or upgrading the control program software of said device.

摘要翻译： 本发明涉及生成用于控制数据处理装置的操作的数据库编码软件的方法。 该方法包括提供代表软件的源代码的形式语言规范，将所述形式语言规范转换为适于存储在数据库结构中的数据，并以适合于被数据库查询语言查询的形式存储在数据库结构中 一个数据库。 该方法包括在软件开发和测试环境中使用软件开发工具来使用数据库查询语言（如SQL和XQuery）来操纵数据库编码的软件来开发新的软件功能。 该查询语言还可用于通过在所述设备上安装所述控制程序或升级所述设备的控制程序软件来控制数据库编码软件与数据处理设备控制程序数据库的内容的复制和/或同步。