Programs That Test Themselves
The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.
Gespeichert in:
| Veröffentlicht in: | Computer (Long Beach, Calif.) Calif.), 2009-09, Vol.42 (9), p.46-55 |
|---|---|
| Hauptverfasser: | , , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 55 |
|---|---|
| container_issue | 9 |
| container_start_page | 46 |
| container_title | Computer (Long Beach, Calif.) |
| container_volume | 42 |
| creator | Meyer, B. Fiva, A. Ciupa, I. Leitner, A. Yi Wei Stapf, E. |
| description | The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines. |
| doi_str_mv | 10.1109/MC.2009.296 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_869845646</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5233506</ieee_id><sourcerecordid>869845646</sourcerecordid><originalsourceid>FETCH-LOGICAL-c342t-2aa5f1c28415f8ff3ffdb33189813a262fccda785655234858ceea820c9d08ee3</originalsourceid><addsrcrecordid>eNpdkE1LAzEQhoMoWKsnjyIUQTzI1nx3ciyLX9Cih3oOMZ3YLbvdmnQF_70pLT14mWGYZ2beeQm5ZHTIGDUP03LIKTVDbvQR6TGloKDA5DHpUcqgMEzzU3KW0jKXEpTokev32H5F16TBbOE2gxmmHBbYJKx_MJ2Tk-DqhBf73CcfT4-z8qWYvD2_luNJ4YXkm4I7pwLzHCRTAUIQIcw_hWBggAnHNQ_ez90IlFaKi3wYPKIDTr2ZU0AUfXK327uO7XeXNdimSh7r2q2w7ZIFbUAqLXUmb_6Ry7aLqyzOMjOSfCT4FrrfQT62KUUMdh2rxsVfy6jdGmWnpd0aZbNRmb7dr3TJuzpEt_JVOoxwTgG0lJm72nEVIh7a-SGhqBZ_jxdtxA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>197427326</pqid></control><display><type>article</type><title>Programs That Test Themselves</title><source>IEEE Electronic Library (IEL)</source><creator>Meyer, B. ; Fiva, A. ; Ciupa, I. ; Leitner, A. ; Yi Wei ; Stapf, E.</creator><creatorcontrib>Meyer, B. ; Fiva, A. ; Ciupa, I. ; Leitner, A. ; Yi Wei ; Stapf, E.</creatorcontrib><description>The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.</description><identifier>ISSN: 0018-9162</identifier><identifier>EISSN: 1558-0814</identifier><identifier>DOI: 10.1109/MC.2009.296</identifier><identifier>CODEN: CPTRB4</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Applied sciences ; Automated software testing ; Automation ; Computer programs ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Design and test ; Exact sciences and technology ; Instruments ; Object oriented programming ; Program verification (computers) ; Routines ; Software ; Software engineering ; Software testing ; Specifications</subject><ispartof>Computer (Long Beach, Calif.), 2009-09, Vol.42 (9), p.46-55</ispartof><rights>2015 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Sep 2009</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c342t-2aa5f1c28415f8ff3ffdb33189813a262fccda785655234858ceea820c9d08ee3</citedby><cites>FETCH-LOGICAL-c342t-2aa5f1c28415f8ff3ffdb33189813a262fccda785655234858ceea820c9d08ee3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5233506$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>315,781,785,797,27928,27929,54762</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5233506$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=22088644$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Meyer, B.</creatorcontrib><creatorcontrib>Fiva, A.</creatorcontrib><creatorcontrib>Ciupa, I.</creatorcontrib><creatorcontrib>Leitner, A.</creatorcontrib><creatorcontrib>Yi Wei</creatorcontrib><creatorcontrib>Stapf, E.</creatorcontrib><title>Programs That Test Themselves</title><title>Computer (Long Beach, Calif.)</title><addtitle>MC</addtitle><description>The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.</description><subject>Applied sciences</subject><subject>Automated software testing</subject><subject>Automation</subject><subject>Computer programs</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Design and test</subject><subject>Exact sciences and technology</subject><subject>Instruments</subject><subject>Object oriented programming</subject><subject>Program verification (computers)</subject><subject>Routines</subject><subject>Software</subject><subject>Software engineering</subject><subject>Software testing</subject><subject>Specifications</subject><issn>0018-9162</issn><issn>1558-0814</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpdkE1LAzEQhoMoWKsnjyIUQTzI1nx3ciyLX9Cih3oOMZ3YLbvdmnQF_70pLT14mWGYZ2beeQm5ZHTIGDUP03LIKTVDbvQR6TGloKDA5DHpUcqgMEzzU3KW0jKXEpTokev32H5F16TBbOE2gxmmHBbYJKx_MJ2Tk-DqhBf73CcfT4-z8qWYvD2_luNJ4YXkm4I7pwLzHCRTAUIQIcw_hWBggAnHNQ_ez90IlFaKi3wYPKIDTr2ZU0AUfXK327uO7XeXNdimSh7r2q2w7ZIFbUAqLXUmb_6Ry7aLqyzOMjOSfCT4FrrfQT62KUUMdh2rxsVfy6jdGmWnpd0aZbNRmb7dr3TJuzpEt_JVOoxwTgG0lJm72nEVIh7a-SGhqBZ_jxdtxA</recordid><startdate>20090901</startdate><enddate>20090901</enddate><creator>Meyer, B.</creator><creator>Fiva, A.</creator><creator>Ciupa, I.</creator><creator>Leitner, A.</creator><creator>Yi Wei</creator><creator>Stapf, E.</creator><general>IEEE</general><general>IEEE Computer Society</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>20090901</creationdate><title>Programs That Test Themselves</title><author>Meyer, B. ; Fiva, A. ; Ciupa, I. ; Leitner, A. ; Yi Wei ; Stapf, E.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c342t-2aa5f1c28415f8ff3ffdb33189813a262fccda785655234858ceea820c9d08ee3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Applied sciences</topic><topic>Automated software testing</topic><topic>Automation</topic><topic>Computer programs</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Design and test</topic><topic>Exact sciences and technology</topic><topic>Instruments</topic><topic>Object oriented programming</topic><topic>Program verification (computers)</topic><topic>Routines</topic><topic>Software</topic><topic>Software engineering</topic><topic>Software testing</topic><topic>Specifications</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Meyer, B.</creatorcontrib><creatorcontrib>Fiva, A.</creatorcontrib><creatorcontrib>Ciupa, I.</creatorcontrib><creatorcontrib>Leitner, A.</creatorcontrib><creatorcontrib>Yi Wei</creatorcontrib><creatorcontrib>Stapf, E.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><jtitle>Computer (Long Beach, Calif.)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Meyer, B.</au><au>Fiva, A.</au><au>Ciupa, I.</au><au>Leitner, A.</au><au>Yi Wei</au><au>Stapf, E.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Programs That Test Themselves</atitle><jtitle>Computer (Long Beach, Calif.)</jtitle><stitle>MC</stitle><date>2009-09-01</date><risdate>2009</risdate><volume>42</volume><issue>9</issue><spage>46</spage><epage>55</epage><pages>46-55</pages><issn>0018-9162</issn><eissn>1558-0814</eissn><coden>CPTRB4</coden><abstract>The AutoTest framework automates the software testing process by relying on programs that contain the instruments of their own verification, in the form of contract-oriented specifications of classes and their individual routines.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/MC.2009.296</doi><tpages>10</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0018-9162 |
| ispartof | Computer (Long Beach, Calif.), 2009-09, Vol.42 (9), p.46-55 |
| issn | 0018-9162 1558-0814 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_869845646 |
| source | IEEE Electronic Library (IEL) |
| subjects | Applied sciences Automated software testing Automation Computer programs Computer science control theory systems Computer systems and distributed systems. User interface Design and test Exact sciences and technology Instruments Object oriented programming Program verification (computers) Routines Software Software engineering Software testing Specifications |
| title | Programs That Test Themselves |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-16T23%3A39%3A04IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Programs%20That%20Test%20Themselves&rft.jtitle=Computer%20(Long%20Beach,%20Calif.)&rft.au=Meyer,%20B.&rft.date=2009-09-01&rft.volume=42&rft.issue=9&rft.spage=46&rft.epage=55&rft.pages=46-55&rft.issn=0018-9162&rft.eissn=1558-0814&rft.coden=CPTRB4&rft_id=info:doi/10.1109/MC.2009.296&rft_dat=%3Cproquest_RIE%3E869845646%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=197427326&rft_id=info:pmid/&rft_ieee_id=5233506&rfr_iscdi=true |