Chi/SUDS-SDL: A tool for diagnosis and understanding software specifications

J. Jenny Li, J. Robert Horgan

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Available statistical data shows that the cost of repairing software faults rises dramatically in later development stages. It is important to reduce software faults in the early stages of software development, such as requirement and design specification. In particular, the new technology of generating implementation code from specification requires highly reliable design specifications. Much research has been done on verification and validation, such as model checking. We believe such approaches are similar to software testing. We apply our state-of-the-art technology in software coverage testing, program diagnosis and understanding to stages as early as software requirements and designs. Early analysis provides many benefits, including: 1) early detection and recovery of software faults; 2) visualization and simulation of the software specifications; 3) improvement of the confidence on the specification; 4) making programming on the specification level more possible; and 5) reduction of the number of introduced faults. This paper presents the technology and the accompanying tool suite to the diagnosis and understanding of software specifications. We use the simulation of the specifications to collect the execution trace for computing the coverage and slicing data. Our technology is based on both the control flow and the data flow of the executable specifications.

Original languageEnglish
Title of host publicationProceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages274-281
Number of pages8
ISBN (Electronic)0769505090, 9780769505091
DOIs
StatePublished - 1999
Event6th Asia Pacific Software Engineering Conference, APSEC 1999 - Takamatsu, Japan
Duration: 7 Dec 199910 Dec 1999

Publication series

NameProceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

Conference

Conference6th Asia Pacific Software Engineering Conference, APSEC 1999
Country/TerritoryJapan
CityTakamatsu
Period7/12/9910/12/99

Keywords

  • and Specification and Description Language (SDL)
  • coverage testing
  • debugging tool
  • Software specification
  • χSuds

Fingerprint

Dive into the research topics of 'Chi/SUDS-SDL: A tool for diagnosis and understanding software specifications'. Together they form a unique fingerprint.

Cite this