模型检测在软件测试中的应用研究

• 作者: 梅元媛
• 来源期刊: 电脑与信息技术
• 学科: 工学
• 关键词: 模型检测 测试 测试用例
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 研究与分析
• 页码范围: 13-16
• 页数: 4页
• 分类号: TP311.56
• 字数: 3376字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-1228.2010.01.005

摘要

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术.在这种方法中,先要建立一个系统的规格或模型,再由规格或模型产生测试用例.文章对结合模型检测来进行测试的方法进行了研究,从整体上对测试进行考虑,不仅包含了对系统所希望具有的功能进行测试,还包括了对系统不应具有的功能进行测试.通过这种方法,我们可以进一步保证系统的正确性和可靠,大大降低人力和资源的开销,为进一步优化测试奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅元媛	上海工程技术大学电子电气工程学院	23	54	4.0	7.0