analisi dei requisiti: due problemi importanti

12
Luisa Mich Nadzeya Kiyavitskaya

Upload: luisa-mich

Post on 01-Jul-2015

127 views

Category:

Technology


1 download

DESCRIPTION

Aree in cui strumenti automatici possono aiutare nell'analisi dei requisiti: individuazione di ambiguità e identificazione di requisiti da testi legali

TRANSCRIPT

Page 1: Analisi dei requisiti: due problemi importanti

Luisa Mich

Nadzeya Kiyavitskaya

Page 2: Analisi dei requisiti: due problemi importanti

1. Ambiguity identification in requirements specifications

2. Identification of rights and obligations for regulation complianceregulation compliance

2Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

Page 3: Analisi dei requisiti: due problemi importanti

� Natural language requirements specifications (NL RS)◦ 79% of requirements documents are couched in

unrestricted NL

◦ majority of developers (64%) think that a higher ◦ majority of developers (64%) think that a higher level of automation is needed to improve general efficiency in modeling requirements

3Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

Page 4: Analisi dei requisiti: due problemi importanti

� Ambiguity ◦ Is an intrinsic phenomenon of natural language

◦ Means the capability of being understood in two or more possible senses or ways

◦ May cause:

� Implementation of incorrect set of system requirements

� Generation of the wrong test cases for system verification

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

4

Page 5: Analisi dei requisiti: due problemi importanti

Two step approach to identify ambiguities in NL RSs:1. Tool T1T1T1T1 would apply a set of ambiguity measures

to a NL RS in order to identify potentially ambiguous sentences in the RS

2. Tool T2T2T2T2 would show what specifically is potentially ambiguous about each sentence in the RS

Final decision is made by a human that may want to rewrite the sentence

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

5

Page 6: Analisi dei requisiti: due problemi importanti

� T1◦ The tool notifies of potentially ambiguous

sentences by varying their background color

◦ lexical ambiguity at the sentence level approximates the semantic ambiguity of a approximates the semantic ambiguity of a sentence

◦ Uses free dictionaries to identify word lexical ambiguity

Babylon, Wordnet, WordReference

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

6

Page 7: Analisi dei requisiti: due problemi importanti

� T2◦ Not yet implemented

◦ Preliminary research studies allowed to derive a set of feasible requirements for T2

� T2’s features will include drawing user’s � T2’s features will include drawing user’s attention to:◦ Weak or vague words: similarly, clearly, appropriate

◦ Demonstrative pronouns used as a noun: This is…

◦ Undefined acronyms

◦ Verbs, subjects and verb complements joined by conjunction

Etc.

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

7

Page 8: Analisi dei requisiti: due problemi importanti

� Problem◦ Law regulates some activities of organizations

◦ To verify if a system is compliant with a regulation, the requirements imposed by the regulatory document must be identifiedregulatory document must be identified

◦ Requirements engineers don’t have expertise in law and need tool support

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

8

Page 9: Analisi dei requisiti: due problemi importanti

� Solution◦ Develop a systematic process for extracting

requirements from regulations

The semantic parameterization process proposed by Breaux and Antónby Breaux and Antón

◦ Develop tool support for the process

Implementation of the tool, called Gaius T., based on this process

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

9

Page 10: Analisi dei requisiti: due problemi importanti

Analysis of regulations with Gaius T.

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

10

Page 11: Analisi dei requisiti: due problemi importanti

Evaluation notes◦ English and Italian data sets

� the HIPAA Privacy Act of U.S.

� the Italian Accessibility Law (Stanca act)

◦ The tool was able to largely support humans in ◦ The tool was able to largely support humans in identification of relevant information

◦ Unlike manual annotations, automatic markup is more consistent

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

11

Page 12: Analisi dei requisiti: due problemi importanti

� N. Kiyavitskaya, N. Zeni, L. Mich, D. Berry (2008). Requirements Requirements Requirements Requirements for tools ambiguity identification and for tools ambiguity identification and for tools ambiguity identification and for tools ambiguity identification and measurement in natural language requirements measurement in natural language requirements measurement in natural language requirements measurement in natural language requirements specification, specification, specification, specification, REQUIREMENTS ENGINEERING, 13(3): 207-239. DOI: 10.1007/s00766-008-0063-7

N. Zeni, N. Kiyavitskaya, L. Mich, J.R. Cordy, J. � N. Zeni, N. Kiyavitskaya, L. Mich, J.R. Cordy, J. Mylopoulos (2013). GaiusTGaiusTGaiusTGaiusT: Supporting the : Supporting the : Supporting the : Supporting the Extraction of Rights and Obligations for Regulatory Extraction of Rights and Obligations for Regulatory Extraction of Rights and Obligations for Regulatory Extraction of Rights and Obligations for Regulatory Compliance, Compliance, Compliance, Compliance, REQUIREMENTS ENGINEERING, online first: ttp://dx.doi.org/10.1007/s00766-013-0181-8 DOI: 10.1007/s00766-013-0181-8

Interdisciplinary workshop on requirements analysis -Trento, December 15, 2008

12