Method and system for analysis of software requirements

Details Method and system for analysis of software requirements Method and system for analysis of software requirements

2007-06-05

2007-06-05

Steelman, Mary (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

C717S124000, C714S038110

Reexamination Certificate

active

10326221

ABSTRACT:
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.

REFERENCES:
patent: 4799141 (1989-01-01), Drusinsky et al.
patent: 6038378 (2000-03-01), Kita et al.
patent: 2002/0100015 (2002-07-01), Harel et al.
Heitmeyer et al., “Automated Consistency Checking of Requirements Specifications”, Jul. 1996 ACM Transaction on Software Engineering and Methodology, pp. 231-261.
Heitmeyer et al., “Tools for Formal Specification, Verification, and Validation of Requirements”, COMPASS 1997, pp. 1-13
“Doing Requirements Right the First Time”, Theodore F. Hammer et al., pp. 20-25, CROSSTALK The Jouranl of Defense Software, Dec. 1998, http://www.stsc.hill.af.mil/crosstalk/1998/12/hammer.pdf.
Heimdahl Mats et al., “Completeness and consistency Analysis of State-Based Requirements”, 1995, ACM Press, International Conference on Software Engineering, Proceedings of the 17th international conference on Software engineering, pp. 3-14.
I-Logix; “Statemate MAGNUM”; downloaded from http://www.ilogix.com/products/magnum/index.cfm on Oct. 30, 2002.
Kennedy Carter; “iUML—The Executable UML Modelling Environment”; downloaded from http://www.kc.com/products/iuml/ on Oct. 30, 2002.

Affiliated with

Also associated with

Rating

Method and system for analysis of software requirements does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for analysis of software requirements, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for analysis of software requirements will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3861931