Module documentation based testing using grey-box approach

Salmi Baharom, Zarina Shukur

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

5 Citations (Scopus)

Abstract

Testing plays an important role to assure the quality of software. Testing is a process of detecting errors that can be highly effective if performed rigorously. The use of formal specifications provides significant opportunity to develop effective testing techniques. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this paper, we propose an approach for testing a module with internal memory from its formal specification based on grey-box approach. We use formal specifications that are documented using Parnas's Module Documentation (MD) method. The MD provides us with the information of external and internal view of a module that can be useful in greybox testing approach.

Original languageEnglish
Title of host publicationProceedings - International Symposium on Information Technology 2008, ITSim
Volume2
DOIs
Publication statusPublished - 2008
EventInternational Symposium on Information Technology 2008, ITSim - Kuala Lumpur
Duration: 26 Aug 200829 Aug 2008

Other

OtherInternational Symposium on Information Technology 2008, ITSim
CityKuala Lumpur
Period26/8/0829/8/08

Fingerprint

Testing
Codes (standards)
Specifications
Data storage equipment
Formal specification

ASJC Scopus subject areas

  • Artificial Intelligence
  • Information Systems
  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

Baharom, S., & Shukur, Z. (2008). Module documentation based testing using grey-box approach. In Proceedings - International Symposium on Information Technology 2008, ITSim (Vol. 2). [4631651] https://doi.org/10.1109/ITSIM.2008.4631651

Module documentation based testing using grey-box approach. / Baharom, Salmi; Shukur, Zarina.

Proceedings - International Symposium on Information Technology 2008, ITSim. Vol. 2 2008. 4631651.

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

Baharom, S & Shukur, Z 2008, Module documentation based testing using grey-box approach. in Proceedings - International Symposium on Information Technology 2008, ITSim. vol. 2, 4631651, International Symposium on Information Technology 2008, ITSim, Kuala Lumpur, 26/8/08. https://doi.org/10.1109/ITSIM.2008.4631651
Baharom S, Shukur Z. Module documentation based testing using grey-box approach. In Proceedings - International Symposium on Information Technology 2008, ITSim. Vol. 2. 2008. 4631651 https://doi.org/10.1109/ITSIM.2008.4631651
Baharom, Salmi ; Shukur, Zarina. / Module documentation based testing using grey-box approach. Proceedings - International Symposium on Information Technology 2008, ITSim. Vol. 2 2008.
@inproceedings{dd49c6827932435990f6ec6a474af1c1,
title = "Module documentation based testing using grey-box approach",
abstract = "Testing plays an important role to assure the quality of software. Testing is a process of detecting errors that can be highly effective if performed rigorously. The use of formal specifications provides significant opportunity to develop effective testing techniques. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this paper, we propose an approach for testing a module with internal memory from its formal specification based on grey-box approach. We use formal specifications that are documented using Parnas's Module Documentation (MD) method. The MD provides us with the information of external and internal view of a module that can be useful in greybox testing approach.",
author = "Salmi Baharom and Zarina Shukur",
year = "2008",
doi = "10.1109/ITSIM.2008.4631651",
language = "English",
isbn = "9781424423286",
volume = "2",
booktitle = "Proceedings - International Symposium on Information Technology 2008, ITSim",

}

TY - GEN

T1 - Module documentation based testing using grey-box approach

AU - Baharom, Salmi

AU - Shukur, Zarina

PY - 2008

Y1 - 2008

N2 - Testing plays an important role to assure the quality of software. Testing is a process of detecting errors that can be highly effective if performed rigorously. The use of formal specifications provides significant opportunity to develop effective testing techniques. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this paper, we propose an approach for testing a module with internal memory from its formal specification based on grey-box approach. We use formal specifications that are documented using Parnas's Module Documentation (MD) method. The MD provides us with the information of external and internal view of a module that can be useful in greybox testing approach.

AB - Testing plays an important role to assure the quality of software. Testing is a process of detecting errors that can be highly effective if performed rigorously. The use of formal specifications provides significant opportunity to develop effective testing techniques. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this paper, we propose an approach for testing a module with internal memory from its formal specification based on grey-box approach. We use formal specifications that are documented using Parnas's Module Documentation (MD) method. The MD provides us with the information of external and internal view of a module that can be useful in greybox testing approach.

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

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

U2 - 10.1109/ITSIM.2008.4631651

DO - 10.1109/ITSIM.2008.4631651

M3 - Conference contribution

AN - SCOPUS:57349199019

SN - 9781424423286

VL - 2

BT - Proceedings - International Symposium on Information Technology 2008, ITSim

ER -