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 describe source programs in a software development process. By this tendency, the revision of software documents with the modification of source programs delays, and the discordance turns up among source programs and software documents. Resolving these problems, we need an integrated management system of both source programs and software documents. In this paper, we describe integrated management both software documents and source programs. We realize the tool to check the consistency among them and evaluate it. CASE CASE 2 2.1 CASE CASE Kouichi Toita,, toita@agusa.nuie.nagoya-u.ac.jp Shinichiro Yamamoto,, yamamoto@ist.aichi-pu.ac.jp Kiyoshi Agusa,, agusa@nuie.nagoya-u.ac.jp
FOSE2001 CASE Sapid [1] Sapid C Sapid CASE 2.2 CASE Dapid [2] Dapid XML Dapid 2.3 2.2 Dapid Sapid
Tool to Check the Consistency both Software Documents Using XML and Source Programs 3 typedef member Sapid Dapid Dapid Sapid 3.1 Dapid XML 3.2 Dapid [2] 1 Dapid XML
FOSE2001 DTD <!ELEMENT document (#PCDATA define docident)*> <!ELEMENT define (srccode,(#pcdata docident)*)> <!ATTLIST define name CDATA #REQUIRED sort CDATA #REQUIRED> <!ELEMENT docident (#PCDATA)> <!ELEMENT srccode (#PCDATA)> 1 DTD 1 define name sort docident srccode 2 1 <?xml version="1.0"?> <document> <define name="spdgetclassidbyname" sort="function"> <srccode> SpdClassId spdgetclassidbyname(spdstring classname); </srccode> <docident>classname</docident> <docident>classid</docident> <docident>classid</docident> <docident>sapid_non_id</docident> </define> <define name="spdobjid" sort="typedef"> <srccode> typedef SpdId SpdObjId; </srccode> </define> </document> 2 XML 3.3
Tool to Check the Consistency both Software Documents Using XML and Source Programs Sapid #include Sapid Sapid I-model Dapid 3.4 1 DTD 3.4.1 3.4.2 typedef member
FOSE2001 3.4.3 3.4.4 <define> <define> <define> 4 3.4 spdchkdoc Sapid Sapid [3] 4.1 3.4 4.1.1 4.1.2 typedef member
Tool to Check the Consistency both Software Documents Using XML and Source Programs member member 4.1.3 3.3 #include 4.1.4 4.2 HTML 3 3
FOSE2001 HTML 1 1 ID Invalid FuncType. "SpdString"<-->"char *" "SpdString" "char *" 5 Sapid libsapidutil libsapidutil C 7000 XML TEX XML Sapid TEX XML TEX 1800 XML 1000 5.1 2
Tool to Check the Consistency both Software Documents Using XML and Source Programs 2 libsapidutil 3.854 154 39 11 104 9 2 5 6 1 2 11 104 9 5.2 3 3 libsapidutil 3.854 89 3 1 85 0 0 member 1 member 0 member 0 3 1 member member member SapidUtil
FOSE2001 Sapid 5.3 4 4 libsapidutil 3.854 2 2 0 4 2 2 5.4 LinuxDoc-SGML [4] W3C DOM (Document Object Model) [5] XML LinuxDoc-SGML DTD SGML SGML groff tex HTML SGML LinuxDoc-SGML DOM XML HTML DOM XML/HTML DOM Web 2.2 Dapid
Tool to Check the Consistency both Software Documents Using XML and Source Programs Dapid Dapid 6 6.1 Sapid Dapid Sapid libsapidutil 11 104 6.2 spdchkdoc 6.2.1 5.2 stdio.h 6.2.2 #include Dapid I-model I-model P-model P-model 6.2.3
FOSE2001 [1],, : CASE Sapid,, Vol.39, No.6, pp.1990 1998, 1998 [2],, :, FOSE 99, pp.100-107 [ 3 ] Sapid Home Page, http://www.sapid.org [ 4 ] Linux JF Project, Linuxdoc-SGML, http://www.linux.or.jp/jf/workshop/sgml-jguide/jguide.html [ 5 ] W3C Document Object Model(DOM) Level 1 Specification, http://w3c. org/tr/rec-dom-level-1/ [ 6 ] P.Francois, P.Futtersack, C.Espert, SGML/HyTime Repositories and Object Paradigms, Electronic Publishing Origination Dissemination, and Design,,Vol. 8, Number 2/3, pp. 63-79, June /sep 1995. [ 7 ] E.Koppen, G Neumann, A practical approach towards active hyperlinked documents, Computer Networks and ISDN Systems Vol. 30 pp.251-258, 1998.