软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2007年
1期
62-73
,共12页
陈伟%薛云志%赵琛%李明树
陳偉%薛雲誌%趙琛%李明樹
진위%설운지%조침%리명수
时间安全输入/输出自动机%实时系统测试%最简稳定符号状态迁移图%测试用例生成
時間安全輸入/輸齣自動機%實時繫統測試%最簡穩定符號狀態遷移圖%測試用例生成
시간안전수입/수출자동궤%실시계통측시%최간은정부호상태천이도%측시용례생성
基于时间自动机(timed automata,简称TA)的一种变体--时间安全输入/输出自动机(timed safety input/output automata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state,简称USTGSS);然后采用基于标号迁移系统(labeled transition system,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.
基于時間自動機(timed automata,簡稱TA)的一種變體--時間安全輸入/輸齣自動機(timed safety input/output automata,簡稱TSIOA),提齣瞭一種實時繫統測試方法.該方法首先將時間安全輸入/輸齣自動機描述的繫統模型轉換為不含抽象時間延遲遷移的穩定符號狀態遷移圖(untimed stable transition graph of symbolic state,簡稱USTGSS);然後採用基于標號遷移繫統(labeled transition system,簡稱LTS)的測試方法來靜態生成滿足各種結構覆蓋標準的包含時間延遲變量遷移動作序列;最後,給齣瞭一箇根據遷移動作序列構造和執行測試用例的過程,該過程引入瞭時間延遲變量目標函數,併採用線性約束求解方法動態求解遷移動作序列中的時間延遲變量.
기우시간자동궤(timed automata,간칭TA)적일충변체--시간안전수입/수출자동궤(timed safety input/output automata,간칭TSIOA),제출료일충실시계통측시방법.해방법수선장시간안전수입/수출자동궤묘술적계통모형전환위불함추상시간연지천이적은정부호상태천이도(untimed stable transition graph of symbolic state,간칭USTGSS);연후채용기우표호천이계통(labeled transition system,간칭LTS)적측시방법래정태생성만족각충결구복개표준적포함시간연지변량천이동작서렬;최후,급출료일개근거천이동작서렬구조화집행측시용례적과정,해과정인입료시간연지변량목표함수,병채용선성약속구해방법동태구해천이동작서렬중적시간연지변량.
