Test templates: a specification-based testing framework

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications. It is demonstrated using the Z notation. The framework fo...

Full description

Saved in:
Bibliographic Details
Published inProceedings of 1993 15th International Conference on Software Engineering pp. 405 - 414
Main Authors Stocks, P.A., Carrington, D.A.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1993
Subjects
Application software
Computer errors
Computer science
Data mining
Formal specifications
Genetic mutations
Software testing
Stability
System testing
Terminology
Online AccessGet full text
ISBN9780818637001
0818637005
ISSN0270-5257
DOI10.1109/ICSE.1993.346025

Cover

Abstract Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications. It is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and other test data sets, providing structure to the testing process. Flexibility is also preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.< >
AbstractList Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications. It is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and other test data sets, providing structure to the testing process. Flexibility is also preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.< >
Author Stocks, P.A.
Carrington, D.A.
Author_xml – sequence: 1
  givenname: P.A.
  surname: Stocks
  fullname: Stocks, P.A.
  organization: Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
– sequence: 2
  givenname: D.A.
  surname: Carrington
  fullname: Carrington, D.A.
  organization: Dept. of Comput. Sci., Queensland Univ., Brisbane, Qld., Australia
BookMark eNotj0tLw0AUhQesYK3Zi6v8gcR7ZzIvdxJqLRRcWNdlktyR0eZBZkD89wbq2Rz4OHxwbtlqGAdi7B6hRAT7uK_ftyVaK0pRKeDyimVWGzBolNAAuGJr4BoKyaW-YVmMX7CkEpUUes30kWLKE_XT2SWKT7nL40Rt8KF1KYxD0bhI3TKIKQyfuZ9dTz_j_H3Hrr07R8r-e8M-XrbH-rU4vO329fOhCKh5KhQ2WjXcK5Letd4a40iAcmiwEho1ELXad9VCyHbCctl0TnXSAtpOgxUb9nDxBiI6TXPo3fx7ujwVf_oDSF0
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ICSE.1993.346025
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 414
ExternalDocumentID 346025
GroupedDBID -~X
.4S
.DC
123
23M
29O
5VS
6IE
6IF
6IH
6IK
6IL
6IM
6IN
8US
AAJGR
AAWTH
ABLEC
ADZIZ
AFFNX
ALMA_UNASSIGNED_HOLDINGS
APO
ARCSS
AVWKF
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
EDO
FEDTE
I-F
I07
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RNS
XOL
ID FETCH-LOGICAL-i172t-61b76b2f6e5facf988ae306a181437170eec7fd46a1e9d3925bda6d59019d7093
IEDL.DBID RIE
ISBN 9780818637001
0818637005
ISSN 0270-5257
IngestDate Tue Aug 26 22:32:06 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i172t-61b76b2f6e5facf988ae306a181437170eec7fd46a1e9d3925bda6d59019d7093
PageCount 10
ParticipantIDs ieee_primary_346025
PublicationCentury 1900
PublicationDate 19930000
PublicationDateYYYYMMDD 1993-01-01
PublicationDate_xml – year: 1993
  text: 19930000
PublicationDecade 1990
PublicationTitle Proceedings of 1993 15th International Conference on Software Engineering
PublicationTitleAbbrev ICSE
PublicationYear 1993
Publisher IEEE Comput. Soc. Press
Publisher_xml – name: IEEE Comput. Soc. Press
SSID ssj0000434537
ssj0006499
Score 1.4337245
Snippet Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any...
SourceID ieee
SourceType Publisher
StartPage 405
SubjectTerms Application software
Computer errors
Computer science
Data mining
Formal specifications
Genetic mutations
Software testing
Stability
System testing
Terminology
Title Test templates: a specification-based testing framework
URI https://ieeexplore.ieee.org/document/346025
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFA5uJ0_TOfE3PXhNl5q0abyOjSkoghvsNprmBUTZxHUX_3rfS1uH4sFbGwqlySvfe8n3fY-xa4eQbsF7bkDkXCEC8Nxo4EKSjtIY8KFbw8NjNp2r-0W6aHy2gxYGAAL5DGK6DGf5bl1uaatsKFWGEN1hHYyyWqr1vZ0ilFTprtZCoA2tI7HoEpwMP4P1Y5JnUmPYNcY77X3SHl8KM7wbPY9JwSfj-mU_mq4EzJn0ajH3JlgVEtXkNd5WNi4_fxk5_vNzDthgJ-6Lnr5h65DtwarPem13h6j52Y-YniFgRGRd9Ub56G1URCTLJGpRWE1OAOjwgQ0xpyPfsrwGbD4Zz0ZT3rRZ4C-YvVRYPFqd2RufQeqL0ps8LwALiQKxX0ms9gRAqb1TOALGYT6VWldkjkSrxmlh5DHrrtYrOGGRKYV1CSZ91oASJRQaS7wco0QD5pl5csr6NA3L99pJY1nPwNmfo-dsvyYX0nbHBetWH1u4xASgsldh6b8ACLCoOA
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PT8IwFG4UD3pCEeNvd_Da0blubb0SCSgQEyHhRtb1NTEaMDIu_vW-dhtE48Hb1ixZ1r7le6_9vu8RcmsQ0jVYSxUwSTkiAJVKAGWx01EqBdZ3axiN0_6UP86SWeWz7bUwAODJZxC6S3-Wb5b52m2VdWKeIkTvkj2EfZ6UYq3NhgrjMU-21RZCrW8eiWUXo87y05s_RjKNBQZeZb1T30f1ASZTnUH35cFp-OKwfN2PtisedXrNUs698maFjmzyFq4LHeZfv6wc__lBh6S9lfcFzxvgOiI7sGiRZt3fIah-92MiJggZgTOvencZ6X2QBU6Y6chFfj2pg0CDD6wcdzqwNc-rTaa9h0m3T6tGC_QV85cCy0ctUn1nU0hsllslZQZYSmSI_jzGeo8B5MIajiOgDGZUiTZZapxsVRnBVHxCGovlAk5JoHKmTYRpn1bAWQ6ZwCJPYpwIwExTRmek5aZh_lF6aczLGTj_c_SG7Pcno-F8OBg_XZCDkmroNj8uSaP4XMMVpgOFvvZh8A0PzauF
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=Proceedings+of+1993+15th+International+Conference+on+Software+Engineering&rft.atitle=Test+templates%3A+a+specification-based+testing+framework&rft.au=Stocks%2C+P.A.&rft.au=Carrington%2C+D.A.&rft.date=1993-01-01&rft.pub=IEEE+Comput.+Soc.+Press&rft.isbn=9780818637001&rft.issn=0270-5257&rft.spage=405&rft.epage=414&rft_id=info:doi/10.1109%2FICSE.1993.346025&rft.externalDocID=346025
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