计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2011年
1期
207-210
,共4页
李决龙%李亮%邢建春%杨启亮
李決龍%李亮%邢建春%楊啟亮
리결룡%리량%형건춘%양계량
Web应用%交际接口%TICC%模型检验
Web應用%交際接口%TICC%模型檢驗
Web응용%교제접구%TICC%모형검험
为了验证Web应用的质量,首次采用了基于交际接口及其工具TICC的建筑智能化系统Web应用验证方法,通过一个简单的能源管理Web应用系统实例说明了整个建模、构件模块组合验证和系统性质验证过程.结果表明验证能够顺利实现,因而该方法是一种合适的Web应用验证方法.
為瞭驗證Web應用的質量,首次採用瞭基于交際接口及其工具TICC的建築智能化繫統Web應用驗證方法,通過一箇簡單的能源管理Web應用繫統實例說明瞭整箇建模、構件模塊組閤驗證和繫統性質驗證過程.結果錶明驗證能夠順利實現,因而該方法是一種閤適的Web應用驗證方法.
위료험증Web응용적질량,수차채용료기우교제접구급기공구TICC적건축지능화계통Web응용험증방법,통과일개간단적능원관리Web응용계통실례설명료정개건모、구건모괴조합험증화계통성질험증과정.결과표명험증능구순리실현,인이해방법시일충합괄적Web응용험증방법.