1 Exam2 Review 841f07exam2review24nov27 1. 2 Q1 - Parnas 841f07exam2review24nov27 2 Parnas discussed that software is difficult because failures are not.

Slides:

Advertisements

Similar presentations

An Array-Based Algorithm for Simultaneous Multidimensional Aggregates By Yihong Zhao, Prasad M. Desphande and Jeffrey F. Naughton Presented by Kia Hall.

Advertisements

Cross Sectional Designs

Counting Outcomes and Tree Diagrams

Annoucements  Next labs 9 and 10 are paired for everyone. So don’t miss the lab.  There is a review session for the quiz on Monday, November 4, at 8:00.

Please turn off cell phones, pagers, etc. The lecture will begin shortly.

Agenda Week 3 9/10 – 9/14 By PresenterMedia.comPresenterMedia.com.

Mathematics as a Second Language Mathematics as a Second Language Mathematics as a Second Language © 2006 Herbert I. Gross An Innovative Way to Better.

How to construct a decision tree 1.List each decision nodes & its alternatives. 2.List each chances nodes& its alternatives. 3.Draw the nodes and links.

CS540 Software Design Lecture 1 1 Lecture 1: Introduction to Software Design Anita S. Malik Adapted from Budgen (2003) Chapters 1.

Reliability of Disk Systems. Reliability So far, we looked at ways to improve the performance of disk systems. Next, we will look at ways to improve the.

DREAM. GOAL OBJECTIVES Analysis Given a goal of the student’s choice, the student will break down the goal into achievable subdivisions. Evaluation Given.

Exam 1 Review u Scores Min 30 Max 96 Ave 63.9 Std Dev 14.5.

Power (Reading Packet Sect III) Mon, March 29 th.

MARE 250 Dr. Jason Turner Hypothesis Testing II. To ASSUME is to make an… Four assumptions for t-test hypothesis testing:

BCOR 1020 Business Statistics Lecture 22 – April 10, 2008.

Using Growth Models for Accountability Pete Goldschmidt, Ph.D. Assistant Professor California State University Northridge Senior Researcher National Center.

1 Evaluation of Safety Critical Software David L. Parnas, C ACM, June 1990.

Concept of Basic Time Complexity Problem size (Input size) Time complexity analysis.

Multiple Regression and Correlation Analysis

SOFTWARE PROJECT MANAGEMENT Project Quality Management Dr. Ahmet TÜMAY, PMP.

CS 325: Software Engineering March 31, 2015 Software Testing Black-Box Testing White-Box Testing Regression Testing.

A User-Oriented Software Reliability Model Per Trygve Myhrer 20 februar Roger C. Cheung.

1 841f06parnas13 Evaluation of Safety Critical Software David L. Parnas, C ACM, June 1990.

Language Evaluation Criteria

Lecture 14 Testing a Hypothesis about Two Independent Means.

Evaluation of Safety Critical Software -- David L. Parnas, -- A. John van Schouwen, -- Shu Po Kwan -- June 1990 Presented By Zhuojing Li.

1 Essential Question: Explain the goal of checking “Productivity;” define input and output; list and describe fixed costs, variable costs, and marginal.

Previous Year Exam Questions Topic: Expert Systems and Rule-based Reasoning.

Illustration 4/22-4/25 Livoti. Tues 4/22 Aim: How can you create a sketch that re- interprets your favorite children’s or young adult book? Do Now: children’s.

Scientific Inquiry & Skills

Adding and Subtracting Fractions Lesson Convert to an improper fraction. 2. Convert to a mixed number. 3. Write in simplest form. 4. Write a fraction.

Copyright © 2009 Pearson Education, Inc LEARNING GOAL Interpret and carry out hypothesis tests for independence of variables with data organized.

Warm-up Day of 8.1, 8.2, 9.1 and 9.2 Review. Answer to H.W. Problem E#17 Step 1: The amount of water in the bottles is normally distributed. A graph of.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 3.

Psych 5500/6500 Other ANOVA’s Fall, Factorial Designs Factorial Designs have one dependent variable and more than one independent variable (i.e.

DOS Week of: August 27-31, DOS Mon 1. Which tool would be MOST helpful in measuring the weight of an object? a.b.c.

Chi-Square test. PRESENTED BY: Dr.Zhian Salah Ramzi Head of community and Family medicine/ sulaimani university.

9 Systems Analysis and Design in a Changing World, Fourth Edition.

1 Lecture 6 BOOLEAN ALGEBRA and GATES Building a 32 bit processor PH 3: B.1-B.5.

Quality Tools. Decision Tree When to use it Use it when making important or complex decisions, to identify the course of action that will give the best.

1 Exam2 Review 841f07exam2review24nov Q1 - Parnas 841f07exam2review24nov27 2 Parnas discussed that software is difficult because failures are not.

Exam 1 Review u Scores Min 30 Max 96 Ave 63.9 Std Dev 14.5.

CS1Q Computer Systems Lecture 6 Simon Gay. Lecture 6CS1Q Computer Systems - Simon Gay2 Algebraic Notation Writing AND, OR, NOT etc. is long-winded and.

1 Pre-exam2 Discussion Exam 2 Thurs, Nov 15 th 150 pts, 2 crib sheets allowed 841f07exam2preview23nov13 1.

What do we use water for?. The Water Cycle We are learning to: Explain how rain is formed. Judge how important water is to our lives.

COM362 Knowledge Engineering Exam Revision 1 John MacIntyre

© 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley 1 Product Design Alternative Generation, Evaluation, and Selection.

1 841f06OOmutation22Nov7 Exam 2 – Nov f06OOmutation22Nov7 Articles u Frankl u Parnas u Chen-Kao (OCF graph) u Glass-etal (Viewpoints) u Kuhn-Wallace.

Spider diagram. investigate Put brochures Develop a design brief Explain the requirements Explain what types of people do sports.

Experimental Design Diagram

DOS Week of: August 26-30, 2013 DOS Mon 1. Which tool would be MOST helpful in measuring the weight of an object? a.b. c.

Reliability of Disk Systems. Reliability So far, we looked at ways to improve the performance of disk systems. Next, we will look at ways to improve the.

Copyright © 2009 Pearson Education, Inc LEARNING GOAL Interpret and carry out hypothesis tests for independence of variables with data organized.

Lecture #8 Thursday, September 15, 2016 Textbook: Section 4.4

More Multiple Regression

Lesson Objectives Aims You should be able to:

Nov 13, handwritten crib sheet allowed 150 pts

CPSC 873 John D. McGregor GQM.

Parts of an Academic Paper

Logical Framework I want to design a project by planning out the logic

2.1 – Represent Relations and Functions.

More Multiple Regression

More Multiple Regression

Failure Size Proportional Models

Lecture 4: Activity Based Management

Water Quality of Watershed

1 Chapter 8: Introduction to Hypothesis Testing. 2 Hypothesis Testing The general goal of a hypothesis test is to rule out chance (sampling error) as.

Solving Equations Algebra tiles can be used to explain and justify the equation solving process. The development of the equation solving model is based.

What is the function rule for the following graph?

Presentation transcript:

1 Exam2 Review 841f07exam2review24nov27 1

2 Q1 - Parnas 841f07exam2review24nov27 2 Parnas discussed that software is difficult because failures are not independent, functions are not continuous, and interpolation is not useful. Explain what he meant by each of these ideas and how each of these ideas influence the testing of safety-critical software.

3 Q2 – van der Meulen 841f07exam2review24nov27 3 a.(10 pts) describe his use of equivalence classes. How were they determined? b. (30 pts) In van der Meulen’s article, he mentioned using the diversity of software programs to improve reliability. Assume that there are 3 programs (P a, P b, P c ) that each have failure probabilities of.2 Their failures sets (A,B,C) overlap such that size of AB(where both P a and P b fail) is.5 of A and.5 of B. Pc is independent of A and/or B. Find the probability of failure of a voting system that uses these 3 programs.

4 Q3 Hamlet 841f07exam2review24nov27 4 Consider an aquarium that has to make a decision about adding water to their main pool based on the amount of daily rainfall. If they don’t add enough water and there is not adequate rain, the fish die which is very expensive besides being cruel. If they add too much water, it is wasted which costs some money. The inputs are the expected daily rainfall in inches, the water surface area of the pool, and the expected evaporation amount for the next 24 hours. The output of the analysis program is a number that is how much water needs to be added.

5 Q3 part A 841f07exam2review24nov27 5 (15 pts) Write Term Rewriting Rules that are true and could be used to change the input values into equivalent sets of input values. Justify that these rules do produce diverse executions.

6 Q3 part B 841f07exam2review24nov27 6 (20 pts) Explain how the voting system could be used or modified to improve the fish life expectancy.

7 Q3 part C 841f07exam2review24nov27 7 ( 15 pts) How could you test Hamlet’s approach sufficiently to justify to your boss the use of this approach.

8 Q4a Bertolino 841f07exam2review24nov (15 pts) Explain each of the four dreams. Evaluate whether they are practical and whether they are achievable.

9 Q4b Bertolino 841f07exam2review24nov27 9 (10 pts) Explain Bertolino’s view of the effect of OO on software testing (or why is OO testing not easier).

10 Q4c Bertolino 841f07exam2review24nov (5 pts) Explain the following diagram. What are the columns, rows, significance of the placements of items, significance of items that span multiple rows/columns.

Remaining Lectures u Thurs, 11/29 – Zachariah paper u Tues, 12/4 – Briand, “A Critical Analysis of Empirical Research in Software Testing” u Thurs, 12/6 – finish Briand, review for final u Wed, 12/12 2:00-3: pts f07exam2review24nov27