Site powered by:
Salmi Baharom Zarina Shukur,
Software 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 p...
complete descriptionhttp://www.scipub.org/fulltext/jcs/jcs46454-462.pdf
Chen, TY Tse, TH Poon, PL Tang, S-F,
The category-partition method and the classification-tree method help construct test cases from specifications. In both methods, an early step is to identify a set of categories (or classifications) a...
complete descriptionhttp://hub.hku.hk/handle/123456789/43691
Chen, TY Tse, TH Poon, PL Tang, S-F,
The category-partition method and the classification-tree method help construct test cases from specifications. In both methods, an early step is to identify a set of categories (or classifications) a...
complete descriptionhttp://hdl.handle.net/10722/43691
Mohd. Ehmer Khan,
Software testing is the process of analyzing software to find the difference between required and existingcondition. Software testing is performed throughout the development cycle of software and it i...
complete descriptionhttp://airccse.org/journal/ijsea/papers/1011ijsea04.pdf
Kalantri, SP, Pai, Madhukar, Pascopella, Lisa, Riley, Lee W, Reingold, Arthur L,
Background: Sputum microscopy, the most important conventional test for tuberculosis, is specific in settings with high burden of tuberculosis and low prevalence of non tuberculous mycobacteria. Howev...
complete descriptionhttp://www.escholarship.org/uc/item/4mg0w4vm
Ouimet, Martin, 1975-,
The increasing size and complexity of modern software-intensive systems present novel challenges when engineering high-integrity artifacts within aggressive budgetary constraints. Among these challeng...
complete descriptionhttp://hdl.handle.net/1721.1/45272
Abstract This paper presents a theory of testing that integrates into Hoare and He’s Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specification ...
complete descriptionhttp://hdl.handle.net/2262/41503
Biswal, B N, Nanda, P, Mohapatra, D P,
Testing of software is a time-consuming activity which requires a great deal of planning and resources. Model-based testing is gaining importance as a research issue. In scenario-based testing, test s...
complete descriptionhttp://dx.doi.org/10.1109/ICIT.2008.43
Paladi, Nicolae,
Correct implementation of data constraints, such as referential integrity constraints and business rules is an essential precondition for data consistency. Though most modern commercial DBMSs support ...
complete descriptionhttp://hdl.handle.net/2077/21658
Amalia SAPRIATI Aminudin ZUHAIRI,
This paper addresses the use of computer-based testing in distance education, based on the experience of Universitas Terbuka (UT), Indonesia. Computer-based testing has been developed at UT for reason...
complete descriptionhttp://tojde.anadolu.edu.tr/tojde38/pdf/article_10.pdf