Post on 07-Feb-2018
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.