Main People Publications Research Tools
Current Research Projects
The Application of Flow Analysis to DC3 and Coverage Compliance


This research will focus on two issues: (1) definition of, and methodologies for compliance with, data and control coupling requirements, and (2) development of new, and improvement of existing, flow analysis techniques. DO-178B defines component, control coupling, and data coupling, and requires that structural coverage analysis confirm the data coupling and control coupling between code components (DC3 requirement) for software levels AC. Principles of DC3, however, are not well defined or well understood. We will seek to develop a set of consistent, well-defined guidelines that can be applied across all future airborne software projects to satisfy DC3. With these guidelines, we will work to develop cost-effective methodologies to measure compliance with DC3. Structural coverage techniques require various types of flow analysis of a program. Studies have shown that existing flow analysis techniques are effective in revealing program faults, but existing techniques are slow and inefficient. We will investigate ways to provide efficient and effective flow analysis. Our focus will be on analysis techniques for identifying requirements for testing, generating test data to satisfy these requirements, and measuring compliance with these requirements.



Research Infrastructure

Georgia Tech | College of Computing | Software Engineering | Aristotle Home
Updated November 14, 2005 by Jim Jones