An ideal test is supposed to show not only the presence of bugs but also their absence. Based on Fundamental Test Theory Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach model-based testing hardware description language (HDL) programs based behavioral model. sequences are generated from both original (fault-free) mutant (faulty) models in sens...

the ph.d. entrance examinations of islamic azad university in iran are administered annually to select the best applicants for ph.d. programs. in consideration of the important decisions, which are made on the basis of the results of these examinations, the present study was conducted to provide a qualitative evaluation of field-specific language subtests (flss) of four entrance examinations ad...

A learning program produces, as its output, a boolean function which describes a concept. The function returns true if and only if the argument is an object which satisfies the logical expression in the body of the function. The learning program's input is a set of objects which are instances of the concept to be learnt. A compiler/interpreter has been written which performs the reverse of the ...

The article proposes a language for the description of model topologies in discrete event simulators. The language contains an efficient way to create parametrized, flexible topologies. The language has been implemented as part of the OMNeT++ simulator. In most simulators, the support for defining the topology of the model can be improved upon. For this task, simulators either (1) do not provid...

Software metrics determine the degree of maintainability of software products, which is one of the important factors that affect the quality of any kind of software. Furthermore, software metrics provide useful feedback to the designers to impact the decisions that are made during design, coding, architecture, or specification phases. Without such feedback, many decisions are made in ad hoc man...