NDLI: Enhancing Data Flow Testing of Classes through Design by Contract

Content Provider	IEEE Xplore Digital Library
Author	Singh, Y. Saha, A.
Copyright Year	2008
Description	Author affiliation: Sch. of IT, GGSIP Univ., Delhi (Singh, Y.; Saha, A.)
Abstract	Design by contract (DbC) is a methodology to construct quality software. DbC associates the contract specification (pre and postconditions of methods of class and class invariant) with the design of a class. In this paper, we combine dataflow testing and Design by Contract to develop a testing technique called "Data flow testing using Contract". In this technique a class flow graph is generated from the contract specification of the class and then conventional data flow testing is applied to find the test cases. The advantage of using contract specification is that: it is executable and hence a method in a test case is only executed if its precondition and class invariant are satisfied. If they are not satisfied then it leads to an infeasible sequence. Also, if after executing a method its postcondition is not satisfied then it leads to implementation error in the method. We also compare the testing of a DbC class with a conventional class and find that the number of du pairs is reduced in a DbC class because some of the conditions in conventional class become the part of the precondition in a DbC class.
Starting Page	567
Ending Page	574
File Size	260164
Page Count	8
File Format	PDF
ISBN	9780769531311
DOI	10.1109/ICIS.2008.70
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-05-14
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Contracts Flow graphs Software quality Data flow computing Information science Software testing design by contract object oriented testing data flow testing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Checking Model Consistency Using Data-Flow Testing

Slicing object-oriented software

Design by contract for Python

Data-flow-based unit testing of aspect-oriented programs

Using interface definition languages to support path expressions and programming by contract

Data flow testing as model checking

Analysis of metrics for object-oriented program complexity

Contracts for aspect-oriented design

Some complexity metrics for object-oriented programs based on information flow

Enhancing Data Flow Testing of Classes through Design by Contract

Similar Documents

Checking Model Consistency Using Data-Flow Testing

Slicing object-oriented software

Design by contract for Python

Data-flow-based unit testing of aspect-oriented programs

Using interface definition languages to support path expressions and programming by contract

Data flow testing as model checking

Analysis of metrics for object-oriented program complexity

Contracts for aspect-oriented design

Some complexity metrics for object-oriented programs based on information flow

Enhancing Data Flow Testing of Classes through Design by Contract