The lack of high-reliability software is a major problem in the military and commercial communities today. traditional v&v techniques improve software reliability by helping to find errors early in software development, but we need to go beyond these techniques to find a way to prevent errors from… More

The lack of tools and trained personnel to generate software test cases is a major problem in military and commercial communities today. now being expanded under a phase ii sbir project is a language independent tool called "t" that autommatically generates software test cases from requirements… More

The difficulty of applying sound cm techniques in an engineering discipline such as software development and maintenance is compounded by the inherent complexity and ease of change of software configuration items. we propose to demonstrate the feasibility of an interactive computer-based tool that… More