1 / 16

CIS841 – Verification and Validation

CIS841 – Verification and Validation. Dr David A. Gustafson dag@cis.ksu.edu http://www.cis.ksu.edu/~dag. Goals.

annetteg
Télécharger la présentation

CIS841 – Verification and Validation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. CIS841 – Verification and Validation Dr David A. Gustafson dag@cis.ksu.edu http://www.cis.ksu.edu/~dag

  2. Goals • Prepare students to be software testers and researchers in software testing. In particular, students should understand the current state of the art in software testing, be able to read and evaluate current literature in software testing, and be able to plan an effective testing effort.

  3. Specific Goals of CIS841 • understanding of software – faults, failures, errors, and testing • knowledge of “state-of-the-practice” and “state-of-the-art” (current articles) • understanding of issues, terminology, foundations, and techniques • learning to read the literature

  4. Conduct of Course • TU 9:30-10:45 am • Discussions/Lectures • Homework • Exams • Read Syllabus • Read announcements

  5. Off Campus • Unless noted, due dates for off-campus students are the same as for on-campus students – contact me if this is a problem • For in class work, email as soon as possible but definitely before next class (on-campus) • Including today’s work • Turn in proctor information as soon as possible

  6. Active Learning • TTYP • Venn Diagrams • Classification • Definitions • 1 minute paper • Meta-cognition

  7. Exams cover • Lectures and Discussions • Homework • Articles and Readings • Postings on web • PreLecture Quizzes

  8. Grading • two midterms (100-150 pts) • one final (200 pts) • Prelecture quiz (4-10 pts) • homework (10-20 pts) • due beginning of class (10% off) • 6 main tasks (30-100 pts) • Final paper (100 pts) • 90% of total points is an A, 80% is a B

  9. Grade Information • will be available on kstate online • Online.ksu.edu

  10. Availability of Lectures • world wide web • Powerpoint • Pre • Post • Tegrity video • Link from class web page below my webpage • www.cis.ksu.edu/~dag

  11. Articles • current information • sometimes unproven • different viewpoints • different styles, terminology, levels • little background information

  12. How do you read an article? • My approach • Read abstract • Check refs • Read conclusions • Only then, read paper

  13. TTYP1 definitions • Define • Error • Fault • Failure • Failure domain

  14. TTYP2 worst faults • What kind of fault is hardest to find? • Why?

  15. For Thursday, Aug 24 Write a correct program in C++ that has two numeric inputs, and a deterministic output. E.g. area Find 1) a fault that would be very easy to find, and 2) a fault that would be very hard to find. Estimate the number of the inputs that show each fault. (a fault would be a change to something in the correct version that would make it produce the wrong output for some inputs) Build a web page for 841 and post your program and the faults on that web page. Send me your url

  16. 1 minute paper • What questions about testing would you like to answer? Or be answered?

More Related