hackmd-github-sync-badge ControllerToDesignExtSequence.mmd ​​​​sequenceDiagram ​​​​ autonumber ​​​​ Controller ->>+ DesignExtractor: extractRelationships(List<HashTable> relationships, List<Node<Statement>> statementList, List<Node<Variable>> variableList) ​​​​ activate DesignExtractor ​​​​ Note right of Controller: List<HashTable> relationships includes the following hashtables: <br/> Follows::HashTable<Node<Statement>, Node<Statement>> [Complete]<br/> FollowedBy::HashTable<Node<Statement>, Node<Statement>> [Complete]<br/> Uses::HashTable<Node<Statement>, List<Node<Variable>>> [Partial] <br/> UsedBy::HashTable<Node<Variable>, List<Node<Statement>>> [Partial] <br/> Modifies::HashTable<Node<Statement>, List<Node<Variable>>> [Partial]<br/> ModifiedBy::HashTable<Node<Variable>, List<Node<Statement>>>[Partial] <br/> ParentOf::HashTable<Node<Statement>, List<Node<Statement>>>[Complete] <br/> ChildOf::HashTable<Node<Statement>, List<Node<Statement>>>[Complete]

Source-Query pair 6 Testing target: Next* clause SOURCE: iter3-test2.txt procedure First { read x; 1 read z; 2 call Second; 3

Proposed structs STMT STMT_REF STMT_TYPE STMT_REF (This is simply the statement number)

todo: [x] Next* [ ] Affects [ ] Affects* [ ] With clause [ ] Create Complex source prog and port over all the previous queries. Make sure they have positive test cases Prog must have:

todo: [x] pair 1 [x] pair 2 [x] pair 3 [x] pair 4 [ ] pair M1 [x] pair M2 [x] pair M3 [x] pair M4

Equivalence Partitions Take note: Invalid cases should be underlined Todo: [x] Follows, Follows* [ ] Parent, Parent* [x] ModifiesP

PKB Abstract API Component: PKB Overview: Stores the abstracted information extracted from the source code. Requirements: STMT requires stmtRef and STMT_TYPE VAR requires stmtRef, entRef and VAR_TYPE API:

test_source_7.txt procedure if { if (while != 0) then { if (procedure != 99) then { print ProcessStmtNow; } else { read read; } } else { if (while == 1) then {

This file exists to coordinate the systems testing discussion. General workflow will be that we will have a set of SIMPLE programs and one or more sets of PQL queries for that. Once front and backend teams give a green light, we shall add that set of text files for systems testing w autotester. Source-Query pair 1 test_source_1.txt procedure p {

goal: validation checks for source input and query input A: ==> ditch this bitch invalid source , dummy query B: valid source, invalid query ==> semantics test_source_5.txt procedure procedure {

Source-Query Pair 4 test_source_4.txt procedure Parser { psubsystem = 0; read fileName; if (fileName != 0) then { chara = 0; byte = 0;

Main Goal Valid SIMPLE Program procedure Week4 { read x; print x; y = 1; z = 3; call Z;} Edge Cases SIMPLE Program

CS3203 Software Engineering Project AY21/22 Semester 1 Iteration 1 Project Report Team 35 Team Members