DocumentCode :
170519
Title :
Requirements verification: Legal challenges in compliance testing
Author :
Corriveau, Jean-Pierre ; Radonjic, Vojislav ; Wei Shi
Author_Institution :
Sch. of Comput. Sci., Carleton Univ., Ottawa, ON, Canada
fYear :
2014
fDate :
16-18 May 2014
Firstpage :
451
Lastpage :
454
Abstract :
Compliance is generally understood as the documenting and auditing of evidence deemed sufficient to demonstrate conformance to a rule, a specification, a policy or a law. In this paper, we consider, in the specific context of software development, what are the legal and technical challenges raised by such an understanding of compliance. More specifically, we ask a) what is the nature of this evidence; b) how can sufficiency be defined, and c) how precisely defined is the task of auditing this evidence.
Keywords :
conformance testing; formal specification; program testing; program verification; compliance testing; evidence auditing; evidence documentation; legal challenges; requirements engineering; requirements verification; software development; technical challenges; test specifications; Context; Contracts; Law; Software; Systematics; Testing; compliance; compliance testing; executable tests; test specifications; traceability;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Progress in Informatics and Computing (PIC), 2014 International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4799-2033-4
Type :
conf
DOI :
10.1109/PIC.2014.6972376
Filename :
6972376
Link To Document :
بازگشت