期刊文献+

基于任务的舰船装备软件测试技术研究 被引量:5

Research on Warship Software Testing Technique Based on Mission
下载PDF
导出
摘要 针对基于任务的舰船装备软件进行测试时,缺乏任务需求的系统化分析与描述手段、难以从任务执行层面有效生成测试用例、不支持跨平台测试的自动化执行等问题,对舰船装备软件任务分析与建模、基于任务模型的舰船装备软件测试用例生成及舰船装备软件测试自动化执行等三方面关键技术进行了研究,研制了配套的软件测试工具,形成了一整套基于任务的舰船装备软件测试技术,以满足基于任务的舰船装备软件测试的需要;在此基础上,开展了基于任务的舰船装备软件测试技术实例应用,验证了该技术的工程适用性和配套工具的有效性,并形成了典型应用实例,为该技术的推广提供支撑。 Testing mission-based warship software usually involves many technical challenges,such as lack of systematical mission analysis and describing technique,hard to generate test cases with respect to mission requirements,unable to support automated cross-platform test execution,etc.To tackle these challenges,this paper presents an integrated approach to test mission-based warship software,including key steps on mission analysis and modeling,mission-model-based test case generation,and automated test execution.A tool for testing mission-based warship software is developed according to this approach.Besides,an example is provided to exhibit the feasibility of the approach and the effectiveness of the tool.In practice,this example can be looked up for reference so as to promote the usability of this approach.
作者 何伟 沈晓美 刘泊江 韩新宇 唐龙利 He Wei;Shen Xiaomei;Liu Bojiang;Han Xinyu;Tang Longli(China Shipbuilding Software Quality&Reliability Testing Center,Beijing 100081,China)
出处 《计算机测量与控制》 2020年第3期72-78,共7页 Computer Measurement &Control
关键词 扩展有限状态机 舰船装备软件 任务分析与建模 测试用例生成 测试自动化执行 extended finite state machine warship software mission analysis and modeling test case generation automated test execution
  • 相关文献

参考文献3

二级参考文献31

  • 1修保新,张维明,刘忠,阳东升.C2组织结构的适应性设计方法[J].系统工程与电子技术,2007,29(7):1102-1108. 被引量:16
  • 2PETE A,KLEINMAN D L,PATTIPATI K R.Structural congruence of tasks and organizations[C].Proceedings of the 1994 Symp.On Command and Control Research and Decision Aids,NPS,Monterey,CA,1994:168175.
  • 3林闯.随机Petri网和系统性能分析[M].北京:清华大学出版社,2000.23-28.
  • 4L Baresi,M Young,Test Oracles[R].Technical Report CISTR01-02,Deptartment of Computer and Information Science,University of Oregon,2001.
  • 5A Pnueli.The Temporal Logic of Programs[A].Proc of the 18th Annual Symp on Foundations of Computer Science[C].1977.
  • 6A Pnueli.The Temporal Semantics of Concurrent Programs[J].Theoretical Computer Science,1981,13 (1):45-60.
  • 7A Pnueli.Applications of Temporal Logic to the Specification and Verification of Reactive Systems:A Survey of Current Trends[A].Current Trends in Concurrency[C].1986.
  • 8L K Dillon,G Kutty,L E Moser,et al.Graphical Specification for Concurrent Software Systems[A].Proc of thel4th IEEE Int'l Conf on Software Engineering[C].1992.
  • 9L K Dillon,G Kutty,L E Moser,et al.A Graphical Interval Logic for Specifying Concurrent Systems[J].ACM Trans on Software Engineering and Methodology,1994,3 (2):131-165.
  • 10C Ghezzi,D Mandrioli,A Morzenti.TRIO:A Logic Language for Executable Specifications of Real-Time Systems[J].Journal of Systems and Software,1990,12(2):107-123.

共引文献2

同被引文献59

引证文献5

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部