| 基于UPPAAL的AADL行为模型验证方法研究 |
| |
| 引用本文： | 李振松,顾斌.基于UPPAAL的AADL行为模型验证方法研究[J].计算机科学,2012,39(2):162-169. |
| |
| 作者姓名： | 李振松 顾斌 |
| |
| 作者单位： | (北京控制工程研究所北京100190) |
| |
| 基金项目： | 本文受国家自然科学基金重大研究计划项目(90818024)资助。 |
| |
| 摘 要： | Web服务(Web services)已成为当前和未来网络分布式应用的主流软件开发技术。如何确保Web服务软件的质量和可靠性是当前软件工程领域关注的焦点问题。分析了Web服务测试的层次和阶段,以及测试工具的现状,提出了Web服务自动化测试的技术框架,分析了此框架内Web服务操作、Web服务操作序列和Web服务组合WSB-PEL流程测试的关键技术,并研制了测试用例自动生成的原型系统,给出了实验结果,最后指出Web服务自动化测试技术值得进一步探讨的主题。
|
| 关 键 词： | Web服务 自动化测试技术 测试用例自动生成 |
Research on Verification Method of AADI. Behavior Model Based on I1ppaal |
| |
| LI Zhen-song,GU Bin.Research on Verification Method of AADI. Behavior Model Based on I1ppaal[J].Computer Science,2012,39(2):162-169. |
| |
| Authors: | LI Zhen-song GU Bin |
| |
| Affiliation: | (Beijing Institute of (}c>ntrol Engineering,Beijing 100190,C;hina) |
| |
| Abstract: | |
| |
| Keywords: | AADL Behavior model Model transformation UPPAAL Verify |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
