0% found this document useful (0 votes)
28 views9 pages

Formal Modeling and Verification - Software Engineering MCQs - 1614773279443

Uploaded by

NF study Study
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
28 views9 pages

Formal Modeling and Verification - Software Engineering MCQs - 1614773279443

Uploaded by

NF study Study
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 9

Prepare Practice

Interview Aptitude Reasoning English GD Placement papers HR Current affairs


Formal
Engineering MCA Modeling
MBA Onlineand
test verification
Login
-
Software engineering MCQs MCQs English TutorialsDownload
Topics >> Placement papers >>
Software Engineering Placement papers - Model questions -02/27/15 Related Topics

« Previous Next » Ittiam placement papers,


interview experience,
exam pattern

HP placement papers,
interview experience,
exam pattern

EIL placement papers,


interview experience,
exam pattern

IOCL placement papers,


interview experience,
exam pattern

Crompton placement
papers, interview
experience, exam pattern

Formal Modeling and verification - Syntel placement papers,

Software engineering MCQs interview experience,


exam pattern

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
Prepare Practice
B) Clear box
C) Black box
D) None of the above
Interview Aptitude Reasoning English GD Placement papers HR Current affairs
View Answer / Hide Answer
Engineering MCA MBA Online test Login

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
Prepare Practice
ANSWER: A) True

Interview Aptitude Reasoning English GD Placement papers HR Current affairs


Engineering MCA MBA Online test Login

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
Prepare Practice

9) What is tested to ensure the WebApp properly


Interview Aptitude Reasoning English GD Placement papers HR Current affairs
interfaces with other applications or databases.
Engineering MCA MBA Online test Login
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
Prepare Practice

Interview Aptitude Reasoning English GD Placement papers HR Current affairs


12) In the
Engineering MCApublishing
MBA subsystem
Online test theLogin
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
Prepare Practice
ANSWER: A) Class 1

Interview Aptitude Reasoning English GD Placement papers HR Current affairs


Engineering MCA MBA Online test Login

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
Prepare Practice

18) The attributes of effective software metrics should be


Interview Aptitude Reasoning English GD Placement papers HR Current affairs
relatively easy to learn to derive the metric, and its
Engineering MCA MBA Online test Login
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


« Previous Next »
Prepare Practice

Interview Aptitude Reasoning English GD Placement papers HR Current affairs


Engineering MCA MBA Online test Login

Post your comment

Related Content

More Software engineering


MCQs
Improving predictions,
products, processes and
resources
Software process
improvement - Software
engineering MCQs
Evaluating products,
processes and resources -
SE MCQs
Maintaining the system -
Software engineering MCQs
Delivering the system -
Software engineering MCQs
Formal Modeling and
verification - Software
engineering MCQs
Program writing - Software
engineering MCQs
Considering objects -
Software engineering MCQs
Designing the system -
Software Engineering MCQs
Capturing the requirement -
Software engineering MCQs
Planning and managing the
project - Software
Engineering MCQ...
Modelling the process and
life-cycle - Software
engineering ...
Why Software engineering -
MCQs Prepare Practice
Software Process -
questions and answers

Interview Aptitude Reasoning English GD Placement papers HR Current affairs


Engineering MCA MBA Online test Login
Home About us Contact us Terms of use Ask Us Follow us on Facebook!

© Copyright 2016. All Rights Reserved.

You might also like