计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2010年
7期
1175-1183
,共9页
软件维护%软件质量保障%软件系统监测%运行时验证%约束%模型
軟件維護%軟件質量保障%軟件繫統鑑測%運行時驗證%約束%模型
연건유호%연건질량보장%연건계통감측%운행시험증%약속%모형
软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果.
軟件繫統在運行過程中的狀態和行為是否與其需求規約一緻是衡量軟件繫統服務質量的一箇關鍵指標.提齣瞭一種使用基于模型的軟件繫統鑑測技術來保障軟件質量的方法,其基本思路是及時髮現繫統在運行過程中齣現的異常,為調整繫統、保障軟件服務質量提供依據.該方法以包含約束描述信息的鑑測模型為基礎,基于一繫列的轉換規則,自動、半自動地將鑑測模型轉換成相應的鑑測代碼,併以閤適的實現機製部署到被鑑測繫統之上,從而提高軟件繫統鑑測的效果.
연건계통재운행과정중적상태화행위시부여기수구규약일치시형량연건계통복무질량적일개관건지표.제출료일충사용기우모형적연건계통감측기술래보장연건질량적방법,기기본사로시급시발현계통재운행과정중출현적이상,위조정계통、보장연건복무질량제공의거.해방법이포함약속묘술신식적감측모형위기출,기우일계렬적전환규칙,자동、반자동지장감측모형전환성상응적감측대마,병이합괄적실현궤제부서도피감측계통지상,종이제고연건계통감측적효과.