A traceability analysis and its improvement for event driven system

被引：0

作者：

Kishimoto, Yorinori ^{[1
]}

机构：

[1] Kobe Institute of Computing, Department of Information Systems, Kanou-cho 2-2-7, Chuo-ku, Kobe, Japan

来源：

WSEAS Transactions on Information Science and Applications | 2007年 / 4卷 / 04期

关键词：

Computer software maintenance - [!text type='HTML']HTML[!/text] - Information systems - Internet - [!text type='Java']Java[!/text] programming language - Security of data - Specification languages;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

The software development requires frequent modifications to solving security problems and latest information release because of the widespread use of the Internet and web systems. Corresponding between a program and its specifications is one of the important element of software quality for maintainability. This paper proposed the analyzing and correcting method to traceability between an event driven program and its specifications. A traceability analysis permits to formalize the program structure in regular expression considering to the state transition of the event driven system. A traceability modification is applicable to a regular expression based on a traceability analysis of this program. It also discussed an application method and its example for a JavaScript program included in HTML document. As a result it can be checking correspondence between JavaScript program and its specifications and correcting traceability of this program.

引用

页码：843 / 849