期刊文献+

基于Petri网的虚拟仪器软件评测研究 被引量:1

Research of Virtual Instrument Software Testing Based on Petri Net
下载PDF
导出
摘要 评测虚拟仪器的软件是研发虚拟仪器的重要工作内容,直接关系到虚拟仪器功能、性能、测量精度等的稳定性、可靠性、可信度.现有的基于UML构件测试模型等多种评测方法各有优缺点.该文探讨基于Petri网模型的虚拟仪器的软件评测方法,该方法根据例用组合虚拟仪器中功能模块之间的关系建立相应的Petri网模型,然后依据Petri网模型生成测试用例,辨识在测试用例作用下相关功能模块输出的结果是否符合要求.试验结果表明,该方法具有评测结果可信度高,测试用例生成方便,测试用例选择判据充分性好,可应用于设计通用组合虚拟仪器软件评测系统. Testing virtual instrument sofeware is an important . Virtual instrument research and development work, is directly related to the stability, reliability, credibility of the virtual instrument features, performance and measurement accuracy. The existing UML Component test model and many other evaluation methods have advantages and disadvantages. This paper discusses the Petri net model based on virtual instrument software testing method , which according to the relationship between the function modules construct Petri net model of eases of combinations of virtual instrument , and then based on Petri net model to generate test cases, to identify weather test cases under the relevant functional modules of the results output meet the requirements. Test show that the method has high credibility of testing results, test ease generation convenience, the adequacy of test case selection criteria, and can be applied to the design of portfolio virtual instrument software testing system.
作者 戴永 赵德海
出处 《湘潭大学自然科学学报》 CAS CSCD 北大核心 2009年第3期128-131,共4页 Natural Science Journal of Xiangtan University
基金 湖南省高校创新平台开放基金资助项目(09K040) 湖南省重点学科建设资助项目
关键词 评测 PETRI网模型 虚拟仪器 软件 功能模块 testing petri net model virtual instrument sofeware function module
  • 相关文献

参考文献6

  • 1JEFFEREY M V. Certifying of the shelf components[J]. IEEE Computer, 1998,31 (6):53--59.
  • 2WANG Y X,KING G, HAKAN W B. A method for built-in tests in component-based software maintenance[C]// Proc 3rd European Conference on Software Maintenance and Reengirmering, 1999 : 186-- 189.
  • 3YON H J,CHOI B G,JEON I O. A UML-base test model for component integration Test[R/OL]//Proceedings of Workshop on Software Architecture and component(WSAC) ,URL http://selab, ewha. ac. kr/HoijinYon/PAPERS/wsac, pat,2000.
  • 4LIU W N,DASIEWICZ P. Formal test requirements for component interactions[C]//Proc IEEE Canadian Conference on Electrical and Computer Engineering,1999:295--299.
  • 5LIU C,RICHARDSON D J. Software components with retrospeetors[C]//Proc International Workshop on the Role of Software Architecture in Testing and Analysis, 1998 : 63-- 68.
  • 6袁崇义.Petri网原理[M].北京:电子工业出版社,1997..

共引文献13

同被引文献6

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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