Software Engineering: Verification, Validation & Quality Assurance
The Modern Software Systems are growing beyond the boundaries of silo-ed enterprise applications to meet the requirements of rapidly changing markets. They are getting integrated within and across the enterprise thereby metamorphosing into Internet-scale ecosystems. This has resulted in complexity which seems to be ever increasing and also in a high number of changes these systems have to go through.
- Concurrency levels which will be orders of magnitude larger than in today's applications,
- huge data stores; and
- guaranteed performance over time.
There is a need to ensure the concurrent agility of the enterprise at several levels : technical, organizational and business-wise. The cost of finding & fixing defects is therefore becoming exponential. There’s a high premium for enduring Quality in Modern Software Development.
On the other hand, Future Internet services and applications will grow in complexity and openness, be driven by content-centric demands and will pose great challenges to networking protocols and devices. Hence, large scale infrastructures need to be in place, which are easy to use and allow industry to keep apace in designing, developing and deploying next generation services.
Innovalia Association research addresses the following challenges:
- Massive scalability, self-management in verification, validation and fault localisation for software-based services.
- Quality measure and assurance techniques for Future Internet Services and Internet of Things.
- Tools and methods for management of non-functional Internet-scale application requirements.
- Methods and tools to manage evolutive, secure and resilient Internet-scale applications through its life-cycle from requirements to run-time.
- Research and development of Experimental Infrastructures for sector-centric and technology-centric complex experimentation needs.