Contents Contents 2 1 Abstract 3 2 Infer Checkers Eradicate Infer....

Size: px
Start display at page:

Download "Contents Contents 2 1 Abstract 3 2 Infer Checkers Eradicate Infer...."

Transcription

1 SV2016 정적분석보고서 라가영 서지혁 June 9,

2 Contents Contents 2 1 Abstract 3 2 Infer Checkers Eradicate Infer Tracing PMD Design Optimizations Imports Unnecessary Unused Code Strings FindBugs Results References 18 2

3 1 Abstract 이 문서는 2016년 봄 건국대학교 소프트웨어 검증[1] 과목의 과제로 작성되었다. 이 보고서에서는 소프트웨어 모델링 및 분석[2] 과목의 과제로 개발되는, 다 수의 C 프로그램을 대상으로 상호 cheating 여부를 정량적으로 판단하고, 해당 내용을 OOO 하게 알려주는 프로그램 에 대한 정적 분석을 진행한다 Infer Eradicate $ i n f e r -analyzer e r a d i c a t e -gradle j a r Running and c a p t u r i n g g r a d l e c o m p i l a t i o n... S t a r t i n g a n a l y s i s ( I n f e r v e r s i o n v ) FFFFF Analyzed 5 f i l e s Found 19 i s s u e s s r c /main/ j a v a / Analyze. j a v a : 1 6 : e r r o r : F i e l d Analyze. tempfolderpath i s not i n i t i a l i z e d i n t h e 14. A r r a y L i s t <S t r i n g > l i s t T y p e = new ArrayList () ; > p u b l i c Analyze ( A r r a y L i s t <S t r i n g > s o u r c e ) { 17. this. source = source ; 18. t h i s. l i s t T y p e. add ( v o i d ) ; 19. s r c /main/ j a v a / C a l c u l a t e. j a v a : 1 3 : e r r o r : F i e l d C a l c u l a t e. SyncRate i s not i n i t i a l i z e d i n t h e 11. A r r a y L i s t <F i l e s > f i l e s = new A r r a y L i s t ( ) ; > p u b l i c C a l c u l a t e ( A r r a y L i s t <F i l e s > f i l e s ) 14. { 15. this. f i l e s = f i l e s ; 16. s r c /main/ j a v a / C o n t r o l l e r. j a v a : 2 0 : e r r o r : ERADICATE FIELD NOT NULLABLE 3

4 F i e l d C o n t r o l l e r. filename can be n u l l but i s not d e c l a r e ( Origin : n u l l constant at l i n e 20) 18. { 19. p r i v a t e S t r i n g f o l d e r P a t h ; 20. > p r i v a t e S t r i n g filename = n u l l ; 21. p r i v a t e ArrayList<F i l e s > f i l e s = new ArrayList ( ) ; 22. ArrayList<String > source = new ArrayList ( ) ; 23. F i e l d C o n t r o l l e r. folderpath i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. pnresult i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. ct i s not i n i t i a l i z e d in the 4

5 F i e l d C o n t r o l l e r. lbchoosefile i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. l b C e n t e r C i r c l e i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. btfolder i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. pncloud i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. btstart i s not i n i t i a l i z e d in the 5

6 F i e l d C o n t r o l l e r. lblogosmall i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. p n F i l e L i s t i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. l b L i s t i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. pnmain i s not i n i t i a l i z e d in the 6

7 F i e l d C o n t r o l l e r. l t F i l e i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. lbtip i s not i n i t i a l i z e d in the F i e l d C o n t r o l l e r. lblogo i s not i n i t i a l i z e d in the s r c /main/ java / C o n t r o l l e r. java : : e r r o r : F i e l d C o n t r o l l e r $ 5. lbtemptotalsyncrate i s not i n i t i a l i z e d in the c o n s t r u c t o r and i s not d e c l a r e 389. { 390. sw = true 7

8 ; 391. > lbtempcloud. setbounds (new Random ( ). nextint (800 -(i n t ) sizetempname. getwidth ( ) ) + 100, new Random ( ). nextint (350 -(( i n t ) sizetempname. getheight ( ) + 12) ) + 70, 392. ( i n t ) sizetempname. getwidth ( ), ( i n t ) sizetempname. getheight ( ) + ( i n t ) sizetemppercent. getheight ( ) + 3) ; Summary o f the r e p o r t s : 18 ERADICATE FIELD NOT NULLABLE: Infer $ i n f e r -analyzer i n f e r -gradle j a r Running and capturing g r a d l e compilation... S t a r t i n g a n a l y s i s ( I n f e r v e r s i o n v ) FF.. FF. F Analyzed 5 f i l e s Found 1 i s s u e s r c /main/ java / C o n t r o l l e r. java : 4 8 : e r r o r : NULL DEREFERENCE o b j e c t f i l e L i s t l a s t a s s i g n e d on l i n e 46 could be n u l l and i s d e r e f e r e n c e d at l i n e F i l e [ ] f i l e L i s t = d i r. l i s t F i l e s ( ) ; > f o r ( F i l e f : f i l e L i s t ) 49. { 50. i f (! f. ishidden ( ) && f. getname ( ). endswith (. c ) ) 51. Summary o f the r e p o r t s NULL DEREFERENCE: Tracing 8

9 $ i n f e r -analyzer t r a c i n g -gradle j a r Running and capturing g r a d l e compilation... S t a r t i n g a n a l y s i s ( I n f e r v e r s i o n v ) FFFF.. F Analyzed 5 f i l e s Found 3 i s s u e s s r c /main/ java / C a l c u l a t e. java : 2 4 : warning : PRECONDITION NOT MET in c a l l to c a l L i n e ( ) at l i n e f o r ( filenum =0; filenum<t h i s. numoffile ; filenum++) 23. { 24. > c a l L i n e ( ) ; 25. calfunction ( ) ; 26. c a l V a r i a b l e ( ) ; 27. s r c /main/ java / C o n t r o l l e r. java : 4 8 : e r r o r : NULL DEREFERENCE o b j e c t f i l e L i s t l a s t a s s i g n e d on l i n e 46 could be n u l l and i s d e r e f e r e n c e d at l i n e F i l e [ ] f i l e L i s t = d i r. l i s t F i l e s ( ) ; > f o r ( F i l e f : f i l e L i s t ) 49. { 50. i f (! f. ishidden ( ) && f. getname ( ). endswith (. c ) ) 51. s r c /main/ java / C o n t r o l l e r. java : : warning : PRECONDITION NOT MET in c a l l to gettotalsync (... ) at l i n e f i n a l JLabel lbtempcloud = lbcloud. get ( i ) ; > i f ( i!= pointernum && ( i n t ) c a l. gettotalsync ( i ) > 52) { 367. temp = + f i l e s. get ( i ). getname ( ) ; 368. f i n a l JLabel lbtempname = new JLabel ( temp. s u b s t r i n g ( 0, 9) ) ; 369. I 9

10 Summary o f the r e p o r t s PRECONDITION NOT MET: 2 NULL DEREFERENCE: 1 3 PMD 3.1 Design $ pmd pmd -dir s r c /main/ java / -R java -design Analyze. java : 1 : P o s s i b l e God c l a s s (WMC=66, ATFD=19, TCC = ) Analyze. java : 6 2 : Deeply nested i f.. then statements are hard to read C a l c u l a t e. java : 1 0 : Perhaps numoffile could be r e p l a c e d by a l o c a l v a r i a b l e. C o n t r o l l e r. java : 1 : P o s s i b l e God c l a s s (WMC=63, ATFD =204, TCC= ) C o n t r o l l e r. java : 2 1 : Private f i e l d f i l e s could be made f i n a l ; i t i s only i n i t i a l i z e d in the d e c l a r a t i o n or c o n s t r u c t o r. C o n t r o l l e r. java : 4 0 : Overridable method DisplayMain c a l l e d during o b j e c t c o n s t r u c t i o n C o n t r o l l e r. java : 9 9 : Avoid unnecessary comparisons in boolean e x p r e s s i o n s C o n t r o l l e r. java : : Avoid unnecessary comparisons in boolean e x p r e s s i o n s C o n t r o l l e r. java : : New e x c e p t i o n i s thrown in catch block, o r i g i n a l stack t r a c e may be l o s t C o n t r o l l e r. java : : New e x c e p t i o n i s thrown in catch block, o r i g i n a l stack t r a c e may be l o s t C o n t r o l l e r. java : : New e x c e p t i o n i s thrown in catch block, o r i g i n a l stack t r a c e may be l o s t C o n t r o l l e r. java : : New e x c e p t i o n i s thrown in catch block, o r i g i n a l stack t r a c e may be l o s t C o n t r o l l e r. java : : Avoid unnecessary comparisons in boolean e x p r e s s i o n s C o n t r o l l e r. java : : Avoid unnecessary comparisons in boolean e x p r e s s i o n s C o n t r o l l e r. java : : Avoid unnecessary comparisons in boolean e x p r e s s i o n s C o n t r o l l e r. java : : Avoid unnecessary comparisons in boolean e x p r e s s i o n s C o n t r o l l e r. java : : Avoid unnecessary comparisons in boolean e x p r e s s i o n s 10

11 C o n t r o l l e r. java : : Avoid r e a s s i g n i n g parameters such a s lbtemptotalsyncrate C o n t r o l l e r. java : : Consider using varargs f o r methods or c o n s t r u c t o r s which take an array the l a s t parameter. Main. java : 2 : All methods are s t a t i c. Consider using a u t i l i t y c l a s s i n s t e a d. A l t e r n a t i v e l y, you could add a p r i v a t e c o n s t r u c t o r or make the c l a s s a b s t r a c t to s i l e n c e t h i s warning. Main. java : 4 : Consider using varargs f o r methods or c o n s t r u c t o r s which take an array the l a s t parameter. 3.2 Optimizations $ pmd pmd -dir s r c /main/ java / -R java -optimizations Analyze. java : 6 : Avoid using redundant f i e l d i n i t i a l i z e r f o r numofline Analyze. java : 7 : Avoid using redundant f i e l d i n i t i a l i z e r f o r numoffunction Analyze. java : 8 : Avoid using redundant f i e l d i n i t i a l i z e r f o r numofvariable Analyze. java : 9 : Avoid using redundant f i e l d i n i t i a l i z e r f o r numofpreprocessor Analyze. java : 1 0 : Avoid using redundant f i e l d i n i t i a l i z e r f o r numofannotation Analyze. java : 1 6 : Parameter source i s not Analyze. java : 2 8 : Parameter f i l e i s not a s s i g n e d and C a l c u l a t e. java : 8 : Avoid using redundant f i e l d i n i t i a l i z e r f o r centernum C a l c u l a t e. java : 9 : Avoid using redundant f i e l d i n i t i a l i z e r f o r filenum C a l c u l a t e. java : 1 0 : Avoid using redundant f i e l d i n i t i a l i z e r f o r numoffile C a l c u l a t e. java : 1 3 : Parameter f i l e s i s not a s s i g n e d and C a l c u l a t e. java : 8 5 : Avoid i n s t a n t i a t i n g new o b j e c t s C a l c u l a t e. java : 8 5 : Local v a r i a b l e str1 could be C a l c u l a t e. java : 8 9 : Avoid i n s t a n t i a t i n g new o b j e c t s C a l c u l a t e. java : 8 9 : Local v a r i a b l e str2 could be C a l c u l a t e. java : : Avoid i n s t a n t i a t i n g new o b j e c t s 11

12 C a l c u l a t e. java : : Local v a r i a b l e str1 could be C a l c u l a t e. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C a l c u l a t e. java : : Local v a r i a b l e str2 could be C a l c u l a t e. java : : Local v a r i a b l e PreDiff could be C a l c u l a t e. java : : Local v a r i a b l e PreDiff1 could be C a l c u l a t e. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C a l c u l a t e. java : : Local v a r i a b l e str1 could be C a l c u l a t e. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C a l c u l a t e. java : : Local v a r i a b l e str2 could be C a l c u l a t e. java : : Parameter pointernum i s not C a l c u l a t e. java : : Parameter pointernum i s not C a l c u l a t e. java : : Parameter pointernum i s not C a l c u l a t e. java : : Parameter pointernum i s not C a l c u l a t e. java : : Parameter pointernum i s not C a l c u l a t e. java : : Parameter pointernum i s not C a l c u l a t e. java : : Parameter pointernum i s not C o n t r o l l e r. java : 2 0 : Avoid using redundant f i e l d i n i t i a l i z e r f o r filename C o n t r o l l e r. java : 2 3 : Avoid using redundant f i e l d i n i t i a l i z e r f o r pointernum C o n t r o l l e r. java : 2 4 : Avoid using redundant f i e l d i n i t i a l i z e r f o r filenum C o n t r o l l e r. java : 2 5 : Avoid using redundant f i e l d i n i t i a l i z e r f o r numoffile C o n t r o l l e r. java : 4 5 : Local v a r i a b l e dir could be C o n t r o l l e r. java : 4 6 : Local v a r i a b l e f i l e L i s t could be C o n t r o l l e r. java : 4 8 : Local v a r i a b l e f could be 12

13 C o n t r o l l e r. java : 8 0 : Local v a r i a b l e f could be C o n t r o l l e r. java : 8 5 : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : 8 5 : Local v a r i a b l e f i l e could be C o n t r o l l e r. java : 9 7 : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : 9 7 : Local v a r i a b l e br could be C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Local v a r i a b l e analyze could be C o n t r o l l e r. java : : Local v a r i a b l e alfolder could be C o n t r o l l e r. java : : Parameter e i s not a s s i g n e d and C o n t r o l l e r. java : : Local v a r i a b l e a l S t a r t could be C o n t r o l l e r. java : : Parameter e i s not a s s i g n e d and C o n t r o l l e r. java : : Do not add empty s t r i n g s C o n t r o l l e r. java : : Local v a r i a b l e f i l e L i s t could be C o n t r o l l e r. java : : Local v a r i a b l e temp could be C o n t r o l l e r. java : : Local v a r i a b l e renderer could be C o n t r o l l e r. java : : Local v a r i a b l e mlfile could be C o n t r o l l e r. java : : Parameter e i s not a s s i g n e d and C o n t r o l l e r. java : : Local v a r i a b l e k l F i l e could be C o n t r o l l e r. java : : Parameter e i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter temppointernum i s not C o n t r o l l e r. java : : Do not add empty s t r i n g s C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Do not add empty s t r i n g s C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s 13

14 C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Local v a r i a b l e lbtemppercent C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Local v a r i a b l e sizetempname C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Local v a r i a b l e sizetemppercent C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Local v a r i a b l e lbanothercloud C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Local v a r i a b l e mltempname could be C o n t r o l l e r. java : : Parameter e i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter e i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter e i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter cal i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter lbtempsync i s not C o n t r o l l e r. java : : Parameter pointernum i s not C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Avoid i n s t a n t i a t i n g new o b j e c t s C o n t r o l l e r. java : : Parameter lbtempa i s not 14

15 C o n t r o l l e r. java : : Parameter lbtempb i s not C o n t r o l l e r. java : : Local v a r i a b l e lbtempc could be C o n t r o l l e r. java : : Local v a r i a b l e areaa could be C o n t r o l l e r. java : : Local v a r i a b l e areab could be C o n t r o l l e r. java : : Parameter c i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter g i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter c i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter g i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter height i s not C o n t r o l l e r. java : : Parameter width i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter x i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter y i s not a s s i g n e d and C o n t r o l l e r. java : : Local v a r i a b l e g2d could be C o n t r o l l e r. java : : Parameter c i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter c i s not a s s i g n e d and C o n t r o l l e r. java : : Parameter i n s e t s i s not F i l e s. java : 1 5 : Parameter filename i s not a s s i g n e d and F i l e s. java : 5 7 : Parameter tempname i s not a s s i g n e d and F i l e s. java : 6 1 : Parameter tempnumofline i s not a s s i g n e d and F i l e s. java : 6 5 : Parameter tempnumoffunction i s not F i l e s. java : 6 9 : Parameter tempnumofvariable i s not F i l e s. java : 7 3 : Parameter tempnumofpreprocessor i s not F i l e s. java : 7 7 : Parameter tempnumofannotation i s not 15

16 F i l e s. java : 8 1 : Parameter tempfunctionname i s not F i l e s. java : 8 5 : Parameter tempvariablename i s not F i l e s. java : 8 9 : Parameter temppreprocessorname i s not Main. java : 4 : Parameter args i s not a s s i g n e d and 3.3 Imports $ pmd pmd -dir s r c /main/ java / -R java -imports C o n t r o l l e r. java : 7 : Avoid d u p l i c a t e imports such as java. i o. BufferedReader C o n t r o l l e r. java : 8 : Avoid d u p l i c a t e imports such as java. i o. F ile C o n t r o l l e r. java : 9 : Avoid d u p l i c a t e imports such as java. i o. FileNotFoundException C o n t r o l l e r. java : 1 0 : Avoid d u p l i c a t e imports such as java. i o. FileReader C o n t r o l l e r. java : 1 1 : Avoid d u p l i c a t e imports such as java. i o. IOException C o n t r o l l e r. java : 1 2 : Avoid importing anything from the package java. lang C o n t r o l l e r. java : : Unnecessary use o f f u l l y q u a l i f i e d name java. i o. File due to e x i s t i n g import java. i o. 3.4 Unnecessary $ pmd pmd -dir s r c /main/ java / -R java -unnecessary Analyze. java : 8 4 : U s e l e s s p a r e n t h e s e s. C a l c u l a t e. java : : U s e l e s s p a r e n t h e s e s. C a l c u l a t e. java : : U s e l e s s p a r e n t h e s e s. C a l c u l a t e. java : : U s e l e s s p a r e n t h e s e s. C a l c u l a t e. java : : U s e l e s s p a r e n t h e s e s. C a l c u l a t e. java : : U s e l e s s p a r e n t h e s e s. C a l c u l a t e. java : : U s e l e s s p a r e n t h e s e s. C o n t r o l l e r. java : : U s e l e s s p a r e n t h e s e s. C o n t r o l l e r. java : : U s e l e s s p a r e n t h e s e s. C o n t r o l l e r. java : : U s e l e s s p a r e n t h e s e s. C o n t r o l l e r. java : : U s e l e s s p a r e n t h e s e s. 3.5 Unused Code $ pmd pmd -dir s r c /main/ java / -R java -unusedcode 16

17 C a l c u l a t e. java : : Avoid unused l o c a l v a r i a b l e s such as PreDiff. C a l c u l a t e. java : : Avoid unused l o c a l v a r i a b l e s such as PreDiff Strings $ pmd pmd -dir s r c /main/ java / -R java -strings Analyze. java : 8 4 : S t r i n g. indexof ( char ) i s f a s t e r than S t r i n g. indexof ( S t r i n g ). Analyze. java : 8 5 : S t r i n g. indexof ( char ) i s f a s t e r than S t r i n g. indexof ( S t r i n g ). Analyze. java : : S t r i n g. indexof ( char ) i s f a s t e r than S t r i n g. indexof ( S t r i n g ). Analyze. java : : S t r i n g. indexof ( char ) i s f a s t e r than S t r i n g. indexof ( S t r i n g ). Analyze. java : : S t r i n g. indexof ( char ) i s f a s t e r than S t r i n g. indexof ( S t r i n g ). Analyze. java : : The S t r i n g l i t e r a l s t r u c t appears 5 times in t h i s f i l e ; the f i r s t o c c u rrence i s on l i n e 256 C o n t r o l l e r. java : : The S t r i n g l i t e r a l Malgun Gothic appears 8 times in t h i s f i l e ; the f i r s t o ccurrence i s on l i n e 143 C o n t r o l l e r. java : : S t r i n g. indexof ( char ) i s f a s t e r than S t r i n g. indexof ( S t r i n g ). C o n t r o l l e r. java : : Use e q u a l s ( ) to compare s t r i n g s i n s t e a d o f == or!= C o n t r o l l e r. java : : Use e q u a l s ( ) to compare s t r i n g s i n s t e a d o f == or!= C o n t r o l l e r. java : : Use e q u a l s ( ) to compare s t r i n g s i n s t e a d o f == or!= 4 FindBugs 4.1 Results $ findbugs -textui b u i l d / l i b s / c l o n e -checker. j a r M P Dm: C a l c u l a t e. calfunction ( ) invokes i n e f f i c i e n t new S t r i n g ( S t r i n g ) c o n s t r u c t o r At C a l c u l a t e. java : [ l i n e 8 5 ] M P Dm: C a l c u l a t e. c a l V a r i a b l e ( ) invokes i n e f f i c i e n t new S t r i n g ( S t r i n g ) c o n s t r u c t o r At C a l c u l a t e. java : [ l i n e 147] M P Dm: C a l c u l a t e. c a l P r e p r o c e s s o r ( ) invokes i n e f f i c i e n t new S t r i n g ( S t r i n g ) c o n s t r u c t o r At C a l c u l a t e. java : [ 17

18 l i n e 221] M D NP: P o s s i b l e n u l l p o i n t e r d e r e f e r e n c e in C o n t r o l l e r. mkfileinstance ( ) due to return value o f c a l l e d method Dereferenced at C o n t r o l l e r. java : [ l i n e 4 8 ] M B Nm: The method name C o n t r o l l e r. DisplayMain ( ) doesn t s t a r t with a lower case l e t t e r At C o n t r o l l e r. java : [ l i n e s ] M B Nm: The method name C o n t r o l l e r. DisplayResult ( ) doesn t s t a r t with a lower case l e t t e r At C o n t r o l l e r. java : [ l i n e s ] H I Dm: Found r e l i a n c e on d e f a u l t encoding in C o n t r o l l e r. mkfileinstance ( ) : new java. i o. FileReader ( S t r i n g ) At C o n t r o l l e r. java : [ l i n e 9 7 ] M C UwF: Unwritten f i e l d : C o n t r o l l e r $ 5. lbtemptotalsyncrate At C o n t r o l l e r. java : [ l i n e 437] M P SIC : Should Controller$RoundedBorder be a s t a t i c i n n e r c l a s s? At C o n t r o l l e r. java : [ l i n e s ] M P UuF: Unused f i e l d : Analyze. tempfolderpath In Analyze. java Warnings generated : 10 References [1] Junbeom Yoo, Eui-Sub Kim, Software Verification Introduction to Software Testing & Static Analysis, 16SV/16SV.htm, [2] Junbeom Yoo, Sejin Jung, Software Modeling & Analysis, konkuk.ac.kr/class/2016/16sma/16sma.htm, [3] Junbeom Yoo, Jaeyoeb Kim, Programming Project, ac.kr/class/2016/16pp/16pp.htm, [4] Facebook, Infer, [5] PMD, PMD, [6] Bill Pugh, Andrey Loskutov, FindBugs, net,

rmi_박준용_final.PDF

rmi_박준용_final.PDF (RMI) - JSTORM http://wwwjstormpekr (RMI)- Document title: Document file name: Revision number: Issued by: Document Information (RMI)- rmi finaldoc Issue Date: Status:

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 @ Lesson 2... ( ). ( ). @ vs. logic data method variable behavior attribute method field Flow (Type), ( ) member @ () : C program Method A ( ) Method B ( ) Method C () program : Java, C++, C# data @ Program

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 @ Lesson 3 if, if else, if else if, switch case for, while, do while break, continue : System.in, args, JOptionPane for (,, ) @ vs. logic data method variable Data Data Flow (Type), ( ) @ Member field

More information

12-file.key

12-file.key 11 (String).. java.lang.stringbuffer. s String s = "abcd"; s = s + "e"; a b c d e a b c d e ,., "910359,, " "910359" " " " " (token) (token),, (delimiter). java.util.stringtokenizer String s = "910359,,

More information

Microsoft PowerPoint - java1-lab5-ImageProcessorTestOOP.pptx

Microsoft PowerPoint - java1-lab5-ImageProcessorTestOOP.pptx 2018 학년도 1 학기 JAVA 프로그래밍 II 514760-1 2018 년봄학기 5/10/2018 박경신 Lab#1 (ImageTest) Lab#1 은영상파일 (Image) 을읽어서정보를출력 Java Tutorials Lesson: Working with Images https://docs.oracle.com/javase/tutorial/2d/images/index.html

More information

intro

intro Contents Introduction Contents Contents / Contents / Contents / Contents / 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57

More information

02 C h a p t e r Java

02 C h a p t e r Java 02 C h a p t e r Java Bioinformatics in J a va,, 2 1,,,, C++, Python, (Java),,, (http://wwwbiojavaorg),, 13, 3D GUI,,, (Java programming language) (Sun Microsystems) 1995 1990 (green project) TV 22 CHAPTER

More information

Secure Programming Lecture1 : Introduction

Secure Programming Lecture1 : Introduction Malware and Vulnerability Analysis Lecture3-2 Malware Analysis #3-2 Agenda 안드로이드악성코드분석 악성코드분석 안드로이드악성코드정적분석 APK 추출 #1 adb 명령 안드로이드에설치된패키지리스트추출 adb shell pm list packages v0nui-macbook-pro-2:lecture3 v0n$

More information

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for 2003 Development of the Software Generation Method using Model Driven Software Engineering Tool,,,,, Hoon-Seon Chang, Jae-Cheon Jung, Jae-Hack Kim Hee-Hwan Han, Do-Yeon Kim, Young-Woo Chang Wang Sik, Moon

More information

C# Programming Guide - Types

C# Programming Guide - Types C# Programming Guide - Types 최도경 lifeisforu@wemade.com 이문서는 MSDN 의 Types 를요약하고보충한것입니다. http://msdn.microsoft.com/enus/library/ms173104(v=vs.100).aspx Types, Variables, and Values C# 은 type 에민감한언어이다. 모든

More information

Contents. 1. PMD ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 2. Metrics ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 3. FindBugs ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 4. ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ

Contents. 1. PMD ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 2. Metrics ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 3. FindBugs ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 4. ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 정적분석서 - 영단어수집왕 - Team.# 3 과목명 소프트웨어모델링및분석 담당교수 유준범교수님 201011320 김용현 팀원 201111360 손준익 201111347 김태호 제출일자 2015-06-09 1 Contents. 1. PMD ㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍㆍ 2. Metrics

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 @ Lesson 4 (Object) (Class) (Instance) (Method) (Constructor) Memory 1 UML 1 @ & 1 (Real World) (Software World) @ &.. () () @ & 2 (Real World) (Software World) OOA/ Modeling Abstraction Instantiation

More information

07 자바의 다양한 클래스.key

07 자바의 다양한 클래스.key [ 07 ] . java.lang Object, Math, String, StringBuffer Byte, Short, Integer, Long, Float, Double, Boolean, Character. java.util Random, StringTokenizer Calendar, GregorianCalendar, Date. Collection, List,

More information

비긴쿡-자바 00앞부속

비긴쿡-자바 00앞부속 IT COOKBOOK 14 Java P r e f a c e Stay HungryStay Foolish 3D 15 C 3 16 Stay HungryStay Foolish CEO 2005 L e c t u r e S c h e d u l e 1 14 PPT API C A b o u t T h i s B o o k IT CookBook for Beginner Chapter

More information

1

1 1 1....6 1.1...6 2. Java Architecture...7 2.1 2SDK(Software Development Kit)...8 2.2 JRE(Java Runtime Environment)...9 2.3 (Java Virtual Machine, JVM)...10 2.4 JVM...11 2.5 (runtime)jvm...12 2.5.1 2.5.2

More information

4. #include <stdio.h> #include <stdlib.h> int main() { functiona(); } void functiona() { printf("hihi\n"); } warning: conflicting types for functiona

4. #include <stdio.h> #include <stdlib.h> int main() { functiona(); } void functiona() { printf(hihi\n); } warning: conflicting types for functiona 이름 : 학번 : A. True or False: 각각항목마다 True 인지 False 인지적으세요. 1. (Python:) randint 함수를사용하려면, random 모듈을 import 해야한다. 2. (Python:) '' (single quote) 는한글자를표현할때, (double quote) 는문자열을표현할때사용한다. B. 다음에러를수정하는방법을적으세요.

More information

untitled

untitled - -, (insert) (delete) - - (insert) (delete) (top ) - - (insert) (rear) (delete) (front) A A B top A B C top push(a) push(b) push(c) A B top pop() top A B D push(d) top #define MAX_STACK_SIZE 100 int

More information

TLD 83È£ ÃÖÁ¾

TLD 83È£ ÃÖÁ¾ Catch the Trends, Get the Chances. Contents 01 03 03 04 05 06 06 07 07 08 http://www.europa.eu.int Tip http://www.business-i.jp http://www.chinainfo.gov.cn http://www.mext.go.jp Invest in Germany Tip http://www.stcsm.gov.cn

More information

05-class.key

05-class.key 5 : 2 (method) (public) (private) (interface) 5.1 (Method), (public method) (private method) (constructor), 3 4 5.2 (client). (receiver)., System.out.println("Hello"); (client object) (receiver object)

More information

MasoJava4_Dongbin.PDF

MasoJava4_Dongbin.PDF JSTORM http://wwwjstormpekr Issued by: < > Revision: Document Information Document title: Document file name: MasoJava4_Dongbindoc Revision number: Issued by: < > SI, dbin@handysoftcokr

More information

Modern Javascript

Modern Javascript ES6 - Arrow Function Class Template String Destructuring Default, Rest, Spread let, const for..of Promises Module System Map, Set * Generator * Symbol * * https://babeljs.io/ Babel is a JavaScript compiler.

More information

,.,..,....,, Abstract The importance of integrated design which tries to i

,.,..,....,, Abstract The importance of integrated design which tries to i - - The Brand Touchpoint Analysis through Corporate Identity Typeface of Mobile Telecommunication Companies - Focusing on and - : Lee, Ka Young Dept. Lifestyle Design, Dankook University : Kim, Ji In Dept.

More information

MPLAB C18 C

MPLAB C18 C MPLAB C18 C MPLAB C18 MPLAB C18 C MPLAB C18 C #define START, c:\mcc18 errorlevel{0 1} char isascii(char ch); list[list_optioin,list_option] OK, Cancel , MPLAB IDE User s Guide MPLAB C18 C

More information

Development of culture technic for practical cultivation under structure in Gastrodia elate Blume

Development of culture technic for practical cultivation under structure in Gastrodia elate Blume Development of culture technic for practical cultivation under structure in Gastrodia elate Blume 1996. : 1. 8 2. 1 1998. 12. : : ( ) : . 1998. 12 : : : : : : : : : : - 1 - .. 1.... 2.. 3.... 1..,,.,,

More information

ilist.add(new Integer(1))과 같이 사용하지 않고 ilist.add(1)과 같이 사용한 것은 자바 5.0에 추가된 기본 자료형과 해당 객체 자료 형과의 오토박싱/언박싱 기능을 사용한 것으로 오토박싱이란 자바 컴파일러가 객체를 요구하는 곳에 기본 자료형

ilist.add(new Integer(1))과 같이 사용하지 않고 ilist.add(1)과 같이 사용한 것은 자바 5.0에 추가된 기본 자료형과 해당 객체 자료 형과의 오토박싱/언박싱 기능을 사용한 것으로 오토박싱이란 자바 컴파일러가 객체를 요구하는 곳에 기본 자료형 바에 제네릭스(generics)를 도입하기 위한 연구는 이미 8년 전인 1996년부터라고 한다. 실제로 자바에 제네릭스를 도입하 는 몇 가지 방안들이 논문으로 나오기 시작한 것이 1998년 초임을 감 안하면 무려 8년이 지난 후에야 자바 5.0에 전격 채택되었다는 것은 이것이 얼마나 어려운 일이었나 하는 것을 보여준다. 자바의 스펙을 결정하는 표준화 절차인

More information

(8) getpi() 함수는정적함수이므로 main() 에서호출할수있다. (9) class Circle private double radius; static final double PI= ; // PI 이름으로 로초기화된정적상수 public

(8) getpi() 함수는정적함수이므로 main() 에서호출할수있다. (9) class Circle private double radius; static final double PI= ; // PI 이름으로 로초기화된정적상수 public Chapter 9 Lab 문제정답 1. public class Circle private double radius; static final double PI=3.141592; // PI 이름으로 3.141592 로초기화된정적상수 (1) public Circle(double r) radius = r; (2) public double getradius() return

More information

11¹Ú´ö±Ô

11¹Ú´ö±Ô A Review on Promotion of Storytelling Local Cultures - 265 - 2-266 - 3-267 - 4-268 - 5-269 - 6 7-270 - 7-271 - 8-272 - 9-273 - 10-274 - 11-275 - 12-276 - 13-277 - 14-278 - 15-279 - 16 7-280 - 17-281 -

More information

교육2 ? 그림

교육2 ? 그림 Interstage 5 Apworks EJB Application Internet Revision History Edition Date Author Reviewed by Remarks 1 2002/10/11 2 2003/05/19 3 2003/06/18 EJB 4 2003/09/25 Apworks5.1 [ Stateless Session Bean ] ApworksJava,

More information

SW Verification

SW Verification SW Verification 201211387 하헌규 201211337 김재현 201211354 성현구 201211369 이병찬 목차 Specification Review (2nd) System Test (2nd) Brute Force Test Category Partitioning Test Pairwise Combination Test Result & CTIP

More information

Software Verification

Software Verification System testing & Static Analysis 2nd Report Team #1 200711460 이상열 200711470 정재호 201111344 김재엽 201211350 박주광 Contests 1. System Testing 2. Static Analysis I. Eclipse TPTP II. Sonar A. Introduction B. Sonar

More information

Java

Java Java http://cafedaumnet/pway Chapter 1 1 public static String format4(int targetnum){ String strnum = new String(IntegertoString(targetNum)); StringBuffer resultstr = new StringBuffer(); for(int i = strnumlength();

More information

슬라이드 1

슬라이드 1 Software Verification #3 정적분석도구, 단위 / 시스템테스트도구 Software Verification Team 4 강 정 모 송 상 연 신 승 화 1 Software Verification #3 정적분석도구, 단위 / 시스템테스트도구 CONTENTS 01 Overall Structure 02 Static analyzer SonarQube

More information

01-OOPConcepts(2).PDF

01-OOPConcepts(2).PDF Object-Oriented Programming Concepts Tel: 02-824-5768 E-mail: hhcho@selabsoongsilackr? OOP (Object) (Encapsulation) (Message) (Class) (Inheritance) (Polymorphism) (Abstract Class) (Interface) 2 1 + = (Dependency)

More information

신림프로그래머_클린코드.key

신림프로그래머_클린코드.key CLEAN CODE 6 11st Front Dev. Team 6 1. 2. 3. checked exception 4. 5. 6. 11 : 2 4 : java (50%), javascript (35%), SQL/PL-SQL (15%) : Spring, ibatis, Oracle, jquery ? , (, ) ( ) 클린코드를 무시한다면 . 6 1. ,,,!

More information

DE1-SoC Board

DE1-SoC Board 실습 1 개발환경 DE1-SoC Board Design Tools - Installation Download & Install Quartus Prime Lite Edition http://www.altera.com/ Quartus Prime (includes Nios II EDS) Nios II Embedded Design Suite (EDS) is automatically

More information

Microsoft PowerPoint - 14주차 강의자료

Microsoft PowerPoint - 14주차 강의자료 Java 로만드는 Monster 잡기게임예제이해 2014. 12. 2 게임화면및게임방법 기사초기위치 : (0,0) 아이템 10 개랜덤생성 몬스터 10 놈랜덤생성 Frame 하단에기사위치와기사파워출력방향키로기사이동아이템과몬스터는고정종료버튼클릭하면종료 Project 구성 GameMain.java GUI 환경설정, Main Method 게임객체램덤위치에생성 Event

More information

DocsPin_Korean.pages

DocsPin_Korean.pages Unity Localize Script Service, Page 1 Unity Localize Script Service Introduction Application Game. Unity. Google Drive Unity.. Application Game. -? ( ) -? -?.. 준비사항 Google Drive. Google Drive.,.. - Google

More information

I T C o t e n s P r o v i d e r h t t p : / / w w w. h a n b i t b o o k. c o. k r

I T C o t e n s P r o v i d e r h t t p : / / w w w. h a n b i t b o o k. c o. k r I T C o t e n s P r o v i d e r h t t p : / / w w w. h a n b i t b o o k. c o. k r I T C o t e n s P r o v i d e r h t t p : / / w w w. h a n b i t b o o k. c o. k r Jakarta is a Project of the Apache

More information

THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. vol. 29, no. 10, Oct ,,. 0.5 %.., cm mm FR4 (ε r =4.4)

THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. vol. 29, no. 10, Oct ,,. 0.5 %.., cm mm FR4 (ε r =4.4) THE JOURNAL OF KOREAN INSTITUTE OF ELECTROMAGNETIC ENGINEERING AND SCIENCE. 2018 Oct.; 29(10), 799 804. http://dx.doi.org/10.5515/kjkiees.2018.29.10.799 ISSN 1226-3133 (Print) ISSN 2288-226X (Online) Method

More information

자바 프로그래밍

자바 프로그래밍 5 (kkman@mail.sangji.ac.kr) (Class), (template) (Object) public, final, abstract [modifier] class ClassName { // // (, ) Class Circle { int radius, color ; int x, y ; float getarea() { return 3.14159

More information

Microsoft PowerPoint - 04-UDP Programming.ppt

Microsoft PowerPoint - 04-UDP Programming.ppt Chapter 4. UDP Dongwon Jeong djeong@kunsan.ac.kr http://ist.kunsan.ac.kr/ Dept. of Informatics & Statistics 목차 UDP 1 1 UDP 개념 자바 UDP 프로그램작성 클라이언트와서버모두 DatagramSocket 클래스로생성 상호간통신은 DatagramPacket 클래스를이용하여

More information

Mobile Service > IAP > Android SDK [ ] IAP SDK TOAST SDK. IAP SDK. Android Studio IDE Android SDK Version (API Level 10). Name Reference V

Mobile Service > IAP > Android SDK [ ] IAP SDK TOAST SDK. IAP SDK. Android Studio IDE Android SDK Version (API Level 10). Name Reference V Mobile Service > IAP > Android SDK IAP SDK TOAST SDK. IAP SDK. Android Studio IDE 2.3.3 Android SDK Version 2.3.3 (API Level 10). Name Reference Version License okhttp http://square.github.io/okhttp/ 1.5.4

More information

FileMaker ODBC and JDBC Guide

FileMaker ODBC and JDBC Guide FileMaker 13 5 5 5 6 6 6 7 7 8 8 8 8 9 9 10 10 11 11 12 12 12 12 12 12 13 13 14 14 16 16 18 4 19 19 20 20 21 21 21 23 23 23 23 25 26 26 26 26 27 28 28 28 28 29 31 31 32 33 33 33 33 34 34 35 35 35 36 1

More information

11 템플릿적용 - Java Program Performance Tuning (김명호기술이사)

11 템플릿적용 - Java Program Performance Tuning (김명호기술이사) Java Program Performance Tuning ( ) n (Primes0) static List primes(int n) { List primes = new ArrayList(n); outer: for (int candidate = 2; n > 0; candidate++) { Iterator iter = primes.iterator(); while

More information

#KLZ-371(PB)

#KLZ-371(PB) PARTS BOOK KLZ-371 INFORMATION A. Parts Book Structure of Part Book Unique code by mechanism Unique name by mechanism Explode view Ref. No. : Unique identifcation number by part Parts No. : Unique Product

More information

09김정식.PDF

09김정식.PDF 00-09 2000. 12 ,,,,.,.,.,,,,,,.,,..... . 1 1 7 2 9 1. 9 2. 13 3. 14 3 16 1. 16 2. 21 3. 39 4 43 1. 43 2. 52 3. 56 4. 66 5. 74 5 78 1. 78 2. 80 3. 86 6 88 90 Ex e cu t iv e Su m m a r y 92 < 3-1> 22 < 3-2>

More information

5장.key

5장.key JAVA Programming 1 (inheritance) 2!,!! 4 3 4!!!! 5 public class Person {... public class Student extends Person { // Person Student... public class StudentWorker extends Student { // Student StudentWorker...!

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 @ Lesson 1,..... @ 1 Green Project 1991 Oak Java 1995. 5 December '90 by Patrick Naughton, Mike Sheridan and James Gosling Embedded in various consumer electronic device 1992. 9. 3 Star 7 1993 www portability

More information

006- 5¿ùc03ÖÁ¾T300çÃâ

006- 5¿ùc03ÖÁ¾T300çÃâ 264 266 268 274 275 277 279 281 282 288 290 293 294 296 297 298 299 302 303 308 311 5 312 314 315 317 319 321 322 324 326 328 329 330 331 332 334 336 337 340 342 344 347 348 350 351 354 356 _ May 1 264

More information

Interstage5 SOAP서비스 설정 가이드

Interstage5 SOAP서비스 설정 가이드 Interstage 5 Application Server ( Solaris ) SOAP Service Internet Sample Test SOAP Server Application SOAP Client Application CORBA/SOAP Server Gateway CORBA/SOAP Gateway Client INTERSTAGE SOAP Service

More information

ch09

ch09 9 Chapter CHAPTER GOALS B I G J A V A 436 CHAPTER CONTENTS 9.1 436 Syntax 9.1 441 Syntax 9.2 442 Common Error 9.1 442 9.2 443 Syntax 9.3 445 Advanced Topic 9.1 445 9.3 446 9.4 448 Syntax 9.4 454 Advanced

More information

03장.스택.key

03장.스택.key ---------------- DATA STRUCTURES USING C ---------------- 03CHAPTER 1 ? (stack): (LIFO:Last-In First-Out) 2 : top : ( index -1 ),,, 3 : ( ) ( ) -> ->. ->.... 4 Stack ADT : (LIFO) : init():. is_empty():

More information

PJTROHMPCJPS.hwp

PJTROHMPCJPS.hwp 제 출 문 농림수산식품부장관 귀하 본 보고서를 트위스트 휠 방식 폐비닐 수거기 개발 과제의 최종보고서로 제출 합니다. 2008년 4월 24일 주관연구기관명: 경 북 대 학 교 총괄연구책임자: 김 태 욱 연 구 원: 조 창 래 연 구 원: 배 석 경 연 구 원: 김 승 현 연 구 원: 신 동 호 연 구 원: 유 기 형 위탁연구기관명: 삼 생 공 업 위탁연구책임자:

More information

iii. Design Tab 을 Click 하여 WindowBuilder 가자동으로생성한 GUI 프로그래밍환경을확인한다.

iii. Design Tab 을 Click 하여 WindowBuilder 가자동으로생성한 GUI 프로그래밍환경을확인한다. Eclipse 개발환경에서 WindowBuilder 를이용한 Java 프로그램개발 이예는 Java 프로그램의기초를이해하고있는사람을대상으로 Embedded Microcomputer 를이용한제어시스템을 PC 에서 Serial 통신으로제어 (Graphical User Interface (GUI) 환경에서 ) 하는프로그램개발예를설명한다. WindowBuilder:

More information

[ 정보 ] 과학고 R&E 결과보고서 Monte Carlo Method 를이용한 고교배정시뮬레이션 연구기간 : ~ 연구책임자 : 강대욱 ( 전남대전자컴퓨터공학부 ) 지도교사 : 최미경 ( 전남과학고정보 컴퓨터과 ) 참여학생 : 박진명 ( 전

[ 정보 ] 과학고 R&E 결과보고서 Monte Carlo Method 를이용한 고교배정시뮬레이션 연구기간 : ~ 연구책임자 : 강대욱 ( 전남대전자컴퓨터공학부 ) 지도교사 : 최미경 ( 전남과학고정보 컴퓨터과 ) 참여학생 : 박진명 ( 전 [ 정보 ] 과학고 R&E 결과보고서 Monte Carlo Method 를이용한 고교배정시뮬레이션 연구기간 : 2013. 3 ~ 2014. 2 연구책임자 : 강대욱 ( 전남대전자컴퓨터공학부 ) 지도교사 : 최미경 ( 전남과학고정보 컴퓨터과 ) 참여학생 : 박진명 ( 전남과학고 1학년 ) 박수형 ( 전남과학고 1학년 ) 서범수 ( 전남과학고 1학년 ) 김효정

More information

ISO17025.PDF

ISO17025.PDF ISO/IEC 17025 1999-12-15 1 2 3 4 41 42 43 44, 45 / 46 47 48 49 / 410 411 412 413 414 5 51 52 53 54 / 55 56 57 58 / 59 / 510 A( ) ISO/IEC 17025 ISO 9001:1994 ISO 9002:1994 B( ) 1 11 /, / 12 / 1, 2, 3/ (

More information

09È«¼®¿µ 5~152s

09È«¼®¿µ5~152s Korean Journal of Remote Sensing, Vol.23, No.2, 2007, pp.45~52 Measurement of Backscattering Coefficients of Rice Canopy Using a Ground Polarimetric Scatterometer System Suk-Young Hong*, Jin-Young Hong**,

More information

Abstract Background : Most hospitalized children will experience physical pain as well as psychological distress. Painful procedure can increase anxie

Abstract Background : Most hospitalized children will experience physical pain as well as psychological distress. Painful procedure can increase anxie Volume 12, Number 1, 92~102, An Intervention Study of Pain Reduction during IV Therapy in Hospitalized Children Myo-Jin Kim 1), Joung-Hae Bak 1), Won-Seok Seo 2) Mi-Young Kim 3), Sun-Kyoung Park 3), Jai-Soung

More information

#KM560

#KM560 KM-560 KM-560-7 PARTS BOOK KM-560 KM-560-7 INFORMATION A. Parts Book Structure of Part Book Unique code by mechanism Unique name by mechanism Explode view Ref. No. : Unique identifcation number by part

More information

SW 2015. 02 5-1 89

SW 2015. 02 5-1 89 SW 2015. 02 88 SW 2015. 02 5-1 89 SW 2015. 02 5-2 5-3 90 SW 2015. 02 5-4 91 SW 2015. 02 5-5 5-6 92 5-7 SW 2015. 02 93 SW 2015. 02 5-8 5-1 94 SW 2015. 02 5-9 95 SW 2015. 02 5-10 5-2 96 SW 2015. 02 5-11

More information

1 SW 2015. 02 26

1 SW 2015. 02 26 02 1 SW 2015. 02 26 2-1 SW 2015. 02 27 SW 2015. 02 2-1 28 SW 2015. 02 29 2 SW 2015. 02 2-2 30 2-2 SW 2015. 02 31 SW 2015. 02 32 2-3 SW 2015. 02 33 3 SW 2015. 02 2-3 34 2-4 SW 2015. 02 35 4 SW 2015. 02

More information

..........-....33

..........-....33 04 06 12 14 16 18 20 22 24 26 Contents 34 38 42 46 50 54 58 62 66 70 74 78 84 88 90 92 94 96 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 01 26 27 02 28 29 30 31 32 33 34 35 36 37 38 39

More information

자식농사웹완

자식농사웹완 윤 영 선 _ 지음 은혜한의원 서울시 마포구 도화1동 550 삼성프라자 308호 Tel : 3272.0120, 702.0120 진료시간 : 오전 9시 30분`~`오후 7시 점심시간 : 오후 1시`~`2시 토 요 일 : 오전 9시 30분`~`오후 3시 (일, 공휴일 휴진`/`전화로 진료 예약 받습니다) 은 혜 한 의 원 은혜한의원 CONTENTS 02 04 07

More information

chungo_story_2013.pdf

chungo_story_2013.pdf Contents 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99

More information

Contents 12 13 15 17 70 79 103 107 20 21 24 29 128 137 141 32 34 36 41 46 47 53 55 174 189 230 240 58 61 64 1. 1. 1 2 3 4 2. 2. 2 1 3 4 3. 3. 1 2 3 4 4. 4. 1 2 3 4 5. 5. 1 2 3 1 2 3

More information

http://www.forest.go.kr 5 2013~2017 Contents 07 08 10 19 20 30 33 34 38 39 40 44 45 47 49 51 52 53 53 57 63 67 Contents 72 75 76 77 77 82 88 93 95 96 97 97 103 109 115 121 123 124 125 125 129 132 137

More information

전반부-pdf

전반부-pdf Contents 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72

More information

<4D6963726F736F667420506F776572506F696E74202D20312E20B0E6C1A6C0FCB8C15F3136B3E2C7CFB9DDB1E25F325FC6ED28C0BA292E70707478>

<4D6963726F736F667420506F776572506F696E74202D20312E20B0E6C1A6C0FCB8C15F3136B3E2C7CFB9DDB1E25F325FC6ED28C0BA292E70707478> Contents 3 2016 4 2016 5 2016 6 2016 7 2016 8 2016 9 2016 10 2016 11 2016 12 2016 13 2016 14 2016 15 2016 16 2016 17 2016 18 2016 19 2016 20 2016 21 2016 22 2016 23 2016 24 2016 25 2016 26 2016 27 2016

More information

..........- ........

..........- ........ Contents 24 28 32 34 36 38 40 42 44 46 50 52 54 56 58 60 61 62 64 66 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 01 02 24 25 03 04 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40

More information

Contents 007 008 016 125 126 130 019 022 027 029 047 048 135 136 139 143 145 150 058 155 073 074 078 158 163 171 182 089 195 090 100 199 116 121 01 01 02 03 04 05 06 8 9 01 02 03 04 05 06 10 11 01 02 03

More information

A°ø¸ðÀü ³»Áö1-¼öÁ¤

A°ø¸ðÀü ³»Áö1-¼öÁ¤ 1 4 5 6 7 8 9 10 11 Contents 017 035 051 067 081 093 107 123 139 151 165 177 189 209 219 233 243 255 271 287 299 313 327 337 349 12 13 017 18 19 20 21 22 23 24 25 26 27 28 29 30 31 035 051 067 081 093

More information

±¹³»°æÁ¦ º¹»ç1

±¹³»°æÁ¦ º¹»ç1 Contents 2 2002. 1 116 2002. 1 2002. 1 117 118 2002. 1 2002. 1 119 120 2002. 1 2002. 1 121 122 2002. 1 2002. 1 123 124 2002. 1 2002. 1 125 126 2002. 1 2002. 1 127 128 2002. 1 2002. 1 129 130 2002. 1 2002.

More information

¿¡³ÊÁö ÀÚ¿ø-Âü°í ³»Áö.PDF

¿¡³ÊÁö ÀÚ¿ø-Âü°í ³»Áö.PDF Contents 01 02 03 6 04 05 7 8 9 01 10 02 03 11 04 01 12 02 13 03 04 14 01 02 03 04 15 05 06 16 07 17 08 18 01 02 03 19 04 20 05 21 06 07 22 08 23 24 25 26 27 28 29 30 31 32 33 01 36 02 03 37 38 01

More information

전반부-pdf

전반부-pdf Contents 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72

More information

Microsoft PowerPoint - 3. 2016 하반기 크레딧 전망_V3.pptx

Microsoft PowerPoint - 3. 2016 하반기 크레딧 전망_V3.pptx Contents 3 2016 4 2016 5 2016 6 2016 7 2016 8 2016 9 2016 10 2016 11 2016 12 2016 13 2016 14 2016 15 2016 16 2016 17 2016 18 2016 19 2016 20 2016 21 2016 22 2016 23 2016 24 2016 25 2016 26 2016 27 2016

More information

양성내지b72뼈訪?303逞

양성내지b72뼈訪?303逞 Contents 성매매 예방교육 가이드북 Contents 제3부 성매매의 어제와 오늘 그리고 한국의 현주소 제4부 처벌 과 보호 의 성매매방지법 1. 성매매의 역사적 배경 및 추이 1. 성매매방지법 제정 배경 62 2. 성매매방지법 제정 취지 63 40 2. 성매매에 대한 국가별 개입 양상 42 3. 규범적 판단과 형사처벌을 기준으로 본 성매매 4. 외국의

More information

³»Áöc03âš

³»Áöc03âš 08 09 27 20 32 42 contents 3 4 5 6 7 8 9 28 10 11 42 38 12 13 45 48 44 14 15 53 50 16 17 58 54 18 19 20 21 22 23 24 25 2008. 5. 27~30 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 2008. 4. 27 42 43 44

More information

¾ç¼º-¾÷¹«Æí¶÷-³»¿ëÃà¼Ò4

¾ç¼º-¾÷¹«Æí¶÷-³»¿ëÃà¼Ò4 contents 6 9 18 21 23 43 44 53 61 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62

More information

전도대회자료집

전도대회자료집 1 Contents 8 10 57 4 2 63 6 17 43 12 3 4 5 7 6 7 6 8 9 10 11 12 13 14 15 16 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60

More information

0204..........1..

0204..........1.. contents contents 01 6 7 8 02 9 10 11 12 13 03 14 15 16 17 18 19 20 21 22 23 24 25 26 27 01 30 31 32 33 34 35 36 37 02 38 39 40 41 42 43 44 45 46 03 47 48 49 50 51 52 53 54 55 56 04 57 58 59 60 61

More information