Software Verification 2nd Testing 200611494 원스타 200810047 김성원 200811466 허태경
Index 1. Specification Review 2. Brute Force Testing 3. Category-Partition Testing 4. Pairwise Testing 5. Static Analysis 1. CheckStyle 2. FindBugs 3. PMD 4. Jdepend 5. Junit
1. Specification Review
1. Specification Review Issues Mantis 를통한이슈공유
1. Specification Review Usecase 처음으로 : Cross Reference 에 R3.1 ( 점수확인 ) 이빠짐. UI 목업과구현상에서는점수확인화면에서도처음으로돌아갈수있으나, " 처음으로 " Use Case 에서는빠짐.
1. Specification Review Usecase 점수확인 : Cross Reference 에 R1.10 ( 처음으로 ) 이빠짐. UI 목업과구현상에서는점수확인화면에서도처음으로돌아갈수있으나, " 점수확인 " Use Case 에서는빠짐.
1. Specification Review Implementation 초기화 : Exceptional 동작이실제와불일치 DB 연동실패시도어플리케이션이실행됨. 단계선택에서멈춤 이상태에서프로그램동작멈춤
1. Specification Review Implementation 메뉴선택, 단계선택 : Typical Courses of Events 불일치 구현에서는메뉴네비게이션에키보드가동작하지않음.
1. Specification Review etc 동작
1. Specification Review Class Diagram Controller 문서 구현 문서 구현 menu_num int menu_num int sel_level int sel_level int sel_char String sel_char String sound_vol int sound_vol int score int score int db DBConnect db DBConnect fi FindInitial fi FindInitial pp PronunPrac pp PronunPrac sp SpellPrac wd_info WordInfo wd WordInfo key int key int question_count int question_count int input_count int input_word String input_key String wordflag bool timelistener ActionTime gui GUI speakers LinkedList<Line> time Timer wordtick int selectmenu() selectlevel() createkey() requestwrodinfo(int key) setwordinfo(wordinfo wd_info) setvolume() Word 로추정 Controller() selectmenu(int) selectlevel(int) createkey() setvolume(float) selectchar(string) actionperformed(actionevent) inputword() keypressed(keyevent) keyreleased(keyevent) keytyped(keyevent) limit(floatcontrol, float) outputsound() outputsound(boolean) starttimer()
1. Specification Review Class Diagram Controller GUI와 DB연동을위한사소한변경점 outputsound() method의경우핵심기능이므로문서갱신필요 Sp, requestwrodinfo(), setwordinfo() 누락 setvolume() 의매개변수변경
1. Specification Review Class Diagram Menu 구현상존재하지않음 VoiceRecog 구현상존재하지않음
1. Specification Review Class Diagram FindInitial Methods 문서 구현 selectchar() createkey(string, int) FindInitial 변경되었으나변경점불명
1. Specification Review Class Diagram WordInfo Fields 문서구현 Method 문서구현 key int key int getword() word String word String getimg() img Image getpronun() pronun DataLine phonics String phonics String def String img_path String sound_path String setkey() WordInfo Property 접근 Method들이없어짐 Image, DataLine 등을직접저장하지않고 path String만저장
1. Specification Review Sequence Diagram Critical: DB Connection Failed 에관한코드가 Controller 로돌아오지않고 DBConnect 클래스내부에서처리됨. (1-4, 1-5, 1-6) 나머지 Sequence Diagram 은 Class 구현과의차이가심해비교불가
2. Brute Force Test
2. Brute Force Test NO. Test Case Pass 비고 1 볼륨조절패널입력 T 2 볼륨조절 25패널입력 F 25/50/75/100 사운드크기의차이없음 3 볼륨조절 50패널입력 F 25/50/75/100 사운드크기의차이없음 4 볼륨조절 75패널입력 F 25/50/75/100 사운드크기의차이없음 5 볼륨조절 100패널입력 F 25/50/75/100 사운드크기의차이없음 6 볼륨조절 HOME패널입력 T 7 초성놀이패널입력 T 8 초성놀이 1번패널입력 T 초성놀이패널이동시이동이전패널한글해석출력 9 초성놀이 2번패널입력 T 초성놀이패널이동시이동이전패널한글해석출력 10 초성놀이 3번패널입력 T 초성놀이패널이동시이동이전패널한글해석출력 11 초성놀이 HOME 패널입력 T 12 초성놀이 1번알파벳 a부터z까지입력 T 13 초성놀이 2번알파벳 a부터z까지입력 T 14 초성놀이 3번알파벳 a부터z까지입력 T 15 초성놀이 1번다시듣기패널입력 T 다시듣기초기화되지않음
2. Brute Force Test NO. Test Case Pass 비고 16 초성놀이 2번다시듣기패널입력 T 다시듣기초기화되지않음 17 초성놀이 3번다시듣기패널입력 T 다시듣기초기화되지않음 18 초성놀이 1번 HOME 패널입력 T 19 초성놀이 2번 HOME 패널입력 T 20 초성놀이 3번 HOME 패널입력 T 21 단어놀이패널입력 T 22 단어놀이 1번패널입력 T 23 단어놀이 2번패널입력 T 24 단어놀이 3번패널입력 T 25 단어놀이 HOME 패널입력 T 26 단어놀이 1번정답보기패널입력 T 27 단어놀이 2번정답보기패널입력 T 28 단어놀이 3번정답보기패널입력 T 29 단어놀이 1번 HOME패널입력 T 30 단어놀이 2번 HOME패널입력 T
2. Brute Force Test NO. Test Case Pass 비고 31 단어놀이 3번 HOME패널입력 T 32 단어놀이 1번알파벳 A부터Z까지입력 T 33 단어놀이 2번알파벳 A부터Z까지입력 T 34 단어놀이 3번알파벳 A부터Z까지입력 T 35 단어놀이 1번점수화면출력 F 36 단어놀이 1번문제음성출력 T 37 단어놀이 2번점수화면출력 F 38 단어놀이 2번문제음성출력 T 39 단어놀이 3번점수화면출력 F 40 단어놀이 3번문제음성출력 T 41 발음놀이패널입력 T 처음프로그램기동시 10 문제풀이에대해서만점수출력그이후로는점수출력없음 처음프로그램기동시 10 문제풀이에대해서만점수출력그이후로는점수출력없음 처음프로그램기동시 10 문제풀이에대해서만점수출력그이후로는점수출력없음 42 발음놀이 1번패널입력 T 43 발음놀이 2번패널입력 T 44 발음놀이 3번패널입력 T 45 발음놀이 HOME 패널입력 T
2. Brute Force Test NO. Test Case Pass 비고 46 발음놀이 1번 HOME 패널입력 T 47 발음놀이 2번 HOME 패널입력 T 48 발음놀이 3번 HOME 패널입력 T 49 발음놀이 1번다시듣기패널입력 T 50 발음놀이 2번다시듣기패널입력 T 51 발음놀이 3번다시듣기패널입력 T 52 발음놀이 1번음성인식 F 무반응 53 발음놀이 2번음성인식 F 무반응 54 발음놀이 3번음성인식 F 무반응 55 발음놀이 1번결과창 F 음성인식불가로인한테스트불가 56 발음놀이 2번결과창 F 음성인식불가로인한테스트불가 57 발음놀이 3번결과창 F 음성인식불가로인한테스트불가 볼륨제어에대한방식변경으로인한 Test Case 증가 44/58 Pass
3. Category Partition Test
3. Category Partition Test 240 개의 Test Case 볼륨제어에대한방식변경으로인한 Test Case 증가 27/240 Pass
3. Category Partition Test 볼륨설정 버튼으로조절 25% 누르고홈으로간다 [property SET_VOL] [if SELECT_VOL] 50% 누르고홈으로간다 [property SET_VOL] [if SELECT_VOL] 75% 누르고홈으로간다 [property SET_VOL] [if SELECT_VOL] 100% 누르고홈으로간다 [property SET_VOL] [if SELECT_VOL] 기존 - 마우스또는키보드로조정변경 해당버튼을통해볼륨조정
3. Category Partition Test Jfeature 등록
4. Pairwise Test
4. Pairwise Test 총 33 개의 Test Case 볼륨제어방식변경으로인한 Test Case 변경 26/33 Pass
5. Static Analysis
5. Static Analysis CheckStyle Indentation 을수정한 Google Style 검사총 819 건
5. Static Analysis CheckStyle LineLengthCheck 한라인너무긴경우가있음적당히내려쓰는것이좋음 IndentationCheck Tab(8 칸 ) 으로이루어진 depth 가안맞는경우가있음 PackageNameCheck 패키지경로에대문자가들어감 VariableDeclarationUsageDistanceCheck 선언과사용의거리가너무멀음
5. Static Analysis CheckStyle WhitespaceAroundCheck, LeftCurlyCheck,RightCurlyCheck 매개변수및기타공백을넣지않아도되는곳에넣어서생기는문제블록의시작을나타내는 { 을내려써서생기는문제 AvoidStarImportCheck import package.* 에서 * 를사용하지말라고경고 MemberNameCheck _ 사용이나접두어로 2 자미만으로소문자사용 그외다수사소한문제들이검출됨 코딩스타일에따라취향이갈릴수있으므로가독성을고려하여판단 현재스타일에맞는 Rule 정의필요.
5. Static Analysis FindBugs 총 37 건, 중요함 27 건
5. Static Analysis FindBugs ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD Static으로선언된 DB, GUI 개체를 instance에서초기화 Singletone기법을사용하여전역객체관리하면좋을듯 DM_DEFAULT_ENCODING 기본인코딩을통해서 byte[] 입력을 String 으로전환 SF_SWITCH_NO_DEFAULT Switch문에서 default경우누락경우에따라무시해도될듯
5. Static Analysis FindBugs REC_CATCH_EXCEPTION Exception 개체로만예외처리 IOException 등으로예외를한정하면될듯 DLS_DEAD_LOCAL_STORE Instance 를생성했으나사용하지않음 생성하지말고선언만남기면될듯 SBSC_USE_STRINGBUFFER_CONCATENATION String 객체통해문자열확장 ex) buffer:string += apendlist[n]:string 구조상 String 은 + 연산시매번새로배열을선언하기때문에 StringBuilder 를이용하여 append 하는것이속도와메모리관리에더효과적임
5. Static Analysis PMD 총 60 건 20 건의 Method 작명규칙경고는 _ 때문에생긴것
5. Static Analysis PMD MethodNamingConventions GUI 에서 Event Listener 를추가하는 Method 이름이 addaction_<button> 과같은형태라생기는문제 _ 를제거하거나경우에해당하는모든 Method 이름에대해저렇게붙인다면묵인가능 NoPackage 시스템을구성하는 class 들이 default package 에속해있음 Default Package 를사용하는것은 Namespace 관리에바람직하지않기에리펙토링바람
5. Static Analysis PMD UnusedFormalParameter 쓰이지않는매개변수들미구현또는 Event Delegate로인한형태 UnusedImports, UnusedPrivateField 쓰지않는 Package와내부필드마찬가지로정리가필요한부분 UseStringBufferForStringAppends FindBugs 에서나타난경고와마찬가지로 StringBuilder 권유
5. Static Analysis PMD UnnecessaryCaseChange 문자열비교시 UpperCase/LowerCase 사용후비교 equalsignorecase 매소드를쓰면더빠름 PackageCase Package 이름에대문자가있다. 일반적으로대문자를적지않는다. ExcessivePublicCount, ExcessiveClassLength GUI Class 가너무크다. 리모델링권고
5. Static Analysis PMD AvoidPrintStackTrace e. printstacktrace 를통한디버깅은무책임하다. 좀더나은디버깅을위해개선할수도있다.
5. Static Analysis JDepend Default Package 는 8 개의구현된 Class 와 15 개의 Package 에종속 View Package 는 48 개의구현된 Class 와 7 개의 Package 종속, 1 개의 Package 가종속하고있다. 100% 에가까운구현과프로그램수행에직접연관.
5. Static Analysis Junit 없어서못함.
Thank you