期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

可信软件实时性测试用例集生成方法研究 被引量：2

Research of real-time test case generation method of trusted software
下载PDF
导出
摘要 基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。 This paper provided an approach to derive RTTC from TRSL specification, which was a variant of RSL （ RAISE specification language）. Firstly, removed abstract time factors from software specification, which was depicted by TRSL. Secondly, applied partition analysis to generate test data. Then used improvement of OGT algorithm to generate constructive term （CT） and observable term （ OT）, which had time constraint. Finally, constructed complete real-time test case based on TRSL specification.
作者 蔡琼 李兴国 丁帅
机构地区 合肥工业大学管理学院
出处 《计算机应用研究》 CSCD 北大核心 2009年第6期2344-2346,2348,共4页 Application Research of Computers
基金 国家自然科学基金资助项目(90718037)
关键词 时间化RAISE规范语言 实时性 可信软件 测试用例 TRSL real-time trusted software test case
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献7

  • 1刘克,单志广,王戟,何积丰,张兆田,秦玉文.“可信软件基础研究”重大研究计划综述[J].中国科学基金,2008,22(3):145-151. 被引量：136
  • 2MANDRIOLO D, MORASCA S, MORZENTI A. Generating test cases for real-time systems from logic specifications [ J ]. ACM Trails on Computer Systems, 1995, 13 (4) :365- 398.
  • 3CARDELL-OLIVER R, GLOVER T. A practical and complete algorithm for testing real-time systems [ C ]//Proc of the 5th International Symposium on Formal Techniques in Real-time and Fault-Tolerant Systems. London, UK : Springer-Verlag, 1998:251- 261.
  • 4陈伟,薛云志,赵琛,李明树.一种基于时间自动机的实时系统测试方法[J].软件学报,2007,18(1):62-73. 被引量：14
  • 5The RAISE Language Group. The RAISE specification language[ M]. [S.l.] :Prentice Hall, 1992.
  • 6GEORGE C. Introducing time in RSL: a simple case study[ R]. [ S.l.] :UNU/IIST, 1998.
  • 7LI Dan, BERNHARD K. Automatic test case generation for RAISE, Report No. 273 [ R ]. [ S.l.] : UNU/IIST, 2002.

二级参考文献30

  • 1Wegener J,Sthamer H,Jones BF,Eyres DE.Testing real-time systems using genetic algorithms.Software Quality Journal,1997(6):127-135.
  • 2Chan WYL,Vuong CT,Otp MR.An improved protocol test generation procedure based on UIOS.In:Landweber LH,ed.Symp.Proc.on Communications Architectures & Protocols.New York:ACM Press,1989.283-294.
  • 3Aho AV,Dahbura AT,Lee D,Uyar MU.An optimization technique for protocol conformance test sequence generation based on UIO sequence and rural Chinese postman tour.IEEE Trans.on Communications,1991,39(11):1604-1615.
  • 4Sidhu DP,Leung T.Formal methods for protocol testing:A detailed study.IEEE Trans.on Software Engineering,1989,15(4):413-426.
  • 5Chow TS.Testing software design modeled by finite-state machines.IEEE Trans.on Software Engineering,1978,4(3):178-187.
  • 6Fujiwara S,Bochmann GV.Test selection based on finite state models.IEEE Trans.on Software Engineering,1991,17(6):591-603.
  • 7Lamport L.The temporal logic of actions.ACM Trans.on Programming Language and Systems,1994,16(3):872-923.
  • 8Alur R,Dill D.A theory of timed automata.Theoretical Computer Science,1994,126(2):183-235.
  • 9Alur R.Timed automata.In:Halbwachs N,Peled D,eds.Proc.of the 11th Int'l Conf.on Computer-Aided Verification.LNCS 1633,London:Springer-Verlag,1999.8-22.
  • 10Kaynar DK,Lynch N,Segala R,Vaandrager F.Timed I/O automata:A mathematical framework for modeling and analyzing real-time systems.In:Kaynar DK,Lynch N,Segala R,Vaandrager F,eds.Proc.of the 24th IEEE Int'l Real-Time Systems Symp.Washington:IEEE Computer Society,2003.166-177.

共引文献148

同被引文献31

  • 1侯智,陈世平.基于Kano模型的用户需求重要度调整方法研究[J].计算机集成制造系统,2005,11(12):1785-1789. 被引量：80
  • 2魏丽坤.Kano模型和服务质量差距模型的比较研究[J].世界标准化与质量管理,2006(9):10-13. 被引量：59
  • 3郭树行,兰雨晴,金茂忠.软件构件的可信保证研究[J].计算机科学,2007,34(5):243-246. 被引量：14
  • 4ISO/IEC 15408-3:2005,Information technology:security techniques:evaluation criteria for IT security,part 1:introduction and general model[S].2005.
  • 5AMOROSO E C,TAYLOR J,WATSON J,et al.A process-oriented methodology for assessing and improving software trustworthiness[C] //Proc of the 2nd ACM Conference on Computer and Communications Security.New York:ACM,1994:39-50.
  • 6GARCIA A F,RUBIRA M F,ROMANOVSKY A,et al.A comparative study of exception handling mechanisms for building dependable object-oriented software[J].Journal of Systems and Software,2001,59(2):197-222.
  • 7INVERARDI P,TIVOLI M.The future of software:adaptation and dependability[C] //Lecture Notes in Computer Science,Software Engineering:International Summer Schools,Revised Tutorial Lectures.Berlin:Springer,2009:1-31.
  • 8IMMONEN A,PALYIAINEN M.Trustworthiness evaluation and testing of open source components[C] //Proc of the 7th International Conference on Quality Software.Washington DC:IEEE Computer Society,2007:11-12.
  • 9AKAO Y.Quality function deployment:integrating customer requirements into product design[M].[S.l.] :Productivity Press,1990.
  • 10WILLIAM H.Integrated analytic hierarchy process and its applications:a literature review[J].European Journal of Operational Research,2008,186(1):211-228.

引证文献2

二级引证文献15

计算机应用研究
2009年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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