PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
Information Processing Letters
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
SDL with applications from protocol specification
SDL with applications from protocol specification
Debugging with dynamic slicing and backtracking
Software—Practice & Experience
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Programmers use slices when debugging
Communications of the ACM
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
The 4+1 View Model of Architecture
IEEE Software
Incremental Regression Testing
ICSM '93 Proceedings of the Conference on Software Maintenance
Failure and Fault Analysis for Software Debugging
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Coverage testing software architectural design in SDL
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Effective program debugging based on execution slices and inter-block data dependency
Journal of Systems and Software - Special issue: Selected papers from the 11th Asia Pacific software engineering conference (APSEC 2004)
A family of code coverage-based heuristics for effective fault localization
Journal of Systems and Software
Enhancing software reliability estimates using modified adaptive testing
Information and Software Technology
Metamorphic slice: An application in spectrum-based fault localization
Information and Software Technology
Hi-index | 0.00 |
Statistical data show that it is much cheaper to fix software bugs at the early design stage than the late stage of the development process where the final system has already been implemented and integrated together. The use of slicing and execution histories as an aid in software debugging is well established for programming languages like C and C++; however, it is rarely applied in the field of software specification for designs. We propose a solution by applying the technology at source code level to debugging software designs represented in a high-level specification and description language such as SDL. More specifically, we extend execution slice-based heuristics from source code-based debugging to the software design specification level. Suspicious locations in an SDL specification are prioritized based on their likelihood of containing faults. Locations with a higher priority should be examined first rather than those with a lower priority as the former are more suspicious than the latter, i.e., more likely to contain the faults. A debugging tool, SmartDSDL, with user-friendly interfaces was developed to support our method. An experiment is reported to demonstrate the feasibility of using our method to effectively debug an architectural design.