Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases

Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it must beset up according to the input requirements of the test cases.This setup process is usually performed manually, especiallywhen testing...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 S. 96 - 105
Hauptverfasser: Leow, Wee Kheng, Khoo, Siau Cheng, Sun, Yi
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: Washington, DC, USA IEEE Computer Society 23.05.2004
Schriftenreihe:ACM Conferences
Schlagworte:
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
General and reference > Cross-computing tools and techniques > Validation
Software
Software and its engineering > Software creation and management > Software verification and validation
Software and its engineering > Software creation and management > Software verification and validation > Empirical software validation
Software and its engineering > Software creation and management > Software verification and validation > Process validation
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
Software engineering
Theory of computation > Logic > Logic and verification
Code generation
Arithmetics
Software development
Information system
Partial ordering
Program specification
Test generation
Test validation
Calculator
Object oriented
Database
Behavior oriented
Program proof
Program test
Search tree
Data structure
ISBN:9780769521633, 0769521630
ISSN:0270-5257
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it must beset up according to the input requirements of the test cases.This setup process is usually performed manually, especiallywhen testing complex data structures and databases.After the system is properly set up, a test execution tool runsthe system according to the test cases and pre-recorded testscripts to obtain the outputs, which are evaluated by a testevaluation tool.This paper complements the current research on automatedspecification-based testing by proposing a schemethat combines the setup process, test execution, and test validationinto a single test program for testing the behavior ofobject-oriented classes. The test program can be generatedautomatically given the the desired test cases and closedspecifications of the classes. With closed specifications, everyclass method is defined in terms of other methods whichare, in turn, defined in their own class specifications. Thecore of the test program generator is a partial-order plannerwhich plans the sequence of instructions required in thetest program. The planner is, in turn, implemented as a tree-searchalgorithm. It makes function calls to the Omega Calculatorlibrary, which solves the constraints given in thetest cases. A first-cut implementation of the planner hasbeen completed, which is able to handle simple arithmeticsand existential quantifications in the class specifications. Asoundness and completeness proof sketch of the planner isalso provided in this paper.
AbstractList Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it must beset up according to the input requirements of the test cases.This setup process is usually performed manually, especiallywhen testing complex data structures and databases.After the system is properly set up, a test execution tool runsthe system according to the test cases and pre-recorded testscripts to obtain the outputs, which are evaluated by a testevaluation tool.This paper complements the current research on automatedspecification-based testing by proposing a schemethat combines the setup process, test execution, and test validationinto a single test program for testing the behavior ofobject-oriented classes. The test program can be generatedautomatically given the the desired test cases and closedspecifications of the classes. With closed specifications, everyclass method is defined in terms of other methods whichare, in turn, defined in their own class specifications. Thecore of the test program generator is a partial-order plannerwhich plans the sequence of instructions required in thetest program. The planner is, in turn, implemented as a tree-searchalgorithm. It makes function calls to the Omega Calculatorlibrary, which solves the constraints given in thetest cases. A first-cut implementation of the planner hasbeen completed, which is able to handle simple arithmeticsand existential quantifications in the class specifications. Asoundness and completeness proof sketch of the planner isalso provided in this paper.
Author Khoo, Siau Cheng
Leow, Wee Kheng
Sun, Yi
Author_xml – sequence: 1
  givenname: Wee Kheng
  surname: Leow
  fullname: Leow, Wee Kheng
  organization: National University of Singapore
– sequence: 2
  givenname: Siau Cheng
  surname: Khoo
  fullname: Khoo, Siau Cheng
  organization: National University of Singapore
– sequence: 3
  givenname: Yi
  surname: Sun
  fullname: Sun, Yi
  organization: National University of Singapore
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17809597$$DView record in Pascal Francis
BookMark eNqNkDFPwzAQhS1RJErpyJ4FJlIucW3HYxVBQaoEEmVhsS6OjQJJXOx04N_jkkqsvOV00nfvnt45mfSuN4RcZrBgUbdSFlywhZRymfETMpeiAMElyzNO6YRMIReQspyJMzIP4QOiGAgosil5W-0H1-Fg6mRteuNxaFyfOJtsTRiSZ-_ePXYhsd51Sdm6ELmXndGNbfQvGg5s2WIIJiTY1-NdiXG9IKcW22Dmxzkjr_d32_Ih3TytH8vVJsW8yIeUAecCLHANRYwrZRXDVWAZrQthNGe1tSLXQnMhoZAUbQWiwiUFrGojazoj16PvzruvfXyvuiZo07bYG7cPimacwVLwCF4dQQwaW-ux101QO9906L9VFluTTIo_Q9Sdqpz7DCoDdWhajU2rsekI3vwLVJVvjKU_4w99cQ
ContentType Conference Proceeding
Copyright 2006 INIST-CNRS
Copyright_xml – notice: 2006 INIST-CNRS
DBID IQODW
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.5555/998675.999416
DatabaseName Pascal-Francis
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Applied Sciences
Computer Science
EndPage 105
ExternalDocumentID 17809597
Genre Conference Paper
GroupedDBID 6IE
6IH
6IK
6IL
AAJGR
AAVQY
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
LHSKQ
OCL
RIB
RIC
RIE
RIL
RIO
AAWTH
IQODW
-~X
123
23M
29O
5VS
6IM
6IN
7SC
8FD
8US
ADZIZ
AFFNX
AVWKF
CHZPO
FEDTE
I07
IPLJI
JQ2
L7M
L~C
L~D
M43
RNS
ID FETCH-LOGICAL-a282t-506670f06c0863399b050b0f53d87ec65dff72c7c6790893afb07ba430abde9d3
ISBN 9780769521633
0769521630
ISICitedReferencesCount 11
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000222241200024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0270-5257
IngestDate Fri Sep 05 10:55:54 EDT 2025
Thu Dec 26 02:24:22 EST 2024
Wed Jan 31 06:48:48 EST 2024
Sun Dec 01 06:31:06 EST 2024
IsPeerReviewed false
IsScholarly true
Keywords Code generation
Arithmetics
Software development
Information system
Partial ordering
Program specification
Test generation
Test validation
Calculator
Object oriented
Database
Behavior oriented
Program proof
Program test
Search tree
Data structure
Language English
License CC BY 4.0
LinkModel OpenURL
MeetingName ICSE04: 26th International Conference on Software Engineering
MergedId FETCHMERGED-LOGICAL-a282t-506670f06c0863399b050b0f53d87ec65dff72c7c6790893afb07ba430abde9d3
Notes SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
PQID 31650476
PQPubID 23500
PageCount 10
ParticipantIDs proquest_miscellaneous_31650476
acm_books_10_5555_998675_999416
acm_books_10_5555_998675_999416_brief
pascalfrancis_primary_17809597
PublicationCentury 2000
PublicationDate 20040523
2004
PublicationDateYYYYMMDD 2004-05-23
2004-01-01
PublicationDate_xml – month: 05
  year: 2004
  text: 20040523
  day: 23
PublicationDecade 2000
PublicationPlace Washington, DC, USA
PublicationPlace_xml – name: Washington, DC, USA
– name: Los Alamitos CA
PublicationSeriesTitle ACM Conferences
PublicationTitle International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004
PublicationYear 2004
Publisher IEEE Computer Society
Publisher_xml – name: IEEE Computer Society
SSID ssj0000507081
ssj0006499
Score 1.6348712
Snippet Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it...
SourceID proquest
pascalfrancis
acm
SourceType Aggregation Database
Index Database
Publisher
StartPage 96
SubjectTerms Applied sciences
Computer science; control theory; systems
Exact sciences and technology
General and reference -- Cross-computing tools and techniques -- Validation
Software
Software and its engineering -- Software creation and management -- Software verification and validation
Software and its engineering -- Software creation and management -- Software verification and validation -- Empirical software validation
Software and its engineering -- Software creation and management -- Software verification and validation -- Process validation
Software and its engineering -- Software creation and management -- Software verification and validation -- Software defect analysis -- Software testing and debugging
Software engineering
Theory of computation -- Logic -- Logic and verification
Title Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
URI https://www.proquest.com/docview/31650476
WOSCitedRecordID wos000222241200024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9NAEF6lFQdOvIooj-IDcIkMfqx310eIWiERQqWkInCxvOu1EqnYIU5K-ZH8J2Z2_QqtVPVADlbk2Jv1zOedmZ0XIa98xQTTOXWVUJFLZRy4qZaxqwKhBaMslMozzSb4ZCLm8_h0MPjT5MJcnPOiEJeX8eq_shrOAbMxdfYW7G4HhRPwHZgOR2A7HP_RiK8VPrtbfF1CH3oFprDm_sJQr14VQtwSOG0HqpqYgYBtFsPbj_VhGIRuIIaf09-mWGEfke-3mxL0Y9Bwba3rRledgWDCKWCcWGXzXUbnZYWa8EqbkMEuXM_08NS2rrS5bwRSuDULxtp6qr5qPfy00DVdUJwsSrMlPF2m2-Go_8t0a5bdb8ud7Q-KnnubodxawR5nMWghLAx7i2fAPRcrvfYW55j1xLxvsr2vSJAIPhg0EguwpN6C9kz9ayp1T74kJ2fjcTI7ns_erH662MQMnf11R5c9sse5Z5MJ2w0_DzRvT3TxR4ya5qbtRO2ekn2QuhhZ92C2OixO7t3O1FCnUj8woDet4J3ObTOWK3qFUZZm98lBhxSng9YDMtDFQ3Kv6SPi1GLlEfneIsPpkOGUuYMcdhpkOIgMxyLD2UUGXlsjwwFk2PsMMg7I2cnxbPTRrXt-uCkY_xs3wqBrL_eYAls7BO1ZAt2kl0dhJrhWLMrynAeKK8bRYx2mufS4TGnopTLTcRY-JvtFWegnxGGZn0cZSq2MUqWViCXNUxlnStIMDJND8hJol-CrWyVgCyN1E0vdxFL3kLy-4YpErpc6PyRHO_RPVrZSTOIDD2Mw2eGvGoYksHyjTy4tdLmtktCHmVDOnt54xTNyt8P_c7K_WW_1C3JHXWyW1frIYO0v_4uzgA
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=International+Conference+on+Software+Engineering%3A+Proceedings+of+the+26th+International+Conference+on+Software+Engineering%3B+23-28+May+2004&rft.atitle=Automated+Generation+of+Test+Programs+from+Closed+Specifications+of+Classes+and+Test+Cases&rft.au=Leow%2C+Wee+Kheng&rft.au=Khoo%2C+Siau+Cheng&rft.au=Sun%2C+Yi&rft.date=2004-05-23&rft.isbn=9780769521633&rft.issn=0270-5257&rft.spage=96&rft.epage=105&rft_id=info:doi/10.5555%2F998675.999416&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0270-5257&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0270-5257&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0270-5257&client=summon