Repository logo
Collections
Browse
Statistics
  • English
  • हिंदी
Log In
New user? Click here to register.Have you forgotten your password?
  1. Home
  2. Theses and Dissertations
  3. M Tech Dissertations
  4. Study of algebraic and state based testing techniques

Study of algebraic and state based testing techniques

Files

200511007.PDF (329.42 KB)

Date

2007

Authors

Praveen, Asim Rama

Journal Title

Journal ISSN

Volume Title

Publisher

Dhirubhai Ambani Institute of Information and Communication Technology

Abstract

Sequential programs can be modeled as algebra or transitions on a state space. Whether a program is implemented according to its model is the question addressed by program testing. The thesis illustrates issues in constructing a finite test set from algebraic and state transition based specifications. Test hypotheses need to be formulated to generalise results of testing from a finite test set to the entire input domain of a program under test. It is demonstrated with examples that test hypotheses are constraints on program under test. Testing can lead to sound conclusions for the class of programs that satisfy the constraints. The theory proposed in [BGM91] is used to illustrate test selection from algebraic specifications. Z notation is used to express state transitions of a heap sort example that illustrates testing from state based specifications.

Description

Keywords

Computer software, Testing techniques, Operations acceptance testing, Computer programs - testing, Computer programs, Data processing, Algebraic based testing technique, State based testing technique

Citation

Praveen, Asim Rama (2007). Study of algebraic and state based testing techniques. Dhirubhai Ambani Institute of Information and Communication Technology, vii, 47 p. (Acc.No: T00109)

URI

http://ir.daiict.ac.in/handle/123456789/146

Collections

M Tech Dissertations

Endorsement

Review

Supplemented By

Referenced By

Full item page
 
Quick Links
  • Home
  • Search
  • Research Overview
  • About
Contact

DAU, Gandhinagar, India

library@dau.ac.in

+91 0796-8261-578

Follow Us

© 2025 Dhirubhai Ambani University
Designed by Library Team