Discussion of automated aids covers software development phases, focusing on the coding and debugging phase and test specifications. Technological issues mentioned include the problems of immediate solution, of complete system analysis, and of failure testing. Modeling techniques for security and development tools are reviewed. The report suggests that better system design would be helpful in the testing and verification of systems. Achieving reliability by testing the system after implementation is difficult. Reliability and security must be designed as an integral part of a system and not attempted as a retrofit. Diagrams, tables, and 22 references are supplied.