2017

19

Proceedings of the 19th Korea Conference on

Software Engineering (KCSE 2017)

l : 2017 2 8() ~ 2 10()

l : ()

: ,

:

: , ,

, ,

, T3Q,

STA , ,

TTA

SW

19 1

Vol. 19 No. 1

Program of the 19th Korea Conference on Software Engineering (KCSE2017)

B

:

SW

:

6

(09:00-

12:30)

B1:

: )

: 2

B2:

: ()

: 1

B3:

: (KAIST)

: 2

B4: SW 2

: ()

: 3

10:50-12:30

(100 )

[]

, (KAIST)

A Unified Approach for UML Based

Safety Oriented Level Crossing Using

FTA and Model Checking []

Anit Thapaliya, Gihwon Kwon

()

[]

, , ,

()

[]

, (KAIST)

[]

, ()

(C++)

(C)

[]

, , ,

(),

()

N-

[]

, (KAIST),

(),

()

[]

, , ,

()

[]

, ()

[]

, ()

SW

FMEA []

, ,

()

STPA ISO 26262

[]

(),

()

:

[]

, , ,

(KAIST )

[]

, , ,

()

I-BL

[]

, ,

()

[]

, ,

()

12:30-13:30

(C++)

(C)

O1 2 3 5 4

{eybyun1, son2, jang3, bob4}@selab.hongik.ac.kr

5

ysgold@nipa.kr5

Constructing an Automatic system

for identifying the faked Procedural-Oriented Paradigm(C)

within Object-Oriented Program (C++)

Eun Young Byun, Hyun Seung Son, Woo Sung Jang, Young S. Kim, Young Chul Kim

SE Lab., Hongik University

NIPA

.

.

. (C++) (C)

.

.

1.

. ,

[1,2].

.

[3].

. C++ , C

[4]. C++

C , .

C++ C

.

[5,6]

C++

. 1

.

(Coupling) (CCheck) Style,

Warning, Performance Violation

C .

C .

.

C++ C ,

C

.

C . C

.

. 2 C++

C++ C . 3

Tool-Chain C

. 4

.

1 C++

2015 (NRF-2015H1C1A1035548)

KCSE 2017 19 1

104

2. C++ C

C++ ,

.

C++ C

[7]. C++ C C++

C++ . 1

C++ C .

1 C++ C

input / output C stdio printf(),

scanf() . C++ iostream

cout, cin . cout, cin printf(), scanf()

. printf(), scanf()

, C . 2 C/C++

input/output .

2 C/C++ input/output

C malloc(), calloc(), free()

. C++ new, delete . C++

new delete .

malloc(), calloc(), free() , C

. 3 C/C++

.

3 C/C++

cast C

. C++ static_cast

. 4 C/C++ cast .

4 C/C++ cast

struct C++ C

, struct

.

struct , C

. 5 C/C++ struct .

5 C/C++ struct

enum struct C++ C enum

, enum

.

enum , C .

6 C/C++ enum .

6 C/C++ enum

KCSE 2017 19 1

105

namespace C++ C namespace

.

. C

.

_ .

, C

. 7 C/C++

namespace .

7 C/C++ namespace

Boolean C++ C Boolean Type . C int

Boolean Type . int ,

C . 8 C/C++ Boolean

.

8 C/C++ Boolean

3.

3.1 Tool-Chain

C++ C

xCodeParser SQLite,

Graphviz Tool-Chain . 9 Tool-

Chain 5 .

Step1: xCodeParser . C++ .

Step2: xCodeParser . , ASTM

, , , , ,

.

Step3: ASTM

.

ASTM_content, ASTM_link, ASTM_local, ASTM_API

, C

, C CCheck

. C

.

Step4: DOT .

Step5: Graphviz .

3.2 C

Tool-Chain C++ C

. ,

, cpp

(, , cpp) ( , ,

) . 10 ,

.

10 ,

KCSE 2017 19 1

106

11 RobotModelingSimulation Tool-Chain

.

,

. C

. 12 CCheck C

. node.cpp

mesh.cpp CCheck

C .

.

12 CCheck

4.

C++ C

.

,

.

C C

.

[1] S Wiedenbeck, V Ramalingam, Novice Comprehension

of small programs written in the procedural and object-

oriented styles, International Journal of Human-Computer

Studies, Vol.51, No.1, pp. 71-87, 1999

[2] , , , ,

,

, Vol. 23, No.2, pp. 475-478, 2016

[3] R Fanta, V Rajlich, Restructing legacy C code into C++,

ICSM, pp. 77-85, 1999

[4] Herbert Schildt, C/C++ Programmers Reference,

McGraw-Hill, 2000

[5] , , , , , SW

,

, Vol. 21, No.2, pp. 646-649, 2014

[6] , , , ,

,

, pp. 404-406, 2016

[7] H Sutter, A Alexandrescu, C++ Coding Standards: 101

Rules, Guidelines, and Best Practices, Pearson Education,

2004

KCSE 2017 19 1

107

KCSE2017_Proceedings.v1.2.pdf KCSE 2017 KCSE 2017 KCSE 2016 17.paper_30.v1.pdfControlling Traversal Strategy of Abstract Reachability Graph based Software Model Checking1. 2. 3. 4. 5.