Accession Number : ADA619982


Title :   Computational Homology for Software Validation


Descriptive Note : Final rept. Sep 2011-Sep 2014


Corporate Author : SYRACUSE UNIV NY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE


Personal Author(s) : Blair, Howard A


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a619982.pdf


Report Date : Mar 2015


Pagination or Media Count : 33


Abstract : The research objective, to develop new objective tools to aid in software verification and validation based on topological methods, found that the application of topology to software with compound non-numerical, non-metric data-types, proved to be too course-grained to provide a mathematical foundation for rigorously reasoning about the evolution of the compound state of executing software and overcame this difficult by applying a refinement of topological structure, called convergence structure (CS). CS was applied to serve as the mathematical underpinning for specifying the evolution of compound states by providing an analytical foundation for such state evolution. Such a foundation is geometric in character and is derivable from symmetries in the state space by group-theoretic means and then determining CS with respect to which the symmetries are continuous. Student D. Patten investigated CS methods on discrete structures for the purpose of rigorously formulating hybrid dynamical systems involving discrete structure data-types to aid in developing formal specifications for object-oriented & similar software involving compound data-types.


Descriptors :   *COMPUTER PROGRAM VERIFICATION , CONVERGENCE , SOFTWARE ENGINEERING , TOPOLOGY


Subject Categories : Operations Research
      Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE