The conceptual design of module documentation based testing tool

Salmi Baharom, Zarina Shukur

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

Software testing plays an important role to assure the quality of software and can be highly effective if performed rigorously. Studies found that testing can benefit from formal specification as it provides precise description of expected software behavior and most importantly, it is in a form that it can be manipulated easily for automation purpose. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this study, an approach was described with an example of circular queue for testing a module with internal memory from its formal specification based on grey-box approach. However, in this research, we proposed a grey-box testing approach that uses the knowledge of design specification instead of source code. We utilized formal specifications that were documented using Parnas's Module Documentation (MD) method to generate test oracle and to execute the test. The MD provides the information of external and internal view of a module that is useful in our testing approach.

Original languageEnglish
Pages (from-to)454-462
Number of pages9
JournalJournal of Computer Science
Volume4
Issue number6
Publication statusPublished - 2008

Fingerprint

Conceptual design
Codes (standards)
Testing
Specifications
Software testing
Automation
Data storage equipment
Formal specification

Keywords

  • Grey-box testing
  • Specification-based testing
  • Test oracle generator
  • Testing tool

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Artificial Intelligence

Cite this

The conceptual design of module documentation based testing tool. / Baharom, Salmi; Shukur, Zarina.

In: Journal of Computer Science, Vol. 4, No. 6, 2008, p. 454-462.

Research output: Contribution to journalArticle

@article{78c23152a8bd4eb1aa58183366b81011,
title = "The conceptual design of module documentation based testing tool",
abstract = "Software testing plays an important role to assure the quality of software and can be highly effective if performed rigorously. Studies found that testing can benefit from formal specification as it provides precise description of expected software behavior and most importantly, it is in a form that it can be manipulated easily for automation purpose. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this study, an approach was described with an example of circular queue for testing a module with internal memory from its formal specification based on grey-box approach. However, in this research, we proposed a grey-box testing approach that uses the knowledge of design specification instead of source code. We utilized formal specifications that were documented using Parnas's Module Documentation (MD) method to generate test oracle and to execute the test. The MD provides the information of external and internal view of a module that is useful in our testing approach.",
keywords = "Grey-box testing, Specification-based testing, Test oracle generator, Testing tool",
author = "Salmi Baharom and Zarina Shukur",
year = "2008",
language = "English",
volume = "4",
pages = "454--462",
journal = "Journal of Computer Science",
issn = "1549-3636",
publisher = "Science Publications",
number = "6",

}

TY - JOUR

T1 - The conceptual design of module documentation based testing tool

AU - Baharom, Salmi

AU - Shukur, Zarina

PY - 2008

Y1 - 2008

N2 - Software testing plays an important role to assure the quality of software and can be highly effective if performed rigorously. Studies found that testing can benefit from formal specification as it provides precise description of expected software behavior and most importantly, it is in a form that it can be manipulated easily for automation purpose. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this study, an approach was described with an example of circular queue for testing a module with internal memory from its formal specification based on grey-box approach. However, in this research, we proposed a grey-box testing approach that uses the knowledge of design specification instead of source code. We utilized formal specifications that were documented using Parnas's Module Documentation (MD) method to generate test oracle and to execute the test. The MD provides the information of external and internal view of a module that is useful in our testing approach.

AB - Software testing plays an important role to assure the quality of software and can be highly effective if performed rigorously. Studies found that testing can benefit from formal specification as it provides precise description of expected software behavior and most importantly, it is in a form that it can be manipulated easily for automation purpose. Grey-box testing approach usually based on knowledge obtains from specification and source code while seldom the design specification is concerned. In this study, an approach was described with an example of circular queue for testing a module with internal memory from its formal specification based on grey-box approach. However, in this research, we proposed a grey-box testing approach that uses the knowledge of design specification instead of source code. We utilized formal specifications that were documented using Parnas's Module Documentation (MD) method to generate test oracle and to execute the test. The MD provides the information of external and internal view of a module that is useful in our testing approach.

KW - Grey-box testing

KW - Specification-based testing

KW - Test oracle generator

KW - Testing tool

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

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

M3 - Article

AN - SCOPUS:56149124376

VL - 4

SP - 454

EP - 462

JO - Journal of Computer Science

JF - Journal of Computer Science

SN - 1549-3636

IS - 6

ER -