Approach to specification-based testing systems

Abdullah Mohd. Zin, A. Al-Amayreh, E. Foxley

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

At the end of a software development process, there is a need for software verification. The aim of the software verification is to assess the software product to determine conformance to its specification. There are a few methods which can be used for doing this. However, the most popular method is software testing. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. In this paper we describe a technique for generating test cases automatically from the formal specification of the software. We also describe a testing system based on this technique.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Software Quality Engineering, SQE
Place of PublicationSouthampton, United Kingdom
PublisherComputational Mechanics Publ
Pages267-276
Number of pages10
Publication statusPublished - 1997
EventProceedings of the 1997 1st International Conference on Software Quality Engineering, SQE - Udine, Italy
Duration: 1 May 19971 May 1997

Other

OtherProceedings of the 1997 1st International Conference on Software Quality Engineering, SQE
CityUdine, Italy
Period1/5/971/5/97

Fingerprint

Software testing
Specifications
Testing
Software engineering
Formal specification

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Mohd. Zin, A., Al-Amayreh, A., & Foxley, E. (1997). Approach to specification-based testing systems. In Proceedings of the International Conference on Software Quality Engineering, SQE (pp. 267-276). Southampton, United Kingdom: Computational Mechanics Publ.

Approach to specification-based testing systems. / Mohd. Zin, Abdullah; Al-Amayreh, A.; Foxley, E.

Proceedings of the International Conference on Software Quality Engineering, SQE. Southampton, United Kingdom : Computational Mechanics Publ, 1997. p. 267-276.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mohd. Zin, A, Al-Amayreh, A & Foxley, E 1997, Approach to specification-based testing systems. in Proceedings of the International Conference on Software Quality Engineering, SQE. Computational Mechanics Publ, Southampton, United Kingdom, pp. 267-276, Proceedings of the 1997 1st International Conference on Software Quality Engineering, SQE, Udine, Italy, 1/5/97.
Mohd. Zin A, Al-Amayreh A, Foxley E. Approach to specification-based testing systems. In Proceedings of the International Conference on Software Quality Engineering, SQE. Southampton, United Kingdom: Computational Mechanics Publ. 1997. p. 267-276
Mohd. Zin, Abdullah ; Al-Amayreh, A. ; Foxley, E. / Approach to specification-based testing systems. Proceedings of the International Conference on Software Quality Engineering, SQE. Southampton, United Kingdom : Computational Mechanics Publ, 1997. pp. 267-276
@inproceedings{6517e4a8274b473a99342c8db56515c7,
title = "Approach to specification-based testing systems",
abstract = "At the end of a software development process, there is a need for software verification. The aim of the software verification is to assess the software product to determine conformance to its specification. There are a few methods which can be used for doing this. However, the most popular method is software testing. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. In this paper we describe a technique for generating test cases automatically from the formal specification of the software. We also describe a testing system based on this technique.",
author = "{Mohd. Zin}, Abdullah and A. Al-Amayreh and E. Foxley",
year = "1997",
language = "English",
pages = "267--276",
booktitle = "Proceedings of the International Conference on Software Quality Engineering, SQE",
publisher = "Computational Mechanics Publ",

}

TY - GEN

T1 - Approach to specification-based testing systems

AU - Mohd. Zin, Abdullah

AU - Al-Amayreh, A.

AU - Foxley, E.

PY - 1997

Y1 - 1997

N2 - At the end of a software development process, there is a need for software verification. The aim of the software verification is to assess the software product to determine conformance to its specification. There are a few methods which can be used for doing this. However, the most popular method is software testing. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. In this paper we describe a technique for generating test cases automatically from the formal specification of the software. We also describe a testing system based on this technique.

AB - At the end of a software development process, there is a need for software verification. The aim of the software verification is to assess the software product to determine conformance to its specification. There are a few methods which can be used for doing this. However, the most popular method is software testing. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. In this paper we describe a technique for generating test cases automatically from the formal specification of the software. We also describe a testing system based on this technique.

UR - http://www.scopus.com/inward/record.url?scp=0030644957&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030644957&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030644957

SP - 267

EP - 276

BT - Proceedings of the International Conference on Software Quality Engineering, SQE

PB - Computational Mechanics Publ

CY - Southampton, United Kingdom

ER -