Title :
Expression and analysis of algorithm via dynamical system
Author :
Tajikawa, Tomoyuki ; Tabaru, Tetsuya ; Shin, Seiichi
Author_Institution :
Tokyo Univ., Japan
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;
Conference_Titel :
Industrial Electronics Society, 2003. IECON '03. The 29th Annual Conference of the IEEE
Print_ISBN :
0-7803-7906-3
DOI :
10.1109/IECON.2003.1280209
