Method and system for verifying a computer program
A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at ru...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Patent |
| Sprache: | eng |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Dixon, III, Walter Murren, Brian |
| description | A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime. During verification, the verification system processes the commands of the program in sequence. For each input attribute of a command, the verification system identifies a source (e.g., output attribute of a command) of the value for the input attributes. The verification system then determines whether that source would be properly resolved during execution of the computer program. |
| format | Patent |
| fullrecord | <record><control><sourceid>uspatents_EFH</sourceid><recordid>TN_cdi_uspatents_grants_07047522</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>07047522</sourcerecordid><originalsourceid>FETCH-uspatents_grants_070475223</originalsourceid><addsrcrecordid>eNrjZDDyTS3JyE9RSMxLUSiuLC5JzVVIyy9SKEstykyrzMxLV0hUSM7PLSgtSS1SKCjKTy9KzOVhYE1LzClO5YXS3AwKbq4hzh66pcUFiSWpeSXF8UBlIMrA3MDE3NTIyJgIJQCcaCz4</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Method and system for verifying a computer program</title><source>USPTO Issued Patents</source><creator>Dixon, III, Walter ; Murren, Brian</creator><creatorcontrib>Dixon, III, Walter ; Murren, Brian ; General Electric Capital Corporation</creatorcontrib><description>A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime. During verification, the verification system processes the commands of the program in sequence. For each input attribute of a command, the verification system identifies a source (e.g., output attribute of a command) of the value for the input attributes. The verification system then determines whether that source would be properly resolved during execution of the computer program.</description><language>eng</language><creationdate>2006</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/7047522$$EPDF$$P50$$Guspatents$$Hfree_for_read</linktopdf><link.rule.ids>230,308,780,802,885,64039</link.rule.ids><linktorsrc>$$Uhttps://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/7047522$$EView_record_in_USPTO$$FView_record_in_$$GUSPTO$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Dixon, III, Walter</creatorcontrib><creatorcontrib>Murren, Brian</creatorcontrib><creatorcontrib>General Electric Capital Corporation</creatorcontrib><title>Method and system for verifying a computer program</title><description>A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime. During verification, the verification system processes the commands of the program in sequence. For each input attribute of a command, the verification system identifies a source (e.g., output attribute of a command) of the value for the input attributes. The verification system then determines whether that source would be properly resolved during execution of the computer program.</description><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2006</creationdate><recordtype>patent</recordtype><sourceid>EFH</sourceid><recordid>eNrjZDDyTS3JyE9RSMxLUSiuLC5JzVVIyy9SKEstykyrzMxLV0hUSM7PLSgtSS1SKCjKTy9KzOVhYE1LzClO5YXS3AwKbq4hzh66pcUFiSWpeSXF8UBlIMrA3MDE3NTIyJgIJQCcaCz4</recordid><startdate>20060516</startdate><enddate>20060516</enddate><creator>Dixon, III, Walter</creator><creator>Murren, Brian</creator><scope>EFH</scope></search><sort><creationdate>20060516</creationdate><title>Method and system for verifying a computer program</title><author>Dixon, III, Walter ; Murren, Brian</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-uspatents_grants_070475223</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2006</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Dixon, III, Walter</creatorcontrib><creatorcontrib>Murren, Brian</creatorcontrib><creatorcontrib>General Electric Capital Corporation</creatorcontrib><collection>USPTO Issued Patents</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Dixon, III, Walter</au><au>Murren, Brian</au><aucorp>General Electric Capital Corporation</aucorp><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Method and system for verifying a computer program</title><date>2006-05-16</date><risdate>2006</risdate><abstract>A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime. During verification, the verification system processes the commands of the program in sequence. For each input attribute of a command, the verification system identifies a source (e.g., output attribute of a command) of the value for the input attributes. The verification system then determines whether that source would be properly resolved during execution of the computer program.</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_uspatents_grants_07047522 |
| source | USPTO Issued Patents |
| title | Method and system for verifying a computer program |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T02%3A51%3A46IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-uspatents_EFH&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=Dixon,%20III,%20Walter&rft.aucorp=General%20Electric%20Capital%20Corporation&rft.date=2006-05-16&rft_id=info:doi/&rft_dat=%3Cuspatents_EFH%3E07047522%3C/uspatents_EFH%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |