Conference Paper

χSUDS-SDL: a tool for diagnosis and understanding software specifications

Telcordia Technol., Morristown, NJ
DOI: 10.1109/APSEC.1999.809613 Conference: Software Engineering Conference, 1999. (APSEC '99) Proceedings. Sixth Asia Pacific
Source: IEEE Xplore


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

Full-text preview

Available from:
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The Specification and Description Language (SDL) is a worldwide accepted standard for development of new protocols, e.g. an increasing number of IEEE protocol standards uses SDL. Especially for mobile devices it is impor- tant that the protocol implementation is as energy efficient as possible. This cannot be achieved with a straight forward code gen eration from SDL to a tar- get language as for example C. Thus, the normal way is that after the specifica- tion is done, parts of the protocol are implemented by hand using C or even VHDL. In this paper we are presenting our profiling tool, profSDL, which is designed to support engineers in determining the pa rtitioning of the SDL speci- fication. profSDL allows to determine static effort and dynamic effort of the protocol under development. The dynamic effort can be assigned to the protocol itself as well as to the SDL runtime environment. W e applied profSDL to a fully functional SDL model of IEEE802.11a. The design decisions indicated by profSDL matched exactly what the designers decided manually. The major benefit of profSDL is that it works on SDL level, s o that the profiling results are independent of any potential implementation decisio n e.g. programming lan- guage features.
    Preview · Conference Paper · Jan 2005
  • [Show abstract] [Hide abstract]
    ABSTRACT: Over the past 25 years the Brazilian Symposium on Software Engineering (SBES) has evolved to become the most important event on software engineering in Brazil. Throughout these years, SBES has gathered a large body of studies in software testing. Aimed at providing an insightful understanding of what has already been published in such event, we synthesized its rich 25-year history of research on software testing. Using information drawn from this overview we attempted to highlight which types of study have been the most applied for conveying software testing efforts. We also devised a co-authorship network to obtain a bird's-eye view of which research groups and scholars have been the most prolific ones. Moreover, by performing a citation analysis of the selected studies we set out to ascertain the importance of SBES in a wider scenario. Finally, borne out by the information extracted from the studies, we shed some light on the state-of-the-art of software testing in Brazil and provide an outlook on its foreseeable future.
    No preview · Conference Paper · Oct 2011