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.