计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
18期
75-78
,共4页
构件化软件%正则表达式%控制状态序列%有限状态自动机%捕获器
構件化軟件%正則錶達式%控製狀態序列%有限狀態自動機%捕穫器
구건화연건%정칙표체식%공제상태서렬%유한상태자동궤%포획기
构件技术及其相应规范的出现带来了构件化软件时代.可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法.通过实验验证了其有效性.
構件技術及其相應規範的齣現帶來瞭構件化軟件時代.可是構件化軟件固有的特點嚮傳統的程序分析測試技術提齣瞭一箇尖銳的問題:構件的開髮者獨立開髮和測試瞭構件,而使用構件的用戶在無法訪問到構件源代碼的前提下如何對構件化繫統進行充分測試?在觀測構造理論基礎上構造瞭一種基于有限狀態自動機,併可驗證構件化軟件行為的測試方法.通過實驗驗證瞭其有效性.
구건기술급기상응규범적출현대래료구건화연건시대.가시구건화연건고유적특점향전통적정서분석측시기술제출료일개첨예적문제:구건적개발자독립개발화측시료구건,이사용구건적용호재무법방문도구건원대마적전제하여하대구건화계통진행충분측시?재관측구조이론기출상구조료일충기우유한상태자동궤,병가험증구건화연건행위적측시방법.통과실험험증료기유효성.
