4 articles for “Specification-based testing”

Set a search alert

Research ArticleOpen accessIn the keywordsThe Conceptual Design of Module Documentation Based Testing ToolSalmi Baharom, Zarina ShukurSoftware testing plays an important role to assure the quality of software and can be highly effective if performed rigorously. Studies found that testing can benefit from formal specification as it provides precise description of expected software behavior and most importantly, it is in a form that it can be manipulated easily for automation purpose. Grey-box testing approach usually based … …Journal of Computer Science, Vol. 4, Issue 6 · 30 Jun 2008 · 6,532 accessesView PDF Cite

Research ArticleOpen accessIn the abstractAnalysis of Comparison between Unconfined and Confined Condition of Foamed Concrete Under Uni-Axial Compressive LoadMohd Zairul Affindy Abdul Rahman, Ahmad Mujahid Ahmad Zaidi, Ismail Abdul RahmanProblem statement: Foamed concrete has become most commercial material in construction industry. People in industries were come out with the new mix design of foamed concrete to meet the specification and the requirements needed. Approach: This is because foamed concrete has the possibility as alternative of lightweight concrete for producing intermediate strength capabilities with excellent thermal insulation, freeze-thaw resistance, high-impact … …American Journal of Engineering and Applied Sciences, Vol. 3, Issue 1 · 31 Mar 2010 · 8,637 accessesView PDF Cite

Research ArticleOpen accessIn the abstractA Transformation-oriented Methodology to Knowledge-based Conceptual Data Warehouse DesignOpim S. Sitompul, Shahrul A. NoahApplications of artificial intelligence (AI) technology in the form of knowledge-based systems within the context of database design have been extensively researched particularly to provide support within the conceptual design phase. However, a similar approach to the task of data warehouse design has yet to be seriously initiated. In this paper, we proposed a design methodology for conceptual data warehouse … …Journal of Computer Science, Vol. 2, Issue 5 · 31 May 2006 · 6,731 accessesView PDF Cite

Research ArticleOpen accessIn the abstractInverse Correlations for Multiple Time Series and Gaussian Random Fields and Measures of Their Linear DeterminismR.J. Bhansali, L. IppolitiFor a discrete-time vector linear stationary process, {X(t)}, admitting forward and backward autoregressive representations, the variance matrix of an optimal linear interpolator of X(t), based on a knowledge of {X(t-j), j≠0}, is known to be given by Ri(0)-1 where Ri(0) denotes the inverse variance of the process. Let A=Is-1Ri(0)ˉ1R(0)ˉ1, where R(0) denotes the variance matrix of {X(t)} and Is an … …Journal of Mathematics and Statistics, Vol. 1, Issue 4 · 31 Dec 2005 · 6,424 accessesView PDF Cite