DMCA
FXplorer: Exploration of Computed Software Behavior: A New Approach to Understanding and Verification (2009)
| Venue: | Proceedings of Hawaii International Conference on System Sciences (HICSS-42), Big |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Burns09fxplorer:exploration,
author = {Luanne Burns and Timothy Daly},
title = {FXplorer: Exploration of Computed Software Behavior: A New Approach to Understanding and Verification},
booktitle = {Proceedings of Hawaii International Conference on System Sciences (HICSS-42), Big},
year = {2009},
pages = {1--10},
publisher = {IEEE Computer Society Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software developers lack practical means to determine the full functional behavior of programs under development, and even the most thorough testing can provide only partial knowledge of behaviors. Thus, an effective technology for revealing software behaviors could have a positive impact on software understanding. This paper describes the emerging technology of function extraction (FX) for computing the functional behavior of programs and how the knowledge of program behavior can be used in user-directed program exploration for understanding and verification. We
Keyphrases
new approach computed software behavior user-directed program exploration function extraction software behavior effective technology program behavior practical mean thorough testing partial knowledge current practice functional behavior positive impact software developer full functional behavior enable evolution true engineering discipline software understanding
