Validating a Specification Associated with a Software Application and/or a Hardware

A system for validating and evaluating a specification associated with a software application and/or a hardware, the system comprising:

• a processor;
• a memory coupled to the processor, wherein the processor is capable of executing a plurality of modules stored in the memory, and wherein the plurality of modules comprising:
• a reception module to receive the specification comprising expected behaviour requirements specified in a specification language and semantics in a tabular notation, wherein the expected behaviour requirements indicate a behaviour expected from the software application and/or the hardware;
• a lexer to:
• identify a string comprising one or more characters from the specification, wherein the string indicates the one or more characters conforming to the specification language;
• generate a token using the string, wherein the token is a binary representation of the string;
• a parser to:
• create an intermediate representation of the specification language based on the token;
• arrange the intermediate representation into a data structure, wherein the data structure is indicative of an actual behaviour of the software application and/or the hardware;
• and
• a checking module to check the specification conforming to the specification language in order to generate a validated specification.

A non-transitory computer readable medium embodying a program executable in a computing device for validating a specification associated with a software application and/or a hardware, the program comprising:

• a program code for receiving the specification comprising expected behaviour requirements specified in a specification language and semantics in a tabular notation, wherein the expected behaviour requirements indicate a behaviour expected from the software application and/or the hardware;
• a program code for identifying a string comprising one or more characters from the specification, wherein the string indicates the one or more characters conforming to the specification language;
• a program code for generating a token using the string, wherein the token is a binary representation of the string;
• a program code for arranging the token into a data structure, wherein the data structure is indicative of an actual behaviour of the software application and/or the hardware;
• and
• a program code for checking the specification conforming to the specification language, wherein the specification is checked in order to generate a validated specification.