Software development and testing environment
First Claim
1. A method of storing software for controlling operation of a data processing device, the method comprising:
- translating a formal language specification representative of source code for the software into data suitable for storing in database structures and in a form suitable for being queried by a database query language;
storing said data in database structures of a database; and
generating a database optimized form of at least one of said database structures, said optimized form comprising database encoded control logic for storing in the database.
6 Assignments
0 Petitions
Accused Products
Abstract
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.
15 Citations
25 Claims
-
1. A method of storing software for controlling operation of a data processing device, the method comprising:
-
translating a formal language specification representative of source code for the software into data suitable for storing in database structures and in a form suitable for being queried by a database query language; storing said data in database structures of a database; and generating a database optimized form of at least one of said database structures, said optimized form comprising database encoded control logic for storing in the database. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. A database comprising:
-
a plurality of database structures, each database structure being encoded with data derived from a respective part of a formal language specification and in a form suitable for being queried by a database query language, said formal language specification being representative of source code for software for controlling operation of a data processing device; and a database optimized form of at least one of the database structures, said optimized form comprising database encoded control logic for storing in the database. - View Dependent Claims (11, 12, 13, 14, 15, 16, 17, 18, 19)
-
-
20. A system for generating software for controlling operation of a data processing device, the system comprising:
-
a features definition database storing in database encoded form a formal language specification representative of source code for the software, said formal language specification being translated into a format suitable for storing in database structures and in a form suitable for being queried by a database query language; a software development module coupled to said database for enabling a user to manipulate data stored in said database structures through the use of queries constructed in said database query language; and a software optimization module arranged to generate a database optimized form of the features definition database, said optimized form of the features definition database comprising database encoded control logic for storing in a database of a data processing device. - View Dependent Claims (21, 22, 23)
-
-
24. A method of installing software for controlling operation of a data processing device, the method comprising:
-
providing a features definition database storing in database encoded form a formal language specification representative of source code for the software, said formal language specification being translated into a format suitable for storing in database structures and in a form suitable for being queried by a database query language; and replicating the contents of said features definition database in a control program database of the data processing device; prior to said replicating, generating a database optimized form of the features definition database, said optimized form of the database comprising database encoded control logic for storing in a database of a data processing device.
-
-
25. A method of updating software for controlling operation of a data processing device, the method comprising:
-
providing a database storing in database encoded form a formal language specification representative of source code for the software, said formal language specification being translated into a format suitable for storing in database structures and in a form suitable for being queried by a database query language; generating a database optimized form of the database, said optimized form of the database comprising database encoded control logic; and synchronizing the contents of said database with a database encoded control program stored in the optimized form of the database.
-
Specification