Abstract: An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying out implementation testing of the source code is described. The system comprises a verified black box specification generator arranged to process the received informal system design specifications to create formal specifications; to generate from the formal specifications mathematical models representing the system behavior; to analyze the mathematical models to determine if they have the required behavior; to adjust the formal specifications until the required behavior is achieved; and to derive the required verified design specifications from the mathematical models.
Type:
Grant
Filed:
December 21, 2012
Date of Patent:
January 27, 2015
Assignee:
Verum Holding B.V.
Inventors:
Guy Hampson Broadfoot, Philippa Jane Hopcroft
Abstract: A method and system for testing complex machine control software A method of formally testing a complex machine control software program in order to determine defects within the software program is described. The software program to be tested (SUT) has a defined test boundary, encompassing the complete set of visible behaviour of the SUT, and at least one interface between the SUT and an external component, the at least one interface being defined in a formal, mathematically verified interface specification.
Type:
Application
Filed:
August 14, 2009
Publication date:
June 16, 2011
Applicant:
Verum Holding B.V.
Inventors:
Guy Broadfoot, Leon Bouwmeester, Philippa Hopcroft, Jos Langen, Ladislau Posta