基于资源扩展活动图的并发测试用例生成方法
|
摘要
对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。
The shared resource attributes is added based on the unified modeling language activity diagram. Synchronization and data competition are modeled among concurrent systems by using extended activity diagrams. Fully considering the operating principle,failure mode and test efficiency of concurrent software,the test coverage principle of concurrent systems and the method of generating test cases for concurrent programs based on extended activity diagrams are proposed. Further,by case study,it is proven that the method can correctly generate test cases and prevent the generation of a large number from test cases.The method improves the reliability and efficiency of the test for concurrent programs.
The shared resource attributes is added based on the unified modeling language activity diagram. Synchronization and data competition are modeled among concurrent systems by using extended activity diagrams. Fully considering the operating principle,failure mode and test efficiency of concurrent software,the test coverage principle of concurrent systems and the method of generating test cases for concurrent programs based on extended activity diagrams are proposed. Further,by case study,it is proven that the method can correctly generate test cases and prevent the generation of a large number from test cases.The method improves the reliability and efficiency of the test for concurrent programs.
引文
[1]卢超.并发软件测试理论与技术研究[D].武汉:华中科技大学,2007.(Lu Chao. Research on Testing Theories and Technologies of Concurrent Programs[D]. Wu Han:Huazhong University of Science&Technology,2007.)
[2] OMG Unified Modeling Language Specification[S]. Object Management Group,2017.
[3]牟凯,顾明.基于UML活动图的测试用例自动生成方法的研究[J].计算机应用,2006,26(4):844-846.(Mu Kai,Gu Ming. Research on Automatic Generating Test Casemethod Based on UML Activity Diagram[J]. Computer Applications. 2006,2626(4):844-846.)
[4]崔萌,李宣东,郑国梁. UML实时活动图的形式化分析[J].计算机学报. 2004,27(3):339-346.(Cui Meng,Li Xuandong,Zheng Guoliang. Formal Analysis on UML Real-Time Activity Diagram[J]. Chinese Journal OF Computers. 2004,27(3):339-346.)
[5]王聪,王学智. UML活动图的操作语义[J].计算机研究与发展,2007,44(10):1801-1807.(Wang Cong,Wang Xuezhi,An Operational Semantics for UML Activity Diagrams[J]. Journal of Computer Research and Development,2007,44(10):1801-1807.)
[2] OMG Unified Modeling Language Specification[S]. Object Management Group,2017.
[3]牟凯,顾明.基于UML活动图的测试用例自动生成方法的研究[J].计算机应用,2006,26(4):844-846.(Mu Kai,Gu Ming. Research on Automatic Generating Test Casemethod Based on UML Activity Diagram[J]. Computer Applications. 2006,2626(4):844-846.)
[4]崔萌,李宣东,郑国梁. UML实时活动图的形式化分析[J].计算机学报. 2004,27(3):339-346.(Cui Meng,Li Xuandong,Zheng Guoliang. Formal Analysis on UML Real-Time Activity Diagram[J]. Chinese Journal OF Computers. 2004,27(3):339-346.)
[5]王聪,王学智. UML活动图的操作语义[J].计算机研究与发展,2007,44(10):1801-1807.(Wang Cong,Wang Xuezhi,An Operational Semantics for UML Activity Diagrams[J]. Journal of Computer Research and Development,2007,44(10):1801-1807.)