If you can't read please download the document
Upload
dangthuan
View
243
Download
15
Embed Size (px)
Citation preview
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
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.