QQ客服 官方微博 反馈留言

	A Latent Implementation Error Detection Method for Software Validation
	Jiantao Zhou ; Jing Liu ; Jinzhao Wu ; Guodong Zhong
	2015-03-18 ; 2015-03-18
关键词	object oriented programming semantics inheritance inner classes direct superclass
中文摘要	Model checking and conformance testing play an important role in software system design and implementation. From the view of integrating model checking and conformance testing into a tightly coupled validation approach, this paper presents a novel approach to detect latent errors in software implementation. The latent errors can be classified into two kinds, one is called as Unnecessary Implementation Trace, and the other is called as Neglected Implementation Trace. The method complements the incompleteness of security properties for software model checking. More accurate models are characterized to leverage the effectiveness of the model-based software verification and testing combined method.; This work was supported by the National Natural Science Foundation of China (61262082, 61262017, 61163011, and 60973147), the Key Project of Chinese Ministry of Education (212025), the Inner Mongolia Science Foundation for Distinguished Young Scholars (2012JQ03), the Introduction Foundation for High-Level Talents of Inner Mongolia University, the Doctoral Fund of Ministry of Education of China [20090009110006], the Natural Science Foundation of Guangxi (2011GXNSFA018154 and 2012GXNSFGA060003),the Science andTechnology Foundation ofGuangxi (10169-1),and the Guangxi Scientific Research Project (201012MS274).
语种	英语
出版者	Journal of Applied Mathematics
其他责任者	College of Computer Science, Inner Mongolia University, Hohhot 010021, China ; Guangxi Key Lab of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities,
内容类型	期刊论文
源URL	[http://ir.calis.edu.cn/hdl/530500/4623]
专题	广西民族大学
推荐引用方式 GB/T 7714	Jiantao Zhou,Jing Liu,Jinzhao Wu,et al. A Latent Implementation Error Detection Method for Software Validation[J],2015, 2015.
APA	Jiantao Zhou,Jing Liu,Jinzhao Wu,&Guodong Zhong.(2015).A Latent Implementation Error Detection Method for Software Validation..
MLA	Jiantao Zhou,et al."A Latent Implementation Error Detection Method for Software Validation".(2015).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。