| 摘要 |
An invention is disclosed for automated acquisition of assertions in a specification of a computer program is disclosed. An input specification is received, wherein the input specification comprises a plurality of sentences. Then, a sentence is obtained from the plurality of sentences, and a determination is made as to whether the obtained sentence is a testable assertion. Next, the obtained sentence is marked as testable when the obtained sentence is a testable assertion. Some aspects of the present invention can identify a context within the specification, and obtain the sentence from the plurality of sentences by parsing the context. Moreover, the marked obtained sentence can be added to an assertion result set. Generally, the context is a set of circumstances related to the obtained sentence. Further, each assertion can comprise one, two, or more sentences of the specification. |
