17. A non-transitory computer readable medium having stored thereon instructions for generating a negative test input data comprising executable code which when executed by a processor, causes the processor to perform steps comprising: extracting a set of textual attributes and a set of textual attribute properties from a requirement specification; framing a constraint representation syntax from the extracted set of attribute properties; modeling a structured diagram from the framed constraint representation syntax and a set of use cases; constructing a set of path predicates from the structured diagram; determining one or more attribute classes from the set of path predicates based on an attribute constraint and an attribute dependency; generating the negative test input data for the one or more attribute classes; and executing the generated negative test input data to test a model of an application.
17. A non-transitory computer readable medium having stored thereon instructions for generating a negative test input data comprising executable code which when executed by a processor, causes the processor to perform steps comprising: extracting a set of textual attributes and a set of textual attribute properties from a requirement specification; framing a constraint representation syntax from the extracted set of attribute properties; modeling a structured diagram from the framed constraint representation syntax and a set of use cases; constructing a set of path predicates from the structured diagram; determining one or more attribute classes from the set of path predicates based on an attribute constraint and an attribute dependency; generating the negative test input data for the one or more attribute classes; and executing the generated negative test input data to test a model of an application. 23. The medium of claim 17 further comprising executable code which when executed by a processor, causes the processor to perform steps further comprising: identifying an attribute test data as the negative test input data when the attribute test data complies negatively with an attribute constraint of a path predicate.