发明名称 | Validating a specification associated with a software application and/or a hardware | ||
摘要 | System and method for validating a specification associated with a software application and/or a hardware is disclosed. The specification comprising expected behavior requirements specified in a specification language and the semantics in the tabular notation is received. In order to validate the specification, a string may be identified for the specification. The string may indicate characters conforming to the specification language. Upon identifying the string, a token may be generated using the string. The token may be a binary representation of the string. The token may be arranged into a data structure. The specification is checked to conform to the specification language. Two or more specifications specified in the specification language are merged. A test case is generated from the validated specification. The expected behavior with the actual behavior of the specification is validated. | ||
申请公布号 | US9223685(B2) | 申请公布日期 | 2015.12.29 |
申请号 | US201414445610 | 申请日期 | 2014.07.29 |
申请人 | Tata Consultancy Services Limited | 发明人 | Krishna Goldsmith Murali;Shrotri Ulka Aniruddha;R Venkatesh |
分类号 | G06F9/44;G06F11/36 | 主分类号 | G06F9/44 |
代理机构 | Hayes Soloway PC | 代理人 | Hayes Soloway PC |
主权项 | 1. A method for validating a specification associated with a software application and/or a hardware, the method comprising: receiving, by a processor, 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; identifying, by the processor, a string comprising one or more characters from the specification, wherein the string indicates the one or more characters conforming to the specification language; generating, by the processor, a token using the string, wherein the token is a binary representation of the string; arranging, by the processor, 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 checking, by the processor, the specification conforming to the specification language, wherein the specification is checked in order to generate a validated specification. | ||
地址 | Maharashtra IN |