Assignment 1 Feedback - Dependable Software...

29
Assignment 1 Feedback 소프트웨어 공학 개론 AMinwoo Kim ([email protected])

Transcript of Assignment 1 Feedback - Dependable Software...

Page 1: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Assignment 1 Feedback

소프트웨어공학개론

A반

Minwoo Kim

([email protected])

Page 2: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 1

• Additional function

- Battery를추가하여배터리잔량이적을시 led로경고

- Sensor terminal의명칭을명확히표기 –

▪ "low battery"라고표현된 terminal을 "Battery level sensor" 혹은 "Battery low level sensor"로수정.

Konkuk University 2

Page 3: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 1

Konkuk University 3

Page 4: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 1

• DFD level numbering수정

- Numbering은 Input process 부분을하고 control process 하는것이 DFD 작성할때좀더수월합니다.

▪ Low battery detection 1 Low battery detection 2

▪ Cleaner & Motor Control 2 Cleaner & Motor Control 3

▪ Alarm LED control 2 Alarm LED control 4

Konkuk University 4

Page 5: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 1

• Data Store가필요없다면제거

- Data process에서받은값이 control process로 data를전달할때, 저장하지않고바로사용하고끝난다면 data store가없어도됩니다.

Konkuk University 5

Page 6: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 1

• DFD level 2

Konkuk University 6

Page 7: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 1

Konkuk University 7

Page 8: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 1

• Initial state 에서 state 전이가정해지지않음.

- “Move Forward” state 혹은각 state 마다해당부분이필요

Konkuk University 8

Page 9: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

EX 2

• Control Flow 는 Control Process 에서만발생할수있습니다.

• Tick Event 는 vacuum이아닌 digital clock에서보내는 control flow 입니다.

• DFD만있고설명이없어서이해를제가못해서따로피드백을못..

Konkuk University 9

Page 10: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 3

• Data store는 process가사용하기때문에 input과 output이필요

Konkuk University 10

Page 11: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 3

• Move Forward에서 stop으로바로가게됨.

- 예시로드린답안을참고.

Konkuk University 11

Page 12: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 4

• 제시한해결방법: controller를두개로만들자.

• DFD에 controller 두개에대한표현이없음.

• State Transition Diagram에서사용되는 notation 이해필요.

Konkuk University 12

Page 13: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 5

• 제시한 Solution에서나온move backward 표현혹은 state transit이없다.

- Ex 1의 “Rotate” state (p. 8) 참고하여작성가능

Konkuk University 13

제시한 Solution

1) Tick조건에Dust를추가한다.- Cleaner Command를앞으로갈때작동시키긴하나따로

clean 이벤트를만들어서 Dust가있을때작동하게한다.

- Dust를고려하여 Dust가있으면앞에장애물이있는것으로취급한다. 그러면공백없이청소하게된다.

2) Move Backward를추가한다.- F && L && R이였을경우 !L이나 !R이될때까지move 한후

진행한다. 만약 !L&&!R일경우왼쪽으로틀어서진행한다고가정한다.

Page 14: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 6

• 제시한해결방법

Konkuk University 14

Page 15: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 6

Konkuk University 15

Page 16: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 6

Konkuk University 16

Page 17: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 7

• 액체를감지해서어떠한조치를취하는 RVC

Konkuk University 17

Page 18: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 7

Konkuk University 18

Page 19: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 8

Konkuk University 19

Page 20: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 8

Konkuk University 20

Page 21: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 8

Konkuk University 21

Page 22: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 9

• Control flow는 control process 에서발생

• Notation 꼭지켜주세요.

Konkuk University 22

Page 23: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 10

• 초기상황에먼지가있으면바로 Power-up 으로가서먼지를닦고시작.

Konkuk University 23

Page 24: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 11

• 잘못설명하여틀린내용이전달되었네요.

• 절차지향적인언어를대상으로한다는말은 SASD 수행대상과는다른내용입니다.

• SASD는시스템혹은소프트웨어를대상으로수행하는개발방법론입니다.

• 실습과정에서 cyclic 한시스템을절차지향적언어인 C로구현하는과정을가지는데설명을부족하게하여틀린내용을알려드린것같습니다.

Konkuk University 24

Page 25: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 11

• 수업시간에보여드린실습답안참고해주세요.

• State Transition Diagram의 notation 확인!

Konkuk University 25

Page 26: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 12

• 제시한방법- 1. Stop

▪ Turn Right

- 2. Dust

▪ 먼지보이면 cleaner off

- 추가기능. Timer, battery

▪ Timer 기능표현.

Konkuk University 26

Page 27: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 12

• DFD가표현되었으면더좋았을것.

• “Timer” State 로진입하지않음.

Konkuk University 27

Page 28: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 13

• Uh.. Notation!

Konkuk University 28

Page 29: Assignment 1 Feedback - Dependable Software Laboratorydslab.konkuk.ac.kr/.../Assignment_1_FeedBack.pdf · 2017-09-13 · Assignment 1 Feedback ... Low battery detection 1 Low battery

Ex 13

• Overall DFD에맞지않는 level 표현

- State로보이는표현도보임.

- Control과 data flow 구분필요.

Konkuk University 29