NDLI: A tool suite for diagnosis and testing of software design specifications

Content Provider	IEEE Xplore Digital Library
Author	Li, J.J. Horgan, J.R.
Copyright Year	2000
Description	Author affiliation: Telcordia Technol., Morristown, NJ, USA (Li, J.J.)
Abstract	Available statistical data shows that the cost of finding and repairing software rises dramatically in later development stages. Much research has been done using verification and validation techniques to prove correctness in terms of certain properties. Such approaches and the approach of software testing are complementary. Testing reveals some errors that cannot be easily identified through verification, and vice versa. The new technology of generating implementation code from design specifications if based on highly reliable designs is another approach to reliable software. This paper presents a dynamic slicing technology and an accompanying tool suite for understanding, diagnosis and testing of software design specifications. We apply state-of-the-art technology in coverage testing, diagnosis and understanding of software source code to those of software designs. We use a simulation of the specifications to collect the execution trace for computing the coverage and slicing data. Our technology first generates a flow diagram from a specification and then automatically analyses the coverage features of the diagram. It collects the corresponding flow data during simulation to be mapped to the flow diagram. The coverage information for the original specification is then obtained from the coverage information of the flow diagram. This technology has been used for C, C++, and Java, and has proven effective.
Starting Page	295
Ending Page	304
File Size	237396
Page Count	10
File Format	PDF
ISBN	0769507077
DOI	10.1109/ICDSN.2000.857553
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-06-25
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software testing Software design Software tools Debugging Computational modeling Java Costs Software engineering Data structures Software algorithms
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