Formal Modeling and verification - Software engineering MCQs

Formal Modeling and verification - Software engineering MCQs


1) Which project is undertaken as a consequence of a specific customer request.
A) Concept development projects
B) Application enhancement projects
C) New application development projects
D) Application maintenance projects
View Answer / Hide Answer

ANSWER: C) New application development projects




2) Which box specifies the behavior of a system or a part of a system.
A) State box
B) Clear box
C) Black box
D) None of the above
View Answer / Hide Answer

ANSWER: C) Black box




3) Which model gives the overall reliability of the system that is projected and certified.
A) Sampling model
B) Component model
C) Certification model
D) Both A & B
View Answer / Hide Answer

ANSWER: C) Certification model




4) Abbreviate the term BSS.
A) Box Structure Specification
B) Box Statistical Specification
C) Box Statistical System
D) Box Structure Sampling
View Answer / Hide Answer

ANSWER: A) Box Structure Specification




5) Object Constraint Language (OCL) is a formal notation developed, so that users of UML.
can add more precision to their specifications.
A) True
B) False
View Answer / Hide Answer

ANSWER: A) True




6) CASE tools are set of automated software application programs, that are not used to support, accelerate and smoothen the SDLC activities.
A) Yes
B) No
View Answer / Hide Answer

ANSWER: B) No




7) Which tools are used in implementation,testing and maintenance.
A) Upper case tools
B) Integrated case tools
C) Lower case tools
D) None of the above
View Answer / Hide Answer

ANSWER: C) Lower case tools




8) In the dimensions of quality which is tested to uncover errors that indicate lack of conformance to customer requirements.
A) Structure
B) Function
C) Usability
D) Navigation
View Answer / Hide Answer

ANSWER: B) Function




9) What is tested to ensure the WebApp properly interfaces with other applications or databases.
A) Compatibility
B) Interoperability
C) Performance
D) Security
View Answer / Hide Answer

ANSWER: B) Interoperability




10) Which condition defines the circumstances for which a particular operation is valid and that can be associated with operations.
A) Postcondition
B) Precondition
C) Invariant
D) None of the above
View Answer / Hide Answer

ANSWER: B) Precondition




11) Which subsystem implements a repository that encompasses the following elements,
1) Content database
2) Database capabilities
3) Configuration management functions
A) The publishing subsystem
B) The management subsystem
C) The collection subsystem
D) None of the above
View Answer / Hide Answer

ANSWER: B) The management subsystem




12) In the publishing subsystem the text, graphics, media, and scripts require no further processing and that are transmitted directly to the client side.
A) Static elements
B) Publication services
C) External services
D) None of the above
View Answer / Hide Answer

ANSWER: A) Static elements




13) In the management subsystem the functional elements and associated workflow will support content object identification, version control, change management, change auditing, and reporting.
A) Content database
B) Database capabilities
C) Configuration management function
D) All mentioned above
View Answer / Hide Answer

ANSWER: C) Configuration management function




14) Which class gives a content or function change that corrects an error or enhances local content or functionality in change management?
A) Class 1
B) Class 2
C) Class 3
D) Class 4
View Answer / Hide Answer

ANSWER: A) Class 1




15) To assist Web engineers and content developers in managing changes as they are made to WebApp configuration objects.
A) Change management
B) Content management
C) Control management
D) None of the above
View Answer / Hide Answer

ANSWER: A) Change management




16) The evaluation of metrics resulting in insight and the quality of the representation is.
A) Analysis
B) Formulation
C) Interpretation
D) Feedback
View Answer / Hide Answer

ANSWER: C) Interpretation




17) Each metric should be validated empirically in a wide variety of contexts before
being published and that are used to make decisions.

A) True
B) False
View Answer / Hide Answer

ANSWER: A) True




18) The attributes of effective software metrics should be relatively easy to learn to derive the metric, and its computation should not demand inordinate effort or time.
A) Consistent and objective
B) Empirically and intuitively persuasive
C) Simple and computable
D) Consistent in its use of units and dimensions
View Answer / Hide Answer

ANSWER: C) Simple and computable




19) Which is a logical grouping of data that resides within the application’s boundary and it is maintained via external inputs.
A) Number of external interface files
B) Number of internal logical files
C) Number of external inquiries
D) Number of external inputs
View Answer / Hide Answer

ANSWER: B) Number of internal logical files




20) Abbreviate the term ILFs.
A) Interface logical files
B) Internal logical files
C) Input logical files
D) Internal logical function
View Answer / Hide Answer

ANSWER: B) Internal logical files


Post your comment