CX-Checker CX-Checker (1)XPath (2)DOM (3) 3 XPath CX-Checker. MISRA-C 62%(79/127) SQMlint 76%(13/17) XPath CX-Checker 3. CX-Checker 4., MISRA-C CX- Ch

Size: px

Start display at page:

Download "CX-Checker CX-Checker (1)XPath (2)DOM (3) 3 XPath CX-Checker. MISRA-C 62%(79/127) SQMlint 76%(13/17) XPath CX-Checker 3. CX-Checker 4., MISRA-C CX- Ch"

ふじよしうづき
7 years ago
Views:

1 CX-Checker: C CX-Checker CX-Checker XPath DOM 3 CX-Checker MISRA-C CX-Checker: A Customizable Coding Checker for C TOSHINORI OSUKA, 1 TAKASHI KOBAYASHI, 1 JUNICHI MASE, 2 NORITOSHI ATSUMI, 3 SHINICHIROU YAMAMOTO, 4 NOBUYASU SUZUMURA 5 and KIYOSHI AGUSA 1 This paper proposes a customizable coding checker CX-Checker which aims at improvement of maintainability and reusability of software. CX-Checker supports three type rule description such as XPath base, DOM base and wrapper API base. We introduce the details of CX-Checker and show its effectiveness with feasibility evaluations by adapting MISRA-C and the rules of an embedded software company Graduate School of Information Science, Nagoya University 2 AISIN COMCRUISE Co., Ltd. 3 Faculty of Information Sciences and Engineering, Nanzan University 4 Faculty of Information Science and Technology, Aichi Prefectural University 5 AISIN SEIKI CO,. Ltd 1) GNU 2) MISRA-C 3) QAC 4) SQMlint 5)

2 CX-Checker CX-Checker (1)XPath (2)DOM (3) 3 XPath CX-Checker. MISRA-C 62%(79/127) SQMlint 76%(13/17) XPath CX-Checker 3. CX-Checker 4., MISRA-C CX- Checker, K&R 6) GNU Coding Standard 1 MISRA-C 3) MISRA MISRA-C MISRA-C SQMlint SQMlint 5) MISRA-C MISRA-C QAC QAC 4) Phaedrus Systems 1300 MISRA-C C RainCode Checker RainCode Checker 7) Ada C/C++ COBOL RainCode Engine RainCode scripting language ALGOL

3 2.2.4 CheckStyle CheckStyle 8) Java Visitor Java 2.3 RainCode Checker CheckStyle 3. CX-Checker 2. Checker CX-Checker CX-Checker 3.1 CX-Checker 1 CX-Checker CASE Sapid 9) CX-model 10) CX-model C XML 3.2. CX-Checker CX-model XML 3.3. CX-Checker CUI Eclipse 2 Eclipse 2.c/.h File sdb4 SDB 1 CUI spdmkcxmodel Rule XPath CX- CXmodel (XML) Eclipse Plug-in Interface CX-Checker Rule Module 違反検出 CX-Checker Java XML 10,000 Eclipse SDK, Sapid, Saxon 11) 3.2 CX-model CX-Checker CX-model C CX-model XML XML 1 main() { 2 int a = 0; 3 } 1 <File id="s "> 2 <Function id="s "> 3 <ident defid="s ">main</ident> 4 <op>(</op> 5 <op>)</op> 6 <op>{</op> 7 <nl line="1" offset="7"> 8 </nl> 9 <sp> </sp> 10 <Local id="s "> 11 <Type> 12 <kw sort="type">int</kw> 13 </Type> 14 <sp> </sp> 15 <ident defid="s ">a</ident> 16 <sp> </sp> 17 <op>=</op> 18 <sp> </sp> 19 <literal defid="s ">0</literal> 20 </Local> 21 <op>;</op> 22 <nl line="2" offset="22"> 23 </nl> 24 <op>}</op> 25 </Function> 26 <nl line="3" offset="24"> 27 </nl> 28 </File> CX-model C C

2 Eclipse File Function Local ident XPath starts-with string-length CX- Checker XPath CX-model XPath CX-model 30 ( 13 ) ID ID XML XML Function id defid Expr 3.

4 2 Eclipse File Function Local ident XPath starts-with string-length CX- Checker XPath CX-model XPath CX-model 30 ( 13 ) ID ID XML XML Function id defid Expr 3.3 CX-Checker 3 XPath DOM(Document Object Model) XPath DOM XPath XPath XPath XML Path language XML XPath 1 //sp[contains(text()," ")] XPath //sp sp XPath CX-model sp [...] contains ( ) XPath DOM XPath XPath XML XPath CX-model DOM CX-Checker DOM Java 1 public class AnRule implements CheckerClass { 2 public List<Result> check(ifile file, CheckRule rule) { 3 List<Result> results = new ArrayList<Result>(); 4 Document doc = file.getdom(); return results; 7 } 8 } 1 /File/Function/Local/ident DOM CheckerClass

check IFile IFile DOM CheckRule check Result Result () XPath 3.

5 check IFile IFile DOM CheckRule check Result Result () XPath DOM CX-model Function ident CX-model CX-Checker Java IFile DOM CFileElement CFileElement CElement CElement CFunctionElement 1 CFileElement cfile = new CFileElement(file.getDOM()); 2 for (CFunctionElement function : cfile.getfunctions()) { 3 System.out.println(function.getName()); 4 } CFileElement CFunctionElement getname CX-model CX-Checker 3 2 ( 1 ) XPath XPath CXmodel ( 2 ) 1 XPath 2 PathGraph XPath XPath CX-model CX-model XPath 3 3 XPath prerequisite XPath prerequisite XPath XPath XPath XPath CX-model PathGraph CX-model CX-Checker MISRA-C 30 MISRA-C 30 1 int foo; 2 if (bar == 0) { 3 foo = 1; 4 } else { 5 bar = 1; 6 } 7 return foo; /* NG */ 1 foo if else 7

6 CX-Checker XPath QAC SQMlint CX-Checker 6 XPath XPath 1 MISRA-C 4 QAC SQMlint CX-Checker (45) (%) CX-Checker if for while do-while switch 0 1 PathGraph 1 PathGraph graph = new PathGraph(function); 2 List<List<GraphNode<Element>>> paths = graph.topathlist(); CFunctionElement PathGraph PathGraph PathGraph PathGraph 4. CX-Checker MISRA-C AT( ) CX-Checker 4.1 MISRA-C MISRA-C XPath XPath 45 CX-model XPath 2 45 XPath XPath 49%(22/45) 5 2 XPath XPath following-sibling precedingsibling 4.2 AT 17 MISRA-C MISRA-C 41

7 76 54 XPath QAC SQMlint 4.3 CX-Checker MISRA-C MISRA-C 6 7 CX-Checker XPath 45 49% 5 XPath 3 unsigned C CX-Checker #define A B B B CX-Checker SQMlint CX-Checker CX-Checker XPath Visitor Visitor XPath 5. CX-Checker CX-Checker XPath DOM 3 MISRA-C CX-Checker 3 XPath CX-Checker CX- Checker C XPath C 5.1 CX-Checker

8 CX-model Sapid CX-model XML XML XML CX-Checker include 1 CX-Checker CX-model CX-model ident CX-model T T typedef unsigned char T unsigned char CX-model SQMlint CX- Checker define C CX-model I IX-model IX-model CXmodel Define macropattern macrobody macro- Call 4 CX-model IX-model IT OJL(On the Job Learing). ( ) 1) Pete Goodliffe. Code Craft., ) GNU Coding Standard. 3) MISRA C. MISRA C-., ) QAC. 5) - MISRA C SQMlint. 6) BrianW. Kernighan and DennisM. Ritchie. C programming language 2nd ed. Prentice Hall, ) RainCode Checker. com/checker.html. 8) Checkstyle. 9),,. CASE sapid., Vol.39, No.6, pp , ),,. XML., 2005-SE-149, pp.57 64, ) Saxon.

XML Tool to Check the Consistency both Software Documents Using XML and Source Programs 1 Summary. Generally, a software consists of source programs a

XML Tool to Check the Consistency both Software Documents Using XML and Source Programs 1 Summary. Generally, a software consists of source programs and software documents. Programmers, however, tend to