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 :
بازگشت