To help identify shortcomings in software requirements for a software capability early in the software development life cycle, the present invention discloses a method of logic testing a software requirement for a software capability, the method comprising: (a) defining a logical representation of the software requirement; (b) defining a test scenario that corresponds to the software requirement; and (c) processing the defined logical representation with the defined test scenario to thereby generate a simulation result indicative of whether the software requirement needs alteration. Preferably, the present invention is implemented as an integrated tool executed by a desktop PC or workstation that interacts with the user through a variety of graphical user interfaces (GUIs) to perform logic testing of software requirements.

 
Web www.patentalert.com

> Verifier to check intermediate language

~ 00352