diff --git a/Lectures/L09_VerificationAndValidation/VerificAndValid.pdf b/Lectures/L09_VerificationAndValidation/VerificAndValid.pdf index 0e7fe5e095c069f832689c6770beefbf2ebcfc29..db80664505414b427fad8f13e6b0fb06b4a15344 100644 Binary files a/Lectures/L09_VerificationAndValidation/VerificAndValid.pdf and b/Lectures/L09_VerificationAndValidation/VerificAndValid.pdf differ diff --git a/Lectures/L09_VerificationAndValidation/VerificAndValid.tex b/Lectures/L09_VerificationAndValidation/VerificAndValid.tex index ffec166af0c5d7098815a5629624641b25a3beef..c6feab507caa69a396d9af127c895ab92bd08b19 100755 --- a/Lectures/L09_VerificationAndValidation/VerificAndValid.tex +++ b/Lectures/L09_VerificationAndValidation/VerificAndValid.tex @@ -66,11 +66,12 @@ \bi \item SRS Presentation grades on Avenue +\item VnV docs in Blank Project Template consolidated \item GitHub issues for colleagues \bi -\item \texttt{Repos.xlsx} reviewer assignments now up to date -\item When SRS is complete, assign myself and your two reviewers issues to - review +\item \texttt{Repos.xlsx} reviewer assignments +\item Assign review issues to myself and your reviewers +\item If you get an extension on the deadline, let your reviewer's know \item Provide at least 5 issues on their SRS \item Grading \bi @@ -88,17 +89,39 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% \begin{frame} +% \frametitle{Administrative Details} + +% \bi +% \item VnV (and other deliverables) for families +% \bi +% \item You do not have to test and implement the entire family +% \item At the end of your CA, list the selected values for your variabilities +% and their binding time +% \item I will explicitly add a section to the template for this +% \ei +% \ei + +% \end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + \begin{frame} -\frametitle{Administrative Details} +\frametitle{Administrative Details: Drasil} \bi -\item VnV (and other deliverables) for families - \bi - \item You do not have to test and implement the entire family - \item At the end of your CA, list the selected values for your variabilities - and their binding time - \item I will explicitly add a section to the template for this - \ei +\item For some students, the SRS will be translated to Drasil +\bi +\item Due in place of design documentation +\item + \href{https://gitlab.cas.mcmaster.ca/smiths/cas741/-/blob/master/Tools/VM_Instructions/VM_Instructions.pdf} + {Forking Drasil} +\item + \href{https://github.com/JacquesCarette/Drasil/wiki/Creating-Your-Project-in-Drasil} + {Creating a Project in Drasil} +\item If you have questions on creating a project, start by assigning an issue + (at-ing) Olu (\texttt{oluowoj}) +\ei \ei \end{frame} @@ -106,43 +129,53 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{frame} -\frametitle{Administrative Details: Report Deadlines} -~\newline -\begin{tabular}{l l l} -\textbf{SRS} & Week 06 & Oct 7\\ -System VnV Plan & Week 08 & Oct 28\\ -MG + MIS & Week 10 & Nov 25\\ -Final Documentation & Week 14 & Dec 9\\ -\end {tabular} +\frametitle{Administrative Details: VnV Presentations} \bi -\item The written deliverables will be graded based on the repo contents as of -11:59 pm of the due date -\item If you need an extension, please ask -\item Two days after each major deliverable, your GitHub issues will be due -\item Domain expert code due 1 week after MIS deadline +\item Not everyone will do VnV presentations +\item Select 1 or 2 of the following: +\bi +\item \textbf{Specific} functional system test cases +\item \textbf{Specific} nonfunctional system test cases, such as +\bi +\item Performance profile +\item Usability testing +\ei +\item SRS verification plan +\item Automated testing and verification tools +\bi +\item Profiling tools +\item Continuous integration +\item Code coverage +\item Linters +\ei +\ei +\item We would like a variety of topics presented +\item If you are uncertain of your specific presentation plan, please ask \ei \end{frame} -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{frame} -\frametitle{Administrative Details: Presentations} - +\frametitle{Administrative Details: Report Deadlines} ~\newline -\begin{tabular}{l l l} -Syst.\ VnV Present & Week 07 & Week of Oct 21\\ -MG + MIS Syntax Present & Week 9 & Week of Nov 4\\ -MIS Semantics Present & Week 11 & Week of Nov 18\\ -Unit VnV or Impl.\ Present & Week 12/13 & Week of Nov 28\\ +\begin{tabular}{l l} +\textbf{SRS} & Oct 8\\ +\textbf{System VnV Plan} & Oct 29\\ +MG + MIS (Traditional) & Nov 19\\ +Drasil Code and Report (Drasil) & Nov 19\\ +Final Documentation & Dec 9\\ \end {tabular} \bi -\item Informal presentations with the goal of improving everyone's written - deliverables -\item Domain experts and secondary reviewers (and others) will ask questions - (listed in Repos.xlsx file) +\item The written deliverables will be graded based on the repo contents as of +11:59 pm of the due date +\item If you need an extension for a written deliverable, please ask +\item You should inform your primary and secondary reviewers of the extension +\item Two days after each major deliverable, your GitHub issues will be due +%\item Domain expert code due 1 week after MIS deadline \ei \end{frame} @@ -150,34 +183,54 @@ Unit VnV or Impl.\ Present & Week 12/13 & Week of Nov 28\\ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{frame} -\frametitle{Administrative Details: Presentation Schedule} +\frametitle{Admin Details: Presentation Schedule} \bi -\item Syst V\&V Plan Present +\item Syst V\&V Plan Present (15 min) \bi -\item \textbf{Monday: Deema, Peter} -\item \textbf{Thursday: Sharon, Ao} +\item Thurs, Oct 22: Ting-Yu, Mohamed, Naveen, Liz, Salah \ei -\item MG + MIS Syntax Present +\item Proof of Concept Demonstrations (15 min) \bi -\item Monday: Deema, Bo -\item Thursday: Sasha +\item Mon, Oct 26: Tiago, Mohamed, Xuanming, Parsa, Gaby +\item Mon, Nov 2: Sid, Shayan, Leila, Xingzhi, Liz +\item Thurs, Nov 12: Salah, John \ei -\item MIS Syntax + Semantics Present +\item MG Present (10 minutes) \bi -\item Monday: Zhi, Peter -\item Thursday: Sharon, Ao +\item Thurs, Nov 12: John, Tiago, Leila, Xuanming, Andrea \ei -\item Unit VnV Plan or Impl.\ Present +\item MIS Present \bi -\item Monday: Bo, Sasha -\item Thursday: Zhi, Peter, Ao +\item Mon, Nov 16: Shayan, Parsa, Gaby, Sid, Xingzhi +\ei +\item Drasil Project Present (20 min each) +\bi +\item Thurs, Nov 26: Andrea, Naveen, Ting-Yu \ei \ei \end{frame} -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\begin{frame} +\frametitle{Presentation Schedule Continued} + +\bi +\item Test or Impl.\ Present (15 min each) +\bi +\item Mon, Nov 30: John, Salah, Liz, Xingzhi, Leila +\item Thurs, Dec 3: Shayan, Naveen, Sid, Gaby, Seyed +\item Mon, Dec 7: Ting-Yu, Xuanming, Mohamed, Andrea, Tiago +\ei +\item 4 presentations each +\item If you will miss a presentation, please trade with someone else +\ei + +\end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{frame} \frametitle{Questions?} @@ -187,6 +240,7 @@ Unit VnV or Impl.\ Present & Week 12/13 & Week of Nov 28\\ \end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + \begin{frame} \frametitle{``Faked'' Rational Design Process}