Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A method to test concurrent systems using architectural specification
The Journal of Supercomputing
Reasoning about software architecture-based regression testing through a case study
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
An architecture-based verification technique for AADL specifications
ECSA'11 Proceedings of the 5th European conference on Software architecture
SETER: Towards Architecture-Model Based Security Engineering
International Journal of Secure Software Engineering
Hi-index | 0.00 |
Software architecture are intended to describe essential high level tructural and behavioral characteristic of the system.Architecture Description Language (ADLs) decribe these characteristic in way that can be analyzed and manipulated algorithmically.This provide a unique opportunity for deriving test at the system level.This paper define formal testing criteria based on architecture relations, which are paths that architectural componentuse to communicate.The criteria have been applied to a specific ADL.Result from a comparative empirical study on industrial oftware are presented.