Updates to white box testing continued and black box testing lectures

Lectures/L33_WhiteBoxTestingContinued/WhiteBoxTestingContinued.tex

@@ -390,7 +390,9 @@ constituents of compound conditions are exercised at least once
 \frametitle{Weakness}
 
 \includegraphics[scale=0.5]{../Figures/WeaknessConditionCoverage.png}
-
+%technically condition coverage is already achieved by the tests, but the second
+%test has the problem that it doesn't exercise both possible values of the
+%second condition
 \end{frame}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Lectures/L34_BlackBoxTesting/BlackBoxTesting.tex

@@ -106,6 +106,24 @@ TBD
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}[fragile]
+\frametitle{Unix Command of the Day: \texttt{grep}}
+
+\begin{itemize}
+\item Search for the lines in a collection of data that match a specified
+  pattern
+\item From \texttt{se2aa4\_cs2me3/Lectures}
+\bi
+\item \verb|grep -r Parnas . > parnas.txt|
+\item \texttt{grep -c L04 parnas.txt}
+\item \texttt{grep -c 'L0.' parnas.txt}
+\ei
+\end{itemize}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \begin{frame}
 \frametitle{Path-Coverage Criterion}
 
@@ -129,7 +147,7 @@ TBD
 \frametitle{The Infeasibility Problem}
 
 \begin{itemize}
-\item Syntactically indicated behaviours (statements, edges, etc.) are often impossible
+% \item Syntactically indicated behaviours (statements, edges, etc.) are often impossible
 \item Unreachable code, infeasible edges, paths, etc.
 \item Adequacy criteria may be impossible to satisfy
 \begin{itemize}