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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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