SWE323 Software verification and testing

Software verification and testing

      หัวข้อ

  1. Software Development process overview 

        - Software Development Life Cycle

        - Software Development Life Cycle  Approach 

            - วิธีการดังเดิม/นิยมใช้

            - Iterative Approach (รูปแบบของการทำซ้ำ)

            - Modern Software (Agile) & Extreme programming

  2. Overview of Testing Techniques

           - Error, Default, Failure

           - ความแตกต่างระหว่าง Developer and Independent test

           - Type of Testing Techniques

  3. Program Analysis

           - พฤติกรรมของโปรแกรม, ประเภทของการทดสอบ และเครื่องมือที่ใช้วิเคราะห์

           - หลักการวิเคราะห์โปรแกรม 

                - Static Analysis Tool

                - Dynamic Analysis Tool  

                       - Integration Testing

                       - System Testing
  4. Black Box Testing

            - ประเภทของ Black box testing

  5. White Box Testing

 6. Software Verification

 7. Software Configuration Management (SCM)

Software Development process overview

Software Development Life Cycle

1. Define the problem ระบุปัญหา/กำหนดวัตถุประสงค์

2. Feasibility การกำหนดค่าใช้จ่าย เทคโนโลยีที่ใช้ ทีมพัฒนา ที่เป็นไปได้/สามารถทำงานได้

3. Analysis การจัดเก็บความต้องการและนำมาวิเคราะห์

4. Design ออกแบบ hi level design เช่น use case, data flow

5. Implementation การพัฒนาระบบ และการทดสอบ

6. Maintenance/review การปรับปรุง แก้ไขระบบ