| 摘要 |
The device (6) for the evaluation of algorithms comprises: means (8,15) for establishing an algorithm and a specification imposed on that algorithm; means (16) for presenting the algorithm as a concatenation of base functions, each implying at least one basic algorithmic function; means (18) for checking parameters involved in the execution of the base functions by reference to the specification; and means (20) for indicating an error, as the case arises, detected by the checking means. The invention also relates to a process based on the operation of the above device. It can serve to construct and validate an algorithm without having to create an executable code beforehand.
|
