Data processing: software development – installation – and managem – Software program development tool – Translation of code
Patent
1997-09-29
2000-06-06
Hafiz, Tariq R.
Data processing: software development, installation, and managem
Software program development tool
Translation of code
717 5, G06F 945
Patent
active
06071316&
ABSTRACT:
A method and apparatus for automating validation and verification of computer software that confirms during a test execution of the software that all lines of code are executed and all branches in the software are taken or not taken at least once. The computer software to be tested is compiled and a link map is generated. After compilation of the code, it is run in a test fixture to test all the required functions. During this test execution, a monitoring process is performed which documents which lines of code have been executed and whether certain branches of the code were either taken or not taken. An execution record is generated which indicates what instruction branches were taken and were not taken. A comparison is then made between the link map originally generated and the instruction record generated to determine what lines of code were executed, whether each branch was taken at least once, and whether a branch was not taken at least once.
REFERENCES:
patent: 4819233 (1989-04-01), Delucia et al.
patent: 4831517 (1989-05-01), Crouse et al.
patent: 4853851 (1989-08-01), Horsch
patent: 4864569 (1989-09-01), Delucia et al.
patent: 5079731 (1992-01-01), Miller et al.
patent: 5263162 (1993-11-01), Lundeby
patent: 5432795 (1995-07-01), Robinson
patent: 5559718 (1996-09-01), Baisuck et al.
patent: 5652875 (1997-07-01), Taylor
patent: 5721863 (1998-02-01), Covino et al.
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5822607 (1998-10-01), Henry et al.
patent: 5963739 (1999-10-01), Homeier
Young et al, Integrated concurrency analysis in a software development environment:, ACM pp 200-209, Jun. 1989.
Kemmerer, "Completely validated software", ACM pp 359-360, Jul. 1987.
Eggert, "Towards special purpose program verification", ACM pp 25-29, May 1990.
LaMarr & Fravel, "Software independent verification and validation: A process perspective", ACM, pp. 408-417, Jul. 1991.
Kang & Ko, "Parts: A temporal logic based real time software specification and verification method", ICSE, ACM, pp. 169-176, Jan. 1995.
Code Coverage Mapper with Branch Analysis for an Intel 8088 Microprocessor in Maximum Mode, IBM Technical Disclosure Bulletin, Jul. 1986, p. 544, vol. 29, No. 2.
Goossen Emray R.
Lippitt Carl E.
Shema David K.
Abeyta Andrew A.
Hafiz Tariq R.
Honeywell Inc.
Johnson Kenneth J.
Khatri Anil
LandOfFree
Automated validation and verification of computer software does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Automated validation and verification of computer software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated validation and verification of computer software will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2210200