CPST 4500 System Requirements Development and Testing

CPST 4500 System Requirements Development and Testing
System Requirements Development and Testing
This course provides a study of concepts and techniques for planning and developing high quality information systems. Fundamentals of specification (including formal models and representations, documents, and standards) are examined. Methods of specifying and developing requirement for generating information systems are discussed. It covers the tools, methods, and current practices for assessing the quality and correctness of information systems. Topics include the roles of testing and formal verification, fundamentals and formal models of program verification, planning and documentation for quality assurance, methods of performing technical reviews, strategies of system testing and integration planning, and principles and practices used in conducting tests. Projects using these techniques are included. 
Pre-requistites: CPST 3550 or equivalent experience.
credit hours: 3