| 分布式软件系统交互行为建模、验证与测试 |
| |
| 引用本文： | 张琛,段振华,田聪,鱼滨.分布式软件系统交互行为建模、验证与测试[J].计算机研究与发展,2015(7). |
| |
| 作者姓名： | 张琛 段振华 田聪 鱼滨 |
| |
| 作者单位： | 1. 西安电子科技大学计算理论与技术研究所 西安 710071; 西安电子科技大学计算机学院 西安 710071
2. 西安电子科技大学计算机学院 西安 710071 |
| |
| 基金项目： | 国家自然科学基金项目(61420106004，61322202，61303031，61272117，61133001，61172147)；中央高校基本科研业务费专项资金项目(K5051303005)． |
| |
| 摘 要： | 为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性，提出了一种分布式软件系统模块交互的抽象方法，分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模，使用UML2．0序列图对模块之间交互行为进行描述．采用基于命题投影时序逻辑的模型检测技术，将对象状态机图转换为 Promela 模型，系统交互性质转换为命题投影时序逻辑公式，通过模型检测器验证交互模型是否满足于系统的性质，若不满足于该性质，则能够获得反例执行的路径．给出了一个分布式软件系统测试框架，在验证后的序列图模型基础上，使用基于模型的测试用例自动生成方法得到测试用例集合，该集合能够实现对交互行为的有效测试．实例结果表明，该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性．
|
| 关 键 词： | 分布式软件系统 建模 模型检测 验证 测试用例 |
Modeling,Verification and Test of Interactive Behaviors in Distributed Software Systems |
| |
| Zhang Chen,Duan Zhenhua,Tian Cong,Yu Bin.Modeling,Verification and Test of Interactive Behaviors in Distributed Software Systems[J].Journal of Computer Research and Development,2015(7). |
| |
| Authors: | Zhang Chen Duan Zhenhua Tian Cong Yu Bin |
| |
| Abstract: | |
| |
| Keywords: | distributed software systems modeling model checking verification test cases |
| 本文献已被 万方数据 等数据库收录！ |
