1. A method of generating a negative test input data, the method comprising: extracting, by a data management device, a set of textual attributes and a set of textual attribute properties from a requirement specification; framing, by the data management device, a constraint representation syntax from the extracted set of attribute properties; modeling, by the data management device, a structured diagram from the framed constraint representation syntax and a set of use cases; constructing, by the data management device, a set of path predicates from the structured diagram; determining, by the data management device, one or more attribute classes from the set of path predicates based on an attribute constraint and an attribute dependency; generating, by the data management device, the negative test input data for the one or more attribute classes; and executing, by the data management device, the generated negative test input data to test a model of an application.
1. A method of generating a negative test input data, the method comprising: extracting, by a data management device, a set of textual attributes and a set of textual attribute properties from a requirement specification; framing, by the data management device, a constraint representation syntax from the extracted set of attribute properties; modeling, by the data management device, a structured diagram from the framed constraint representation syntax and a set of use cases; constructing, by the data management device, a set of path predicates from the structured diagram; determining, by the data management device, one or more attribute classes from the set of path predicates based on an attribute constraint and an attribute dependency; generating, by the data management device, the negative test input data for the one or more attribute classes; and executing, by the data management device, the generated negative test input data to test a model of an application. 7. The method of claim 1 further comprising: identifying, by the data management device, 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.