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
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;
Conference_Titel :
Progress in Informatics and Computing (PIC), 2014 International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4799-2033-4
DOI :
10.1109/PIC.2014.6972376