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

基于测试充分性准则的教育软件内容测试 被引量：1

Educational software content testing based on test adequacy criteria
下载PDF
导出
摘要 教育软件内容测试是对教育软件根本性目标进行测试的需要,也是教育信息技术和教育软件工程研究的重点内容之一。基于测试充分性准则提出了教育软件内容测试,通过测试充分性准则来指导确定测试数据集,保障遵循学习特征的教育软件所包含的教育思想内容的正确性测试。 Educational software content testing fulfills the need for basic target of educational software demand,and also is one of important research area of education information technique and educational software engineering.The paper proposes educational software content testing based on test adequacy criteria,and guides the certain test data producing to guarantee education software content accuracy testing which follow to the study characteristics.
作者 方海光 陈蜜
机构地区 首都师范大学教育技术系
出处 《计算机工程与应用》 CSCD 北大核心 2008年第30期83-86,共4页 Computer Engineering and Applications
基金 国家重点基础研究发展规划(973) No.2004CB318003 北京市教委科技计划项目~~
关键词 测试充分性 教育软件 内容测试 教育软件工程 test adequacy educational software content testing educational software engineering
分类号 TP391 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献13

  • 1方海光,陈蜜,任剑锋.教育软件工程的研究框架与发展趋势[J].微型机与应用,2007,26(S1):194-198. 被引量：2
  • 2Goodenough J B,Gerhart S L.Toward a theory of test data selection[J].IEEE Trans on Software Engineering, 1975,SE-3(3): 156-173.
  • 3Goodenough J B,Gerhart S L.Toward a theory of testing:data selection criteria[C]//Yeh R T.Current Trends in Programming Methodology.[S.l.] : Prentice-Hall, 1977 (2).
  • 4朱鸿,金凌紫.软件质量保障和测试[M].北京:科学出版社,1997.
  • 5暴建民,杨孝宗,杨楠,王申科.测试数据选择理论20年[J].软件学报,1996,7(12):743-751. 被引量：1
  • 6Amnmn P,Offutt J.Using formal methods to derive test frames in category-partition testing[C]//IEEE 9th Annual Conf on Computer Assurance.Gaithersburg: IEEE Computer Society Press, 1994 : 69-80.
  • 7Amman P,Offutt J.Coverage criteria for logical expressions[C]// Stephanie K.Proc of the 14th Int'l Symp on Software Reliability Engineering.Denver:IEEE Computer Society Press,2003:99-107.
  • 8刘玲,缪淮扣.对逻辑覆盖软件测试准则的公理化评估[J].软件学报,2004,15(9):1301-1310. 被引量：9
  • 9Black P E,Okun V,Yesha Y.Mutation operators for specification[C]// Anne R.Proc of the 5th IEEE Int'l Conf on Automated Software Engineering.Grenoble : IEEE Computer Society Press, 2000: 81-88.
  • 10Zhu H.Axiomatic assessment of control flow-based software test adequacy criteria[J].Software Engineering Journal, 1995,10(9) : 194-204.

二级参考文献19

  • 1[1]Goodenough JB, Gerhart SL. Toward a theory of test data selection. IEEE Trans. on Software Engineering, 1975,1(2):156～173.
  • 2[2]Amman P, Offutt J. Using formal methods to derive test frames in category-partition testing. In: IEEE 9th Annual Conf. on Computer Assurance. Gaithersburg: IEEE Computer Society Press, 1994. 69～80.
  • 3[3]Amman P, Offutt J. Coverage criteria for logical expressions. In: Stephanie K, ed. Proc. of the 14th Int'l Symp. on Software Reliability Engineering. Denver: IEEE Computer Society Press, 2003.99～107.
  • 4[4]Black PE, Okun V, Yesha Y. Mutation operators for specifications. In: Anne R, ed. Proc. of the 5th IEEE Int'l Conf. on Automated Software Engineering. Grenoble; IEEE Computer Society Press, 2000. 81～88.
  • 5[5]Zhu H. Axiomatic assessment of control flow-based software test adequacy criteria. Software Engineering Journal, 1995,10(9):194～204.
  • 6[6]Weyuker EJ. Axiomatizing software test data adequacy. IEEE Trans. on Software Engineering, 1986,12(12):1128～1138.
  • 7[7]Gourlay J. A mathematical framework for the investigation of testing. IEEE Trans. on Software Engineering, 1983,9(6):686～709.
  • 8[8]Parrish A, Aweben SH. Analysis and refinement of software test data adequacy properties. IEEE Trans. on Software Engineering,1991,17(6):565～581.
  • 9[9]Parrish A, Aweben SH. Clarifying some fundamental concepts in software testing. IEEE Trans. on Software Engineering,1993,19(7):742～746.
  • 10[10]Offutt J, Liu SY, Abdurazik A, Amman P. Generating test data from state-based specifications. The Journal of Software Testing,Verification, and Reliability, 2003,13(1):25～53.

共引文献10

同被引文献5

引证文献1

计算机工程与应用
2008年 第30期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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