Software testing coverage criteria play an important role in the whole testing process.The current coverage criteria for web applications are based on program or URL.They are not suitable for black-box test or intuiti...Software testing coverage criteria play an important role in the whole testing process.The current coverage criteria for web applications are based on program or URL.They are not suitable for black-box test or intuitional to use.This paper defines a kind of test criteria based on page coverage sequences only navigated by web application,including Page_Single,Page_Post,Page_Pre,Page_Seq2,Page_SeqK.The test criteria based on page coverage sequences made by interactions between web application and browser are being under consideration after that.In order to avoid ambiguity of natural language,these coverage criteria are depicted using Z formal language.The empirical result shows that the criteria complement traditional coverage and fault detection capability criteria.展开更多
The introduction of information technology and computers in the design process enables easier, faster and more accurate design of welding technology, as well as higher quality, repeatability and traceability of proces...The introduction of information technology and computers in the design process enables easier, faster and more accurate design of welding technology, as well as higher quality, repeatability and traceability of processes. This paper presents the modeling of welded construction maintenance activities by IDEF0 （Integration DEFinition） methodology. Modeling maintenance activities on a welded construction using IDEF0 methodology, the software implementation of which is the BPWin （Business Process windows） CASE （Computer Aided Software Engineering） tool, allows functional decomposition and design at all levels of the system that consists of workers, machines, materials, computers and information.展开更多
基金Natural Science Foundation of China(No.60573109)State Torch Projects of China(No.2005EB220009)
文摘Software testing coverage criteria play an important role in the whole testing process.The current coverage criteria for web applications are based on program or URL.They are not suitable for black-box test or intuitional to use.This paper defines a kind of test criteria based on page coverage sequences only navigated by web application,including Page_Single,Page_Post,Page_Pre,Page_Seq2,Page_SeqK.The test criteria based on page coverage sequences made by interactions between web application and browser are being under consideration after that.In order to avoid ambiguity of natural language,these coverage criteria are depicted using Z formal language.The empirical result shows that the criteria complement traditional coverage and fault detection capability criteria.
文摘The introduction of information technology and computers in the design process enables easier, faster and more accurate design of welding technology, as well as higher quality, repeatability and traceability of processes. This paper presents the modeling of welded construction maintenance activities by IDEF0 （Integration DEFinition） methodology. Modeling maintenance activities on a welded construction using IDEF0 methodology, the software implementation of which is the BPWin （Business Process windows） CASE （Computer Aided Software Engineering） tool, allows functional decomposition and design at all levels of the system that consists of workers, machines, materials, computers and information.
