DocumentCode
406792
Title
Expression and analysis of algorithm via dynamical system
Author
Tajikawa, Tomoyuki ; Tabaru, Tetsuya ; Shin, Seiichi
Author_Institution
Tokyo Univ., Japan
Volume
2
fYear
2003
fDate
2-6 Nov. 2003
Firstpage
1134
Abstract
Only "testing" checks the reliability and quality of software systems. Our target is analyzing an algorithm mathematically and supporting to check its bugs automatically. The algorithm should be modeled on equations to be analyzed mathematically. In this paper, we transform the algorithm into the mixed logical dynamical (MLD) system, which can express both discrete and continuous dynamics. As a result, we can analyze the algorithm mathematically, and support to check the bugs.
Keywords
program debugging; program testing; software quality; software reliability; time-varying systems; algorithm analysis; continuous dynamics; discrete dynamics; mixed logical dynamical system; software system quality; software system reliability; Algorithm design and analysis; Automatic control; Computer bugs; Control systems; Discrete transforms; Equations; Heuristic algorithms; Logic; Mathematical model; Software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Electronics Society, 2003. IECON '03. The 29th Annual Conference of the IEEE
Print_ISBN
0-7803-7906-3
Type
conf
DOI
10.1109/IECON.2003.1280209
Filename
1280209
Link To Document